Douglas R. Troeger
According to our database1, Douglas R. Troeger authored at least 11 papers between 1983 and 2003.
Legend:Book In proceedings Article PhD thesis Other
List-Heap Paging in a Distributed Virtual Memory System for Functional Languages.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System.
CLEI Electron. J., 2002
Paging in a Distributed Virtual Memory.
Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001
Designing an All-Software Based Distributed Virtual Memory: The Paging Performance of the MT Stack.
Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001
The MT Architecture and Allocation Algorithm.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999
Formal methods in the undergraduate computer science curriculum (abstract).
Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995
Tutorial-formal methods in the first course (abstract).
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994
Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice.
Mathematical Structures in Computer Science, 1993
A Logical Characterization of Observation Equivalence.
Theor. Comput. Sci., 1985
Weak Equivalence in a Class of Structured Program Schemes.
J. Comput. Syst. Sci., 1984
An Axiomatization of D-scheme Strong Equivalence.
J. Comput. Syst. Sci., 1983