|
238
|
Dealing with disaster: Surviving misbehaved kernel extensions
– Margo I. Seltzer, Yasuhiro Endo, Christopher Small, Keith A. Smith
- 1996
|
|
392
|
Extensibility, safety and performance in the SPIN operating system
– Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers
- 1995
|
|
627
|
Efficient Software-Based Fault Isolation
– Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham
- 1993
|
|
561
|
Exokernel: An Operating System Architecture for Application-Level Resource Management
– Dawson R. Engler, M. Frans Kaashoek, James O’toole
- 1995
|
|
436
|
A Hierarchical Internet Object Cache
– Anawat Chankhunthod , Peter B. Danzig, Chuck Neerdaels, Michael F. Schwartz, Kurt J. Worrell
- 1995
|
|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
228
|
The Case for Geographical Push-Caching
– James S. Gwertzman, Margo Seltzer
- 1995
|
|
139
|
Locating Nearby Copies of Replicated Internet Servers
– James D. Guyton , Michael F. Schwartz
- 1995
|
|
25
|
Abdelsalam Heddaya, and Sulaiman A. Mirdad. Applicationlevel document caching in the Internet
– Azer Bestavros, Robert L Carter, Mark E Crovella, Carlos R Cunha
- 1995
|
|
66
|
The Structure of a Multi-Service Operating System
– Timothy Roscoe
- 1995
|
|
411
|
The Unix Time-Sharing System
– D. M. Ritchie, K. Thompson
- 1974
|
|
381
|
Safe Kernel Extensions Without Run-Time Checking
– George C. Necula, Peter Lee
|
|
6
|
Building Fundamentally Extensible Application-Specific Operating Systems in SPACE
– Dave Probert, Dave Probert, John Bruno, John Bruno
- 1995
|
|
290
|
Fbufs: A High-Bandwidth Cross-Domain Transfer Facility
– Peter Druschel, Larry L. Peterson
- 1993
|
|
309
|
On µ-kernel construction
– Jochen Liedtke
- 1995
|
|
12
|
Demand-based resource allocation to reduce traffic and balance load in distributed information systems
– Azer Bestavros
- 1995
|
|
240
|
Measuring Bottleneck Link Speed in Packet-Switched Networks
– Robert L. Carter, Mark E. Crovella
- 1996
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
3
|
Message Library Design Notes
– David Mosberger
- 1997
|
