Douglas R. Troeger

11 papers A 2Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2003 Misc conf
List-Heap Paging in a Distributed Virtual Memory System for Functional Languages.
PDPTA
Marco T. Morazán, Douglas R. Troeger
2002 J jnl
The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System.
CLEI Electron. J.
Marco T. Morazán, Douglas R. Troeger, Myles Nash
2001 — conf
Designing an All-Software Based Distributed Virtual Memory: The Paging Performance of the MT Stack.
JIISIC
Marco T. Morazán, Douglas R. Troeger, Myles Nash
2001 — conf
Paging in a Distributed Virtual Memory.
Scottish Functional Programming Workshop
Marco T. Morazán, Douglas R. Troeger, Myles Nash
1999 — conf
The MT Architecture and Allocation Algorithm.
Scottish Functional Programming Workshop
Marco T. Morazán, Douglas R. Troeger
1995 A conf
Formal methods in the undergraduate computer science curriculum (abstract).
SIGCSE
Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger
1994 A conf
Tutorial-formal methods in the first course (abstract).
SIGCSE
Douglas R. Troeger
1993 J jnl
Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice.
Math. Struct. Comput. Sci.
Douglas R. Troeger
1985 J jnl
A Logical Characterization of Observation Equivalence.
Theor. Comput. Sci.
Stephen L. Bloom, Douglas R. Troeger
1984 J jnl
Weak Equivalence in a Class of Structured Program Schemes.
J. Comput. Syst. Sci.
Douglas R. Troeger
1983 J jnl
An Axiomatization of D-scheme Strong Equivalence.
J. Comput. Syst. Sci.
Douglas R. Troeger