Proceedings of the Fifth 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

David E. Culler, Peter Druschel
Proceedings of the Fifth Symposium on Operating Systems Design and Implementation
OSDI, 2002.

Full names Links ISxN
	address       = "Boston, Massachusetts, USA",
	editor        = "David E. Culler and Peter Druschel",
	ee            = "[0]=im_group_audience%3A190",
	isbn          = "978-1-4503-0111-4",
	publisher     = "{USENIX Association}",
	title         = "{Proceedings of the Fifth Symposium on Operating Systems Design and Implementation}",
	volume        = "Operating Systems Review 36, Special Issue, Winter 2002",
	year          = 2002,

Contents (27 items)

OSDI-2002-AdyaBCCCDHLTW #named #reliability
FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment (AA, WJB, MC, GC, RC, JRD, JH, JRL, MT, RW), pp. 1–14.
OSDI-2002-SaitoKKM #file system #replication
Taming Aggressive Replication in the Pangaea Wide-Area File System (YS, CTK, MK, MM), pp. 15–30.
OSDI-2002-MuthitacharoenMGC #file system #named #peer-to-peer
Ivy: A Read/Write Peer-to-Peer File System (AM, RM, TMG, BC), pp. 31–44.
OSDI-2002-QiePP #programming #tool support #using
Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software (XQ, RP, LLP), pp. 45–60.
OSDI-2002-KumarL #debugging #model checking #using
Using Model Checking to Debug Device Firmware (SK, KL), pp. 61–74.
OSDI-2002-MusuvathiPCED #approach #model checking #named
CMC: A Pragmatic Approach to Model Checking Real Code (MM, DYWP, AC, DRE, DLD), pp. 75–88.
OSDI-2002-NavarroIDC #operating system
Practical, Transparent Operating System Support for Superpages (JN, SI, PD, ALC), pp. 89–104.
OSDI-2002-FlautnerM #automation #linux #named
Vertigo: Automatic Performance-Setting for Linux (KF, TNM), pp. 105–116.
OSDI-2002-WeisselBB #energy #novel #semantics
Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications (AW, BB, FB), pp. 117–129.
OSDI-2002-MaddenFHH #ad hoc #named #network
TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks (SM, MJF, JMH, WH), pp. 131–146.
OSDI-2002-ElsonGE #fine-grained #network #using
Fine-Grained Network Time Synchronization Using Reference Broadcasts (JE, LG, DE), pp. 147–163.
Supporting Time-Sensitive Applications on a Commodity OS (AG, LA, CK, JS, JW), pp. 165–180.
OSDI-2002-Waldspurger #memory management #resource management
Memory Resource Management in VMware ESX Server (CAW), pp. 181–194.
OSDI-2002-WhitakerSG #kernel #performance
Scale and Performance in the Denali Isolation Kernel (AW, MS, SDG), pp. 195–209.
OSDI-2002-DunlapKCBC #analysis #named
ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay (GWD, STK, SC, MAB, PMC), pp. 211–224.
OSDI-2002-ShenTYC #clustering #internet #resource management
Integrated Resource Management for Cluster-based Internet Services (KS, HT, TY, LC), pp. 225–238.
OSDI-2002-UrgaonkarSR #platform #profiling
Resource Overbooking and Application Profiling in Shared Hosting Platforms (BU, PJS, TR), pp. 239–254.
OSDI-2002-WhiteLSRGNHBJ #distributed #network
An Integrated Experimental Environment for Distributed Systems and Networks (BW, JL, LS, RR, SG, MN, MH, CB, AJ), pp. 255–270.
OSDI-2002-VahdatYWMKCB #network #scalability
Scalability and Accuracy in a Large-Scale Network Emulator (AV, KY, KW, PM, DK, JSC, DB), pp. 271–284.
OSDI-2002-CoxMN #named
Pastiche: Making Backup Cheap and Easy (LPC, CDM, BDN), pp. 285–298.
OSDI-2002-CastroDGRW #network #peer-to-peer
Secure Routing for Structured Peer-to-Peer Overlay Networks (MC, PD, AJG, AITR, DSW), pp. 299–314.
OSDI-2002-SaroiuGDGL #analysis #delivery #internet
An Analysis of Internet Content Delivery Systems (SS, PKG, RJD, SDG, HML), pp. 315–327.
TCP Nice: A Mechanism for Background Transfers (AV, RK, MD), pp. 329–343.
OSDI-2002-WangPP #effectiveness #robust
The Effectiveness of Request Redirection on CDN Robustness (LW, VSP, LLP), pp. 345–360.
OSDI-2002-OsmanSSN #design #implementation #migration
The Design and Implementation of Zap: A System for Migrating Computing Environments (SO, DS, GS, JN), pp. 361–376.
OSDI-2002-SapuntzakisCPCLR #migration #optimisation
Optimizing the Migration of Virtual Computers (CPS, RC, BP, JC, MSL, MR), pp. 377–390.
OSDI-2002-HawblitzelE #flexibility #java #named
Luna: A Flexible Java Protection System (CH, TvE), pp. 391–401.

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.