|
309
|
On µ-kernel construction
– Jochen Liedtke
- 1995
|
|
145
|
Improving IPC by kernel design
– Jochen Liedtke
- 1993
|
|
32
|
The Checkpoint Mechanism in KeyKOS
– Charles R Landau
- 1992
|
|
561
|
Exokernel: An Operating System Architecture for Application-Level Resource Management
– Dawson R. Engler, M. Frans Kaashoek, James O’toole
- 1995
|
|
47
|
The keykos(r) nanokernel architecture
– Alan C. Bomberger, Norman Hardy, A. Peri, Frantz Charles, R. Landau, William S. Frantz, Jonathan S. Shapiro, Ann C. Hardy
|
|
22
|
User-level Checkpointing Through Exportable Kernel State
– Patrick Tullmann, Jay Lepreau, Bryan Ford, Mike Hibler
- 1996
|
|
54
|
Grasshopper: An orthogonally persistent operating system
– Alan Dearle, Rex di Bona, James Farrow, Frans Henskens, Anders Lindström, John Rosenberg, Francis Vaughan
- 1994
|
|
156
|
Unix as an Application Program
– David Golub, Randall Dean, Alessandro Forin, All Dean, Ro Forin, Richard Rashid
- 1990
|
|
103
|
A Caching Model of Operating System Kernel Functionality
– David R. Cheriton, Kenneth J. Duda
- 1994
|
|
113
|
Microkernels meet recursive virtual machines
– Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson
- 1996
|
|
49
|
Extensible file systems in Spring
– Yousef A. Khalidi, Michael N. Nelson
- 1993
|
|
114
|
Implementation and Performance of Application-Controlled File Caching
– Pei Cao, Edward W. Felten, Kai Li
- 1994
|
|
44
|
HiPEC: High Performance External Virtual Memory Caching
– Chao-hsien Lee, Meng Chang Chen, Ruei-Chuan Chang
- 1994
|
|
251
|
Libckpt: Transparent Checkpointing under Unix
– James S. Plank, Micah Beck, Gerry Kingsley, Kai Li
- 1995
|
|
251
|
A new kernel foundation for UNIX development
– Mach
- 1986
|
|
63
|
Keykos architecture
– N Hardy
- 1985
|
|
55
|
The Cambridge CAP computer and its operating system
– Maurice Wilkes, Roger Needham
- 1979
|
|
84
|
Evolving Mach 3.0 to a Migrating Thread Model
– Bryan Ford, Jay Lepreau
- 1994
|
|
344
|
lmbench: Portable Tools for Performance Analysis
– Carl Staelin, Hewlett-packard Laboratories
- 1996
|
