Douglas R. Troeger

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

List-Heap Paging in a Distributed Virtual Memory System for Functional Languages.

Marco T. Morazán, Douglas R. Troeger

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.

Marco T. Morazán, Douglas R. Troeger, Myles Nash

CLEI Electron. J., 2002

2001

Paging in a Distributed Virtual Memory.

Marco T. Morazán, Douglas R. Troeger, Myles Nash

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.

Marco T. Morazán, Douglas R. Troeger, Myles Nash

Proceedings of the 1st Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'01), 2001

1999

The MT Architecture and Allocation Algorithm.

Marco T. Morazán, Douglas R. Troeger

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

1995

Formal methods in the undergraduate computer science curriculum (abstract).

Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1994

Tutorial-formal methods in the first course (abstract).

Douglas R. Troeger

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.

Douglas R. Troeger

Math. Struct. Comput. Sci., 1993

1985

A Logical Characterization of Observation Equivalence.

Stephen L. Bloom, Douglas R. Troeger

Theor. Comput. Sci., 1985

1984

Weak Equivalence in a Class of Structured Program Schemes.

Douglas R. Troeger

J. Comput. Syst. Sci., 1984

1983

An Axiomatization of D-scheme Strong Equivalence.

Douglas R. Troeger

J. Comput. Syst. Sci., 1983