Monday, October 23, 2000

Applying Language Technology to Systems

• 
  Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. 1-16
• 
  Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller: Devil: An IDL for Hardware Programming. 17-30
• 
  Angela Demke Brown, Todd C. Mowry: Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently. 31-44

Scheduling

• 
  Abhishek Chandra, Micah Adler, Pawan Goyal, Prashant J. Shenoy: Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm for Symmetric Multiprocessors. 45-58
• 
  Julita Corbalán, Xavier Martorell, Jesús Labarta: Performance-Driven Processor Allocation. 59-73
• 
  Dirk Grunwald, Philip Levis, Keith I. Farkas, Charles B. Morrey III, Michael Neufeld: Policies for Dynamic Clock Scheduling. 73-86

Storage Management

• 
  Christopher R. Lumb, Jiri Schindler, Gregory R. Ganger, David Nagle, Erik Riedel: Towards Higher Disk Head Utilization: Extracting "Free" Bandwidth from Busy Disk Drives. 87-102
• 
  Rodney Van Meter, Minxi Gao: Latency Management in Storage Systems. 103-118
• 
  Jong Min Kim, Jongmoo Choi, Jesung Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong-Sang Kim: A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References. 119-134

Tuesday, October 24, 2000

Security

• 
  Umesh Maheshwari, Radek Vingralek, William Shapiro: How to Build a Trusted Database System on Untrusted Storage. 135-150
• 
  Jon Howell, David Kotz: End-to-End Authorization. 151-164
• 
  John D. Strunk, Garth R. Goodson, Michael L. Scheinholtz, Craig A. N. Soules, Gregory R. Ganger: Self-Securing Storage: Protecting Data in Compromised Systems. 165-180
• 
  Kevin Fu, M. Frans Kaashoek, David Mazières: Fast and Secure Distributed Read-Only File System. 181-196

Networking

• 
  John Jannotti, David K. Gifford, Kirk L. Johnson, M. Frans Kaashoek, James O'Toole Jr.: Overcast: Reliable Multicasting with an Overlay Network. 197-212
• 
  David G. Andersen, Deepak Bansal, Dorothy Curtis, Srinivasan Seshan, Hari Balakrishnan: System Support for Bandwidth Management and Content Adaptation in Internet Applications. 213-226

Storage Devices

• 
  John Linwood Griffin, Steven W. Schlosser, Gregory R. Ganger, David Nagle: Operating System Management of MEMS-based Storage Devices. 227-242
• 
  Xiang Yu, Benjamin Gum, Yuqun Chen, Randolph Y. Wang, Kai Li, Arvind Krishnamurthy, Thomas E. Anderson: Trading Capacity for Performance in a Disk Array. 243-258
• 
  Darrell C. Anderson, Jeffrey S. Chase, Amin Vahdat: Interposed Request Routing for Scalable Network Storage. 259-272

Wednesday, October 25, 2000

Reliability

• 
  Miguel Castro, Barbara Liskov: Proactive Recovery in a Byzantine-Fault-Tolerant System. 273-288
• 
  David E. Lowell, Subhachandra Chandra, Peter M. Chen: Exploring Failure Transparency and the Limits of Generic Recovery. 289-304
• 
  Haifeng Yu, Amin Vahdat: Design and Evaluation of a Continuous Consistency Model for Replicated Services. 305-318

System Architecture

• 
  Steven D. Gribble, Eric A. Brewer, Joseph M. Hellerstein, David E. Culler: Scalable, Distributed Data Structures for Internet Service Construction. 319-332
• 
  Godmar Back, Wilson C. Hsieh, Jay Lepreau: Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. 333-346
• 
  Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide: Knit: Component Composition for Systems Software. 347-360

last updated on Sat May 25 05:25:54 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page