Proceedings of the Fourth Symposium on Operating Systems Design and Implementation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Michael B. Jones, M. Frans Kaashoek
Proceedings of the Fourth Symposium on Operating Systems Design and Implementation
OSDI, 2000.

Full names Links ISxN
	address       = "San Diego, California, USA",
	editor        = "Michael B. Jones and M. Frans Kaashoek",
	ee            = "[0]=im_group_audience%3A286",
	isbn          = "1-880446-16-2",
	publisher     = "{USENIX Association}",
	title         = "{Proceedings of the Fourth Symposium on Operating Systems Design and Implementation}",
	year          = 2000,

Contents (24 items)

OSDI-2000-EnglerCCH #compilation #using
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (DRE, BC, AC, SH), pp. 1–16.
OSDI-2000-MerillonRCMM #hardware #named #programming
Devil: An IDL for Hardware Programming (FM, LR, CC, RM, GM), pp. 17–30.
OSDI-2000-BrownM #memory management #physics #using
Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently (ADB, TCM), pp. 31–44.
OSDI-2000-ChandraAGS #algorithm #cpu #multi #scheduling #symmetry
Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm for Symmetric Multiprocessors (AC, MA, PG, PJS), pp. 45–58.
Performance-Driven Processor Allocation (JC, XM, JL), pp. 59–73.
OSDI-2000-GrunwaldLFMN #policy #scheduling
Policies for Dynamic Clock Scheduling (DG, PL, KIF, CBMI, MN), pp. 73–86.
OSDI-2000-LumbSGNR #towards
Towards Higher Disk Head Utilization: Extracting “Free” Bandwidth from Busy Disk Drives (CRL, JS, GRG, DN, ER), pp. 87–102.
OSDI-2000-MeterG #latency
Latency Management in Storage Systems (RVM, MG), pp. 103–118.
A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References (JMK, JC, JK, SHN, SLM, YC, CSK), pp. 119–134.
OSDI-2000-MaheshwariVS #database #how
How to Build a Trusted Database System on Untrusted Storage (UM, RV, WS), pp. 135–150.
End-to-End Authorization (JH, DK), pp. 151–164.
OSDI-2000-StrunkGSSG #self
Self-Securing Storage: Protecting Data in Compromised Systems (JDS, GRG, MLS, CANS, GRG), pp. 165–180.
OSDI-2000-FuKM #distributed #file system #performance
Fast and Secure Distributed Read-Only File System (KF, MFK, DM), pp. 181–196.
OSDI-2000-JannottiGJKO #multi #named #network #reliability
Overcast: Reliable Multicasting with an Overlay Network (JJ, DKG, KLJ, MFK, JOJ), pp. 197–212.
OSDI-2000-AndersenBCSB #adaptation #internet
System Support for Bandwidth Management and Content Adaptation in Internet Applications (DGA, DB, DC, SS, HB), pp. 213–226.
OSDI-2000-GriffinSGN #operating system
Operating System Management of MEMS-based Storage Devices (JLG, SWS, GRG, DN), pp. 227–242.
OSDI-2000-YuGCWLKA #array #capacity #performance
Trading Capacity for Performance in a Disk Array (XY, BG, YC, RYW, KL, AK, TEA), pp. 243–258.
OSDI-2000-AndersonCV #network #scalability
Interposed Request Routing for Scalable Network Storage (DCA, JSC, AV), pp. 259–272.
OSDI-2000-CastroL #fault tolerance
Proactive Recovery in a Byzantine-Fault-Tolerant System (MC, BL), pp. 273–288.
Exploring Failure Transparency and the Limits of Generic Recovery (DEL, SC, PMC), pp. 289–304.
OSDI-2000-YuV #consistency #design #evaluation
Design and Evaluation of a Continuous Consistency Model for Replicated Services (HY, AV), pp. 305–318.
OSDI-2000-GribbleBHC #data type #distributed #internet #scalability
Scalable, Distributed Data Structures for Internet Service Construction (SDG, EAB, JMH, DEC), pp. 319–332.
OSDI-2000-BackHL #java #process #resource management
Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java (GB, WCH, JL), pp. 333–346.
OSDI-2000-ReidFSLE #component #composition #named
Knit: Component Composition for Systems Software (AR, MF, LS, JL, EE), pp. 347–360.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.