Searching for authors named "Patrick Tullmann" – sorted by Relevance.
-
Nested Java processes: OS structure for mobile code
- Nested Java Processes: OS Structure for Mobile Code Patrick Tullmann Jay Lepreau Department
- Cited by 39 (6 self) – Add To MetaCart
-
Janos: A Java-oriented OS for Active Network Nodes
- Janos: A Java-oriented OS for Active Network Nodes Patrick Tullmann, Mike Hibler, Jay Lepreau Flux
- Cited by 15 (4 self) – Add To MetaCart
-
User-level Checkpointing Through Exportable Kernel State
- User-level Checkpointing Through Exportable Kernel State Patrick Tullmann Jay Lepreau Bryan Ford
- Cited by 21 (6 self) – Add To MetaCart
-
Formal Methods: A Practical Tool for OS Implementors
- Formal Methods: A Practical Tool for OS Implementors Patrick Tullmann Jeff Turner y John Mc
- Cited by 22 (3 self) – Add To MetaCart
-
Techniques for the Design of Java Operating Systems
- for the Design of Java Operating Systems Godmar Back Patrick Tullmann Leigh Stoller Wilson C. Hsieh Jay Lepreau
- Cited by 28 (3 self) – Add To MetaCart
-
Java operating systems: Design and implementation
- Java Operating Systems: Design and Implementation Godmar Back Patrick Tullmann Leigh Stoller
- Cited by 45 (5 self) – Add To MetaCart
-
Microkernels Meet Recursive Virtual Machines
- , Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson University of Utah Microkernels Meet
- Cited by 107 (24 self) – Add To MetaCart
-
Interface and Execution Models in the Fluke Kernel
- Roland McGrath Patrick Tullmann Department of Computer Science University of Utah We have defined
- Add To MetaCart
-
An OS Interface for Active Routers
- An OS Interface for Active Routers Larry Peterson, Yitzchak Gottlieb, Mike Hibler, Patrick
- Cited by 29 (9 self) – Add To MetaCart
-
The Alta Operating System
- THE ALTA OPERATING SYSTEM by Patrick Alexander Tullmann A thesis submitted to the faculty
- Cited by 6 (2 self) – Add To MetaCart

