Search the dblp DataBase
Douglas R. Troeger :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marco T. Morazán , Douglas R. Troeger , Myles Nash Designing an All-Software Based Distributed Virtual Memory: The Paging Performance of the MT Stack. [Citation Graph (0, 0)][DBLP ] JIISIC, 2001, pp:109-120 [Conf ] Marco T. Morazán , Douglas R. Troeger List-Heap Paging in a Distributed Virtual Memory System for Functional Languages. [Citation Graph (0, 0)][DBLP ] PDPTA, 2003, pp:1689-1695 [Conf ] Marco T. Morazán , Douglas R. Troeger The MT Architecture and Allocation Algorithm. [Citation Graph (0, 0)][DBLP ] Scottish Functional Programming Workshop, 1999, pp:98-105 [Conf ] Marco T. Morazán , Douglas R. Troeger , Myles Nash Paging in a Distributed Virtual Memory. [Citation Graph (0, 0)][DBLP ] Scottish Functional Programming Workshop, 2001, pp:75-86 [Conf ] Douglas R. Troeger Tutorial-formal methods in the first course (abstract). [Citation Graph (0, 0)][DBLP ] SIGCSE, 1994, pp:378- [Conf ] Henry MacKay Walker , H. Conrad Cunningham , Ruth Davis , Douglas R. Troeger Formal methods in the undergraduate computer science curriculum (abstract). [Citation Graph (0, 0)][DBLP ] SIGCSE, 1995, pp:398-399 [Conf ] Marco T. Morazán , Douglas R. Troeger , Myles Nash The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System. [Citation Graph (0, 0)][DBLP ] CLEI Electron. J., 2002, v:5, n:1, pp:- [Journal ] Douglas R. Troeger An Axiomatization of D-scheme Strong Equivalence. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:221-224 [Journal ] Douglas R. Troeger Weak Equivalence in a Class of Structured Program Schemes. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1984, v:29, n:1, pp:99-117 [Journal ] Douglas R. Troeger Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1993, v:3, n:1, pp:25-62 [Journal ] Stephen L. Bloom , Douglas R. Troeger A Logical Characterization of Observation Equivalence. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:35, n:, pp:43-53 [Journal ] Search in 0.002secs, Finished in 0.002secs