Douglas R. Troeger

Publication Activity (10 Years)

Years Active: 1983-2003
Publications (10 Years): 0

Publications

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