Douglas R. Troeger

According to our database1, Douglas R. Troeger authored at least 11 papers between 1983 and 2003.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2003
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

2002
The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System.
CLEI Electron. J., 2002

2001
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

1999
The MT Architecture and Allocation Algorithm.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

1995
Formal methods in the undergraduate computer science curriculum (abstract).
Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1994
Tutorial-formal methods in the first course (abstract).
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994

1993
Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice.
Mathematical Structures in Computer Science, 1993

1985
A Logical Characterization of Observation Equivalence.
Theor. Comput. Sci., 1985

1984
Weak Equivalence in a Class of Structured Program Schemes.
J. Comput. Syst. Sci., 1984

1983
An Axiomatization of D-scheme Strong Equivalence.
J. Comput. Syst. Sci., 1983


  Loading...