| 2003 |
|---|
| 11 | | Marco T. Morazán,
Douglas R. Troeger:
List-Heap Paging in a Distributed Virtual Memory System for Functional Languages.
PDPTA 2003: 1689-1695 |
| 2002 |
|---|
| 10 | EE | 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) |
| 2001 |
|---|
| 9 | | 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: 109-120 |
| 8 | | Marco T. Morazán,
Douglas R. Troeger,
Myles Nash:
Paging in a Distributed Virtual Memory.
Scottish Functional Programming Workshop 2001: 75-86 |
| 1999 |
|---|
| 7 | | Marco T. Morazán,
Douglas R. Troeger:
The MT Architecture and Allocation Algorithm.
Scottish Functional Programming Workshop 1999: 98-105 |
| 1995 |
|---|
| 6 | EE | Henry MacKay Walker,
H. Conrad Cunningham,
Ruth Davis,
Douglas R. Troeger:
Formal methods in the undergraduate computer science curriculum (abstract).
SIGCSE 1995: 398-399 |
| 1994 |
|---|
| 5 | EE | Douglas R. Troeger:
Tutorial-formal methods in the first course (abstract).
SIGCSE 1994: 378 |
| 1993 |
|---|
| 4 | | Douglas R. Troeger:
Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice.
Mathematical Structures in Computer Science 3(1): 25-62 (1993) |
| 1985 |
|---|
| 3 | | Stephen L. Bloom,
Douglas R. Troeger:
A Logical Characterization of Observation Equivalence.
Theor. Comput. Sci. 35: 43-53 (1985) |
| 1984 |
|---|
| 2 | | Douglas R. Troeger:
Weak Equivalence in a Class of Structured Program Schemes.
J. Comput. Syst. Sci. 29(1): 99-117 (1984) |
| 1983 |
|---|
| 1 | | Douglas R. Troeger:
An Axiomatization of D-scheme Strong Equivalence.
J. Comput. Syst. Sci. 27(2): 221-224 (1983) |
