|
82
|
Unmodified device driver reuse and improved system dependability via virtual machines
– Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz
- 2004
|
|
|
The Design and Implementation of a Fully-Modular, Self-Healing, UNIX-Like Operating System
– Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
|
|
62
|
Process migration
– Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
- 2000
|
|
2
|
Future Directions in the Evolution of the L4 Microkernel
– Kevin Elphinstone
- 2004
|
|
|
Device driver reuse via virtual machines
– Joshua Thomas LeVasseur
- 2009
|
|
4
|
The SawMill Framework for Virtual Memory Diversity
– Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller
- 2001
|
|
7
|
Are virtualmachine monitors microkernels done right
– Gernot Heiser, Volkmar Uhlig
- 2006
|
|
257
|
Terra: a virtual machine-based platform for trusted computing
– Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, Dan Boneh
- 2003
|
|
20
|
Device driver safety through a reference validation mechanism
– Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
|
|
34
|
User-level Device Drivers: Achieved Performance
– Ben Leslie, Peter Chubb, Nicholas Fitzroy-dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting Shen, Kevin Elphinstone, Gernot Heiser
- 2005
|
|
|
Isolating Operating System Extensions in User-mode Processes
– Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
|
|
3
|
A Physically-Addressed L4 Kernel
– Manu E T Mente, Abi Nourai, Supervisor Gernot Heiser, Assessor Kevin Elphinstone
- 2005
|
|
2
|
Single Kernel Stack L4
– Matthew Warton, Supervisor Gernot Heiser, Assesor Sergio Ruocco
- 2005
|
|
11
|
The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty
– Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
- 1993
|
|
16
|
Object-Oriented Operating Systems Design and the Revival of Program Families
– J. Cordsen, W. Schröder-Preikschat
- 1991
|
|
2
|
Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel
– David Hulse, Alan Dearle
- 1998
|
|
16
|
Distributed Virtual Machines: A System Architecture for Network Computing
– Emin Gn Sirer, Robert Grimm, Brian N. Bershad, Arthur J. Gregory, Sean Mcdirmid
- 1998
|
|
15
|
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
– Orion Hodson, Michael F. Spear, Galen C. Hunt, Tom Roeder
- 2006
|
|
17
|
Sealing OS Processes to Improve Dependability and Safety
– Galen Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
- 2007
|
