ACM Transactions on Computer Systems

2005

Editorial
by: Carla Schlatter Ellis v. 23 i. 1 p. 1 - 1
The LOCKSS peer-to-peer digital preservation system
by: Petros Maniatis, Mema Roussopoulos, Thomas J. Giuli, David S. H. Rosenthal, Mary Baker v. 23 i. 1 p. 2 - 50
Backtracking intrusions
by: Samuel T. King, Peter M. Chen v. 23 i. 1 p. 51 - 76
Improving the reliability of commodity operating systems
by: Michael M. Swift, Brian N. Bershad, Henry M. Levy v. 23 i. 1 p. 77 - 110
Comprehensive multiprocessor cache miss rate generation using multivariate models
by: Ilya Gluhovsky, Brian O'Krafka v. 23 i. 2 p. 111 - 145
Nonblocking memory management support for dynamic-sized data structures
by: Maurice Herlihy, Victor Luchangco, Paul Martin, Mark Moir v. 23 i. 2 p. 146 - 196
Improved latency and accuracy for neural branch prediction
by: Daniel A. Jiménez v. 23 i. 2 p. 197 - 218

2004

Stateful distributed interposition
by: John Reumann, Kang G. Shin v. 22 i. 1 p. 1 - 48
Using certes to infer client response time at the web server
by: David P. Olshefski, Jason Nieh, Dakshi Agrawal v. 22 i. 1 p. 49 - 93
Parallel program performance prediction using deterministic task graph analysis
by: Vikram S. Adve, Mary K. Vernon v. 22 i. 1 p. 94 - 136
Managing battery lifetime with energy-aware adaptation
by: Jason Flinn, Mahadev Satyanarayanan v. 22 i. 2 p. 137 - 179
Coupling compiler-enabled and conventional memory accessing for energy efficiency
by: Raksit Ashok, Saurabh Chheda, Csaba Andras Moritz v. 22 i. 2 p. 180 - 213
A general framework for prefetch scheduling in linked data structures and its application to multi-chain prefetching
by: Seungryul Choi, Nicholas Kohout, Sumit Pamnani, Dongkeun Kim, Donald Yeung v. 22 i. 2 p. 214 - 280
Cluster communication protocols for parallel-programming systems
by: Kees Verstoep, Raoul Bhoedjang, Tim Rühl, Henri E. Bal, Rutger F. H. Hofman v. 22 i. 3 p. 281 - 325
A study of source-level compiler algorithms for automatic construction of pre-execution code
by: Dongkeun Kim, Donald Yeung v. 22 i. 3 p. 326 - 379
Firmato: A novel firewall management toolkit
by: Yair Bartal, Alain J. Mayer, Kobbi Nissim, Avishai Wool v. 22 i. 4 p. 381 - 420
System support for pervasive applications
by: Robert Grimm, Janet Davis, Eric Lemar, Adam MacBeth, Steven Swanson, Thomas E. Anderson, Brian N. Bershad, Gaetano Borriello, Steven D. Gribble, David Wetherall v. 22 i. 4 p. 421 - 486

2003

Run-time support for distributed sharing in safe languages
by: Y. Charlie Hu, Weimin Yu, Alan L. Cox, Dan S. Wallach, Willy Zwaenepoel v. 21 i. 1 p. 1 - 35
Run-time adaptation in river
by: Remzi H. Arpaci-Dusseau v. 21 i. 1 p. 36 - 86
Measuring thin-client performance using slow-motion benchmarking
by: Jason Nieh, S. Jae Yang, Naomi Novik v. 21 i. 1 p. 87 - 115
A SMART scheduler for multimedia applications
by: Jason Nieh, Monica S. Lam v. 21 i. 2 p. 117 - 163
Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining
by: Robbert van Renesse, Kenneth P. Birman, Werner Vogels v. 21 i. 2 p. 164 - 206
Size-based scheduling to improve web performance
by: Mor Harchol-Balter, Bianca Schröder, Nikhil Bansal, Mukesh Agrawal v. 21 i. 2 p. 207 - 233
Editorial
by: Carla Schlatter Ellis v. 21 i. 3 p. 235 - 235
BASE: Using abstraction to improve fault tolerance
by: Miguel Castro, Rodrigo Rodrigues, Barbara Liskov v. 21 i. 3 p. 236 - 269
New directions in traffic measurement and accounting: Focusing on the elephants, ignoring the mice
by: Cristian Estan, George Varghese v. 21 i. 3 p. 270 - 313
An evaluation of speculative instruction execution on simultaneous multithreaded processors
by: Steven Swanson, Luke McDowell, Michael M. Swift, Susan J. Eggers, Henry M. Levy v. 21 i. 3 p. 314 - 340
Lightweight probabilistic broadcast
by: Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande, Petr Kouznetsov, Anne-Marie Kermarrec v. 21 i. 4 p. 341 - 374
Balancing performance and flexibility with hardware support for network architectures
by: Ilija Hadzic, Jonathan M. Smith v. 21 i. 4 p. 375 - 411
Call graph prefetching for database applications
by: Murali Annavaram, Jignesh M. Patel, Edward S. Davidson v. 21 i. 4 p. 412 - 444

2002

Fast and secure distributed read-only file system
by: Kevin Fu, M. Frans Kaashoek, David Mazières v. 20 i. 1 p. 1 - 24
Interposed request routing for scalable network storage
by: Darrell C. Anderson, Jeffrey S. Chase, Amin Vahdat v. 20 i. 1 p. 25 - 48
Fast and flexible application-level networking on exokernel systems
by: Gregory R. Ganger, Dawson R. Engler, M. Frans Kaashoek, Héctor M. Briceño, Russell Hunt, Thomas Pinckney v. 20 i. 1 p. 49 - 83
The evolution of Coda
by: Mahadev Satyanarayanan v. 20 i. 2 p. 85 - 124
Measuring system normality
by: Mark Burgess, Hårek Haugerud, Sigmund Straumsnes, Trond Reitan v. 20 i. 2 p. 125 - 160
Let caches decay: reducing leakage energy via exploitation of cache generational behavior
by: Zhigang Hu, Stefanos Kaxiras, Margaret Martonosi v. 20 i. 2 p. 161 - 190
Moshe: A group membership service for WANs
by: Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev v. 20 i. 3 p. 191 - 238
Design and evaluation of a conit-based continuous consistency model for replicated services
by: Haifeng Yu, Amin Vahdat v. 20 i. 3 p. 239 - 282
Secure program partitioning
by: Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers v. 20 i. 3 p. 283 - 328
COCA: A secure distributed online certification authority
by: Lidong Zhou, Fred B. Schneider, Robbert van Renesse v. 20 i. 4 p. 329 - 368
Neural methods for dynamic branch prediction
by: Daniel A. Jiménez, Calvin Lin v. 20 i. 4 p. 369 - 397
Practical byzantine fault tolerance and proactive recovery
by: Miguel Castro, Barbara Liskov v. 20 i. 4 p. 398 - 461

2001

Accelerating shared virtual memory via general-purpose network interface support
by: Angelos Bilas, Dongming Jiang, Jaswinder Pal Singh v. 19 i. 1 p. 1 - 35
Separating access control policy, enforcement, and functionality in extensible systems
by: Robert Grimm, Brian N. Bershad v. 19 i. 1 p. 36 - 70
Architectural and compiler support for effective instruction prefetching: a cooperative approach
by: Chi-Keung Luk, Todd C. Mowry v. 19 i. 1 p. 71 - 109
Compiler-based I/O prefetching for out-of-core applications
by: Angela Demke Brown, Todd C. Mowry, Orran Krieger v. 19 i. 2 p. 111 - 170
Specifying and using a partitionable group communication service
by: Alan Fekete, Nancy A. Lynch, Alexander A. Shvartsman v. 19 i. 2 p. 171 - 216
Specialization tools and techniques for systematic optimization of system software
by: Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, Renaud Marlet v. 19 i. 2 p. 217 - 251
The effect of seance communication on multiprocessing systems
by: Avi Mendelson, Freddy Gabbay v. 19 i. 2 p. 252 - 281
Implicit coscheduling: coordinated scheduling with implicit information in distributed systems
by: Andrea C. Arpaci-Dusseau v. 19 i. 3 p. 283 - 331
Design and evaluation of a wide-area event notification service
by: Antonio Carzaniga, David S. Rosenblum, Alexander L. Wolf v. 19 i. 3 p. 332 - 383
An Internet multicast system for the stock market
by: Nicholas F. Maxemchuk, David H. Shur v. 19 i. 3 p. 384 - 412
Runtime identification of cache conflict misses: The adaptive miss buffer
by: Jamison D. Collins, Dean M. Tullsen v. 19 i. 4 p. 413 - 439
Scalable high-speed prefix matching
by: Marcel Waldvogel, George Varghese, Jon Turner, Bernhard Plattner v. 19 i. 4 p. 440 - 482
Minerva: An automated resource provisioning tool for large-scale storage systems
by: Guillermo A. Alvarez, Elizabeth Borowsky, Susie Go, Theodore H. Romer, Ralph Becker-Szendy, Richard A. Golding, Arif Merchant, Mirjana Spasojevic, Alistair C. Veitch, John Wilkes v. 19 i. 4 p. 483 - 518

2000

A high-level abstraction of shared accesses
by: Peter J. Keleher v. 18 i. 1 p. 1 - 36
IO-Lite: a unified I/O buffering and caching system
by: Vivek S. Pai, Peter Druschel, Willy Zwaenepoel v. 18 i. 1 p. 37 - 66
Smart packets: applying active networks to network management
by: Beverly Schwartz, Alden W. Jackson, W. Timothy Strayer, Wenyi Zhou, R. Dennis Rockwell, Craig Partridge v. 18 i. 1 p. 67 - 88
Value-based clock gating and operation packing: dynamic strategies for improving processor power and performance
by: David Brooks, Margaret Martonosi v. 18 i. 2 p. 89 - 126
Soft updates: a solution to the metadata update problem in file systems
by: Gregory R. Ganger, Marshall K. McKusick, Craig A. N. Soules, Yale N. Patt v. 18 i. 2 p. 127 - 153
Multigrain shared memory
by: Donald Yeung, John Kubiatowicz, Anant Agarwal v. 18 i. 2 p. 154 - 196
Soft timers: efficient microsecond software timer support for network processing
by: Mohit Aron, Peter Druschel v. 18 i. 3 p. 197 - 228
Cellular disco: resource management using virtual clusters on shared-memory multiprocessors
by: Kingshuk Govil, Dan Teodosiu, Yongqiang Huang, Mendel Rosenblum v. 18 i. 3 p. 229 - 262
The click modular router
by: Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek v. 18 i. 3 p. 263 - 297
Manageability, availability, and performance in porcupine: a highly scalable, cluster-based mail service
by: Yasushi Saito, Brian N. Bershad, Henry M. Levy v. 18 i. 3 p. 298 - 298
Java consistency: nonoperational characterizations for Java memory behavior
by: Alex Gontmakher, Assaf Schuster v. 18 i. 4 p. 333 - 386
Hint-based cooperative caching
by: Prasenjit Sarkar, John H. Hartman v. 18 i. 4 p. 387 - 419

1999

Fast Address Lookups Using Controlled Prefix Expansion
by: Venkatachary Srinivasan, George Varghese v. 17 i. 1 p. 1 - 40
Bimodal Multicast
by: Kenneth P. Birman, Mark Hayden, Öznur Özkasap, Zhen Xiao, Mihai Budiu, Yaron Minsky v. 17 i. 2 p. 41 - 88
Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback
by: Pedro C. Diniz, Martin C. Rinard v. 17 i. 2 p. 89 - 132
RecPlay: A Fully Integrated Practical Record/Replay System
by: Michiel Ronsse, Koenraad De Bosschere v. 17 i. 2 p. 133 - 152
Garbage collection for a client-server persistent object store
by: Laurent Amsaleg, Michael J. Franklin, Olivier Gruber v. 17 i. 3 p. 153 - 201
Ace: a language for parallel programming with customizable protocols
by: Mukund Raghavachari, Anne Rogers v. 17 i. 3 p. 202 - 248
An architecture for packet-striping protocols
by: Hari Adiseshu, George Varghese, Guru M. Parulkar v. 17 i. 4 p. 249 - 287
Quantifying loop nest locality using SPEC'95 and the perfect benchmarks
by: Kathryn S. McKinley, Olivier Temam v. 17 i. 4 p. 288 - 336
Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives
by: Martin C. Rinard v. 17 i. 4 p. 337 - 371

1998

Performance Evaluation of the Orca Shared-Object System
by: Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Koen Langendoen, Tim Rühl v. 16 i. 1 p. 1 - 40
Reconfiguration for Fault Tolerance Using Graph Grammars
by: M. D. Derk, L. S. DeBrunner v. 16 i. 1 p. 41 - 54
Tolerating Latency in Multiprocessors Through Compiler-Inserted Prefetching
by: Todd C. Mowry v. 16 i. 1 p. 55 - 92
The Totem Multiple-Ring Ordering and Topology Maintenance Protocol
by: Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia v. 16 i. 2 p. 93 - 132
The Part-Time Parliament
by: Leslie Lamport v. 16 i. 2 p. 133 - 169
Informing Memory Operations: Memory Performance Feedback Mechanisms and Their Applications
by: Mark Horowitz, Margaret Martonosi, Todd C. Mowry, Michael D. Smith v. 16 i. 2 p. 170 - 205
UFO: A Personal Global File System Based on User-Level Extensions to the Operating System
by: Albert Alexandrov, Maximilian Ibel, Klaus E. Schauser, Chris J. Scheiman v. 16 i. 3 p. 207 - 233
Using Value Prediction to Increase the Power of Speculative Execution Hardware
by: Freddy Gabbay, Avi Mendelson v. 16 i. 3 p. 234 - 270
A Quantitative Comparison of Parallel Computation Models
by: Ben H. H. Juurlink, Harry A. G. Wijshoff v. 16 i. 3 p. 271 - 318
Coyote: A System for Constructing Fine-Grain Configurable Communication Services
by: Nina T. Bhatti, Matti A. Hiltunen, Richard D. Schlichting, Wanda Chiu v. 16 i. 4 p. 321 - 366
Decay-Usage Scheduling in Multiprocessors
by: Dick H. J. Epema v. 16 i. 4 p. 367 - 415

1997

Scheduler-Conscious Synchronization
by: Leonidas I. Kontothanassis, Robert W. Wisniewski, Michael L. Scott v. 15 i. 1 p. 3 - 40
Disk-Directed I/O for MIMD Multiprocessors
by: David Kotz v. 15 i. 1 p. 41 - 74
A High-Speed Network Interface for Distributed-Memory Systems: Architecture and Applications
by: Peter Steenkiste v. 15 i. 1 p. 75 - 109
Device Reservation in Audio/Video Editing Systems
by: David P. Anderson v. 15 i. 2 p. 111 - 133
Real-Time Computing with Lock-Free Shared Objects
by: James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay v. 15 i. 2 p. 134 - 165
Optimally Adaptive, Minimum-Distance, Circuit-Switched Routing in Hypercubes
by: Ausif Mahmood, Donald J. Lynch, Roger B. Shaffer v. 15 i. 2 p. 166 - 193
Strong Loss Tolerance of Electronic Coin Systems
by: Birgit Pfitzmann, Michael Waidner v. 15 i. 2 p. 194 - 213
K. K. Ramakrishnan: Eliminating Receive Livelock in an Interrupt-Driven Kemel
by: Jeffrey C. Mogul v. 15 i. 3 p. 217 - 252
Exploiting Process Lifetime Distributions for Dynamic Load Balancing
by: Mor Harchol-Balter, Allen B. Downey v. 15 i. 3 p. 253 - 285
HFS: A Performance-Oriented Flexible File System Based on Building-Block Compositions
by: Orran Krieger, Michael Stumm v. 15 i. 3 p. 286 - 321
Converting Thread-Level Parallelism to Instruction-Level Parallelism via Simultaneous Multithreading
by: Jack L. Lo, Susan J. Eggers, Joel S. Emer, Henry M. Levy, Rebecca L. Stamm, Dean M. Tullsen v. 15 i. 3 p. 322 - 354
Continuous Profiling: Where Have All the Cycles Gone?
by: Jennifer-Ann M. Anderson, Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika Rauch Henzinger, Shun-Tak Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, William E. Weihl v. 15 i. 4 p. 357 - 390
Eraser: A Dynamic Data Race Detector for Multithreaded Programs
by: Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson v. 15 i. 4 p. 391 - 411
Disco: Running Commodity Operating Systems on Scalable Multiprocessors
by: Edouard Bugnion, Scott Devine, Kinshuk Govil, Mendel Rosenblum v. 15 i. 4 p. 412 - 447

1996

The Measured Performance of Personal Computer Operating Systems
by: J. Bradley Chen, Yasuhiro Endo, Kee Chan, David Mazières, Antonio Dias, Margo I. Seltzer, Michael D. Smith v. 14 i. 1 p. 3 - 40
Serverless Network File Systems
by: Thomas E. Anderson, Michael Dahlin, Jeanna M. Neefe, David A. Patterson, Drew S. Roselli, Randolph Y. Wang v. 14 i. 1 p. 41 - 79
Hypervisor-Based Fault Tolerance
by: Thomas C. Bressoud, Fred B. Schneider v. 14 i. 1 p. 80 - 107
The HP AutoRAID Hierarchical Storage System
by: John Wilkes, Richard A. Golding, Carl Staelin, Tim Sullivan v. 14 i. 1 p. 108 - 136
Portable Run-Time Support for Dynamic Object-Oriented Parallel Processing
by: Andrew S. Grimshaw, Jon B. Weissman, W. Timothy Strayer v. 14 i. 2 p. 139 - 170
Customized Information Extraction as a Basis for Resource Discovery
by: Darren R. Hardy, Michael F. Schwartz v. 14 i. 2 p. 171 - 199
An Empirical Styudy of a Wide-Area Distributed File System
by: Mirjana Spasojevic, Mahadev Satyanarayanan v. 14 i. 2 p. 200 - 222
The Vesta Parallel File System
by: Peter F. Corbett, Dror G. Feitelson v. 14 i. 3 p. 225 - 264
Fault-Tolerance in Air Traffic Control Systems
by: Flaviu Cristian, Bob Dancey, Jon Dehn v. 14 i. 3 p. 265 - 286
Recovery in the Calypso File System
by: Murthy V. Devarakonda, Bill Kish, Ajay Mohindra v. 14 i. 3 p. 287 - 310
Implementation and Performance of Integrated Application-Controlled File Caching, Prefetching, and Disk Scheduling
by: Pei Cao, Edward W. Felten, Anna R. Karlin, Kai Li v. 14 i. 4 p. 311 - 343
Analysis of Benchmark Characteristics and Benchmark Performance Prediction
by: Rafael H. Saavedra, Alan Jay Smith v. 14 i. 4 p. 344 - 384
Diffracting Trees
by: Nir Shavit, Asaph Zemach v. 14 i. 4 p. 385 - 428

1995

Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior
by: Peter C. Bates v. 13 i. 1 p. 1 - 31
Set-Associative Cache Simulation Using Generalized Binomial Trees
by: Rabin A. Sugumar, Santosh G. Abraham v. 13 i. 1 p. 32 - 56
Effective Cache Prefetching on Bus-Based Multiprocessors
by: Dean M. Tullsen, Susan J. Eggers v. 13 i. 1 p. 57 - 88
Adaptive Block Rearrangement
by: Sedat Akyürek, Kenneth Salem v. 13 i. 2 p. 89 - 121
A Simple and Efficient Bus Management Scheme that Supports Continuous Streams
by: Saied Hosseini-Khayat, Andreas D. Bovopoulos v. 13 i. 2 p. 122 - 140
Implications of Hierarchical N-Body Methods for Multiprocessor Architectures
by: Jaswinder Pal Singh, John L. Hennessy, Anoop Gupta v. 13 i. 2 p. 141 - 202
Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems
by: John B. Carter, John K. Bennett, Willy Zwaenepoel v. 13 i. 3 p. 205 - 243
Memory System Performance of Programs with Intensive Heap Allocation
by: Amer Diwan, David Tarditi, J. Eliot B. Moss v. 13 i. 3 p. 244 - 273
The Zebra Striped Network File System
by: John H. Hartman, John K. Ousterhout v. 13 i. 3 p. 274 - 310
The Totem Single-Ring Ordering and Membership Protocol
by: Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella v. 13 i. 4 p. 311 - 342
Scalable Concurrent Counting
by: Maurice Herlihy, Beng-Hong Lim, Nir Shavit v. 13 i. 4 p. 343 - 364
Generating Test Cases for Real-Time Systems from Logic Specifications
by: Dino Mandrioli, Sandro Morasca, Angelo Morzenti v. 13 i. 4 p. 365 - 398

1994

Editorial
by: Kenneth P. Birman v. 12 i. 1 p. 1 - 1
Authentication in the Taos Operating System
by: Edward Wobber, Martín Abadi, Michael Burrows v. 12 i. 1 p. 3 - 32
Lightweight Recoverable Virtual Memory
by: Mahadev Satyanarayanan, Henry H. Mashburn, Puneet Kumar, David C. Steere, James J. Kistler v. 12 i. 1 p. 33 - 57
File-System Development with Stackable Layers
by: John S. Heidemann, Gerald J. Popek v. 12 i. 1 p. 58 - 89
Sequential Consistency versus Linearizability
by: Hagit Attiya, Jennifer L. Welch v. 12 i. 2 p. 91 - 122
A Coherent Distributed File Cache with Directory Write-Behind
by: Timothy Mann, Andrew Birrell, Andy Hisgen, Charles Jerian, Garret Swart v. 12 i. 2 p. 123 - 164
Lightweight Recoverable Virtual Memory - Corrigendum
by: Mahadev Satyanarayanan, Henry H. Mashburn, Puneet Kumar, David C. Steere, James J. Kistler v. 12 i. 2 p. 165 - 172
Preface to the Special Issues on Computer Architecture
by: Kenneth P. Birman v. 12 i. 3 p. 173 - 173
Design Tradeoffs for Software-Managed TLBs
by: Richard Uhlig, David Nagle, Tim Stanley, Trevor N. Mudge, Stuart Sechrest, Richard B. Brown v. 12 i. 3 p. 175 - 205
Parity-Logging Disk Arrays
by: Daniel Stodolsky, Mark Holland, William V. Courtright II, Garth A. Gibson v. 12 i. 3 p. 206 - 235
The TickerTAIP Parallel RAID Architecture
by: Pei Cao, Swee Boon Lim, Shivakumar Venkataraman, John Wilkes v. 12 i. 3 p. 236 - 269
Sharing and Protection in a Single-Address-Space Operating System
by: Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, Edward D. Lazowska v. 12 i. 4 p. 271 - 307
A New Approach to I/O Performance Evaluation - Self-Scaling I/O Benchmarks, Predicted I/O Performance
by: Peter M. Chen, David A. Patterson v. 12 i. 4 p. 308 - 339
A Security Architecture for Fault-Toerant Systems
by: Michael K. Reiter, Kenneth P. Birman, Robbert van Renesse v. 12 i. 4 p. 340 - 371

1993

Chores: Enhanced Run-Time Support for Shared-Memory Parallel Computing
by: Derek L. Eager, John Zahorjan v. 11 i. 1 p. 1 - 32
CHAOS-arc: Kernel Support for Multiweight Objects, Invocations, and Atomicity in Real-Time Multiprocessor Applications
by: Ahmed Gheith, Karsten Schwan v. 11 i. 1 p. 33 - 72
FLIP: An Internetwork Protocol for Supporting Distributed Systems
by: M. Frans Kaashoek, Robbert van Renesse, Hans van Staveren, Andrew S. Tanenbaum v. 11 i. 1 p. 73 - 106
Editorial
by: Kenneth P. Birman v. 11 i. 2 p. 107 - 108
Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware design
by: Ganesh Gopalakrishnan, Richard Fujimoto v. 11 i. 2 p. 109 - 145
A Dynamic Processor Allocation Policy for Multiprogrammed Shared-memory Multiprocessors
by: Cathy McCann, Raj Vaswani, John Zahorjan v. 11 i. 2 p. 146 - 178
Limits to Low-Latency Communication on High-Speed Networks
by: Chandramohan A. Thekkath, Henry M. Levy v. 11 i. 2 p. 179 - 203
Distributed Timestamp Generation in Planar Lattice Networks
by: Paul Ammann, Sushil Jajodia v. 11 i. 3 p. 205 - 225
Metascheduling for Continuous Media
by: David P. Anderson v. 11 i. 3 p. 226 - 252
Waiting Algorithms for Synchronization in Large-Scale Multiprocessors
by: Beng-Hong Lim, Anant Agarwal v. 11 i. 3 p. 253 - 294
Preface to the Special Issue on Architectural Support for Programming Languages and Systems
by: Kenneth P. Birman v. 11 i. 4 p. 299 - 299
Cooperative Shared Memory: Software and Hardware Support for Scalable Multiprocesors
by: Mark D. Hill, James R. Larus, Steven K. Reinhardt, David A. Wood v. 11 i. 4 p. 300 - 318
High Speed Switch Scheduling for Local Area Networks
by: Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker v. 11 i. 4 p. 319 - 352
Access Normalization: Loop Restructuring for NUMA Compilers
by: Wei Li, Keshav Pingali v. 11 i. 4 p. 353 - 375
Sentinel Scheduling for VLIW and Superscalar Processors
by: Scott A. Mahlke, William Y. Chen, Roger A. Bringmann, Richard E. Hank, Wen-mei W. Hwu, B. Ramakrishna Rau, Michael S. Schlansker v. 11 i. 4 p. 376 - 408

1992

Preface to the Special Issue on Operating System Principles
by: Anita K. Jones v. 10 i. 1 p. 1 - 1
Disconnected Operation in the Coda File System
by: James J. Kistler, Mahadev Satyanarayanan v. 10 i. 1 p. 3 - 25
The Design and Implementation of a Log-Structured File System
by: Mendel Rosenblum, John K. Ousterhout v. 10 i. 1 p. 26 - 52
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
by: Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, Henry M. Levy v. 10 i. 1 p. 53 - 79
Network Locality at the Scale of Processes
by: Jeffrey C. Mogul v. 10 i. 2 p. 81 - 109
A Dynamic Network Architecture
by: Sean W. O'Malley, Larry L. Peterson v. 10 i. 2 p. 110 - 143
Delivery of Time-Critical Message Using a Multiple Copy Approach
by: Parameswaran Ramanathan, Kang G. Shin v. 10 i. 2 p. 114 - 166
An Effective Synchronization Network for Hot-Spot Accesses
by: William Tsun-Yuk Hsu, Pen-Chung Yew v. 10 i. 3 p. 167 - 189
Adaptable Concurrency Control for Atomic Data Types
by: M. Stella Atkins, M. Y. Coady v. 10 i. 3 p. 190 - 225
A Logic for Reasoning About Security
by: Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden v. 10 i. 3 p. 226 - 264
Authentication in Distributed Systems: Theory and Practice
by: Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber v. 10 i. 4 p. 265 - 310
A File System for Continuous Media
by: David P. Anderson, Yoshitomo Osawa, Ramesh Govindan v. 10 i. 4 p. 311 - 337
Page Placement Algorithms for Large Real-Indexed Caches
by: Richard E. Kessler, Mark D. Hill v. 10 i. 4 p. 338 - 359
Providing High Availability Using Lazy Replication
by: Rivka Ladin, Barbara Liskov, Liuba Shrira, Sanjay Ghemawat v. 10 i. 4 p. 360 - 391

1991

An Efficient and Fault-Tolerant Solution for Distributed Mutual Exclusion
by: Divyakant Agrawal, Amr El Abbadi v. 9 i. 1 p. 1 - 20
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors
by: John M. Mellor-Crummey, Michael L. Scott v. 9 i. 1 p. 21 - 65
Architectural Support for Reduced Register Saving / Restoring in Single-Window Register Files
by: Miquel Huguet, Tomás Lang v. 9 i. 1 p. 66 - 97
Guest Editorial - Special Section on Communication Architectures and Protocols
by: Larry L. Peterson v. 9 i. 2 p. 99 - 99
VirtualClock: A New Traffic Control Algorithm for Packet-Switched Networks
by: Lixia Zhang v. 9 i. 2 p. 101 - 124
Efficient At-Most-Once Messages Based on Synchronized Clocks
by: Barbara Liskov, Liuba Shrira, John Wroclawski v. 9 i. 2 p. 125 - 142
Dynamic Adaption of Real-Time Software
by: Thomas E. Bihari, Karsten Schwan v. 9 i. 2 p. 143 - 174
User-Level Interprocess Communication for Shared Memory Multiprocessors
by: Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy v. 9 i. 2 p. 175 - 198
Preface to the Special Section on Measurement and Modeling of Computer Systems
by: Alan Jay Smith v. 9 i. 3 p. 199 - 199
Algorithms for Unboundedly Parallel Simulations
by: Albert G. Greenberg, Boris D. Lubachevsky, Isi Mitrani v. 9 i. 3 p. 201 - 221
Efficient Trace-Driven Simulation Methods for Cache Performance Analysis
by: Wen-Hann Wang, Jean-Loup Baer v. 9 i. 3 p. 222 - 241
Ordered and Reliable Multicast Communication
by: Hector Garcia-Molina, Annemarie Spauster v. 9 i. 3 p. 242 - 271
Lightweigt Causal and Atomic Group Multicast
by: Kenneth P. Birman, André Schiper, Pat Stephenson v. 9 i. 3 p. 272 - 314
Experimental Comparison of Memory Management Policies for NUMA Multiprocessors
by: Richard P. LaRowe Jr., Carla Schlatter Ellis v. 9 i. 4 p. 319 - 363
Improving Round-Trip Time Estimates in Reliable Transport Protocols
by: Phil Karn, Craig Partridge v. 9 i. 4 p. 363 - 373
Reliable Broadcast Algorithms for HARTS
by: Dilip D. Kandlur, Kang G. Shin v. 9 i. 4 p. 374 - 398
Multidimensional Voting
by: Mustaque Ahamad, Mostafa H. Ammar, Shun Yan Cheung v. 9 i. 4 p. 399 - 431

1990

Performance of Firefly RPC
by: Michael D. Schroeder, Michael Burrows v. 8 i. 1 p. 1 - 17
A Logic of Authentication
by: Michael Burrows, Martín Abadi, Roger M. Needham v. 8 i. 1 p. 18 - 36
Lightweight Remote Procedure Call
by: Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy v. 8 i. 1 p. 37 - 55
A System for Computer Music Performance
by: David P. Anderson, Ron Kuivila v. 8 i. 1 p. 56 - 82
Multicast Routing in Datagram Internetworks and Extended LANs
by: Stephen E. Deering, David R. Cheriton v. 8 i. 2 p. 85 - 110
"Topologies" - Distributed Objects on Multicomputers
by: Karsten Schwan, Win Bo v. 8 i. 2 p. 111 - 157
A Binary Feedback Scheme for Congestion Avoidance in Computer Networks
by: K. K. Ramakrishnan, Raj Jain v. 8 i. 2 p. 158 - 181
A Formal Protection Model of Security in Centralized, Parallel, and Distributed Systems
by: Glenn S. Benson, Ian F. Akyildiz, William F. Appelbe v. 8 i. 3 p. 183 - 213
Disk Arm Movement in Anticipation of Future Requests
by: Richard P. King v. 8 i. 3 p. 214 - 229
The Effects of Processor Architecture on Instruction Memory Traffic
by: Chad L. Mitchell, Michael J. Flynn v. 8 i. 3 p. 230 - 250
Deriving Protocol Specifications from Service Specifications Including Parameters
by: Reinhard Gotzhein, Gregor von Bochmann v. 8 i. 4 p. 255 - 283
Tolerating Failures of Continuous-Valued Sensors
by: Keith Marzullo v. 8 i. 4 p. 284 - 304
Concurrent Reading and Writing of Clocks
by: Leslie Lamport v. 8 i. 4 p. 305 - 310
High-Level Language Debugging for Concurrent Programs
by: Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz v. 8 i. 4 p. 311 - 336

1989

Fault Tolerance Under UNIX
by: Anita Borg, Wolfgang Blau, Wolfgang Graetsch, Ferdinand Herrmann, Wolfgang Oberle v. 7 i. 1 p. 1 - 24
Reliable Scheduling in a TMR Database System
by: Frank M. Pittelli, Hector Garcia-Molina v. 7 i. 1 p. 25 - 60
A Tree-Based Algorithm for Distributed Mutual Exclusion
by: Kerry Raymond v. 7 i. 1 p. 61 - 77
Efficient (Stack) Algorithms for Analysis of Write-Back and Sector Machines
by: James G. Thompson, Alan Jay Smith v. 7 i. 1 p. 78 - 116
High-Speed Implementations of Rule-Based Systems
by: Anoop Gupta, Charles Forgy, Allen Newell v. 7 i. 2 p. 119 - 146
Decentralizing a Global Naming Service for Improved Performance and Fault Tolerance
by: David R. Cheriton, Timothy P. Mann v. 7 i. 2 p. 147 - 183
An Analytical Cache Model
by: Anant Agarwal, Mark Horowitz, John L. Hennessy v. 7 i. 2 p. 184 - 215
Preserving and Using Context Information in Interprocess Communication
by: Larry L. Peterson, Nick C. Buchholz, Richard D. Schlichting v. 7 i. 3 p. 217 - 246
Integrating Security in a Large Distributed System
by: Mahadev Satyanarayanan v. 7 i. 3 p. 247 - 280
Verified Data Transfer Protocols with Variable Flow Control
by: A. Udaya Shankar v. 7 i. 3 p. 281 - 316
Memory Coherence in Shared Virtual Memory Systems
by: Kai Li, Paul Hudak v. 7 i. 4 p. 321 - 359
Using Histories to Implement Atomic Objects
by: Tony P. Ng v. 7 i. 4 p. 360 - 393
Increasing Availability Under Mutual Exclusion Constraints with Dynamic Vote Reassignment
by: Daniel Barbará, Hector Garcia-Molina, Annemarie Spauster v. 7 i. 4 p. 394 - 426

1988

Preface: Special Issue on Operating System Principles
by: Anita K. Jones v. 6 i. 1 p. 1 - 2
Managing Stored Voice in the Etherphone System
by: Douglas B. Terry, Daniel C. Swinehart v. 6 i. 1 p. 3 - 27
801 Storage: Architecture and Programming
by: Albert Chang, Mark F. Mergen v. 6 i. 1 p. 28 - 50
Scale and Performance in a Distributed File System
by: John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, Mahadev Satyanarayanan, Robert N. Sidebotham, Michael J. West v. 6 i. 1 p. 51 - 81
Recovery Management in QuickSilver
by: Roger L. Haskin, Yoni Malachi, Wayne Sawdon, Gregory Chan v. 6 i. 1 p. 82 - 108
Fine-Grained Mobility in the Emerald System
by: Eric Jul, Henry M. Levy, Norman C. Hutchinson, Andrew P. Black v. 6 i. 1 p. 109 - 133
Caching in the Sprite Network File System
by: Michael N. Nelson, Brent B. Welch, John K. Ousterhout v. 6 i. 1 p. 134 - 154
A Relational Approach to Monitoring Complex Systems
by: Richard T. Snodgrass v. 6 i. 2 p. 157 - 196
The NTree: A Two Dimension Partial Order for Protection Groups
by: Ravi S. Sandhu v. 6 i. 2 p. 197 - 222
Measurement and Evaluation of the MIPS Architecture and Processor
by: Thomas R. Gross, John L. Hennessy, Steven A. Przybyski, Christopher Rowen v. 6 i. 3 p. 229 - 257
Remote Pipes and Procedures for Efficient Distributed Communication
by: David K. Gifford, Nathan Glasser v. 6 i. 3 p. 258 - 283
Stating Security Requirements with Tolerable Sets
by: Dale M. Johnson, F. Javier Thayer v. 6 i. 3 p. 284 - 295
Performance Effects of Architectural Complexity in the Intel 432
by: Robert P. Colwell, Edward F. Gehringer, E. Douglas Jensen v. 6 i. 3 p. 296 - 339
The Profile Naming Service
by: Larry L. Peterson v. 6 i. 4 p. 341 - 364
Experiments in SR with Different Upcall Program Structures
by: M. Stella Atkins v. 6 i. 4 p. 365 - 392
Cache Performance of Operating System and Multiprogramming Workloads
by: Anant Agarwal, John L. Hennessy, Mark Horowitz v. 6 i. 4 p. 393 - 431
A Digital Multisignature Schema Using Bijective Public-Key Cryptosystems
by: Tatsuaki Okamoto v. 6 i. 4 p. 432 - 441

1987

A Fast Mutual Exclusion Algorithm
by: Leslie Lamport v. 5 i. 1 p. 1 - 11
UIO: A Uniform I/O System Interface for Distributed Systems
by: David R. Cheriton v. 5 i. 1 p. 12 - 46
Reliable Communication in the Presence of Failures
by: Kenneth P. Birman, Thomas A. Joseph v. 5 i. 1 p. 47 - 76
A Continuum of Disk Scheduling Algorithms
by: Robert Geist, Stephen Daniel v. 5 i. 1 p. 77 - 92
Gaining Efficiency in Transport Services by Appropriate Design and Implementation Choices
by: Richard W. Watson, Sandra A. Mamrak v. 5 i. 2 p. 97 - 120
Monitoring Distributed Systems
by: Jeffrey Joyce, Greg Lomow, Konrad Slind, Brian Unger v. 5 i. 2 p. 121 - 150
The Development and Proof of a Formal Specification for a Multilevel Secure System
by: Janice I. Glasgow, Glenn H. MacEwen v. 5 i. 2 p. 151 - 184
High-Performance Operating System Primitives for Robotics and Real-Time Control Systems
by: Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee v. 5 i. 3 p. 189 - 231
Response Times in Level-Structured Systems
by: Paul K. Harten Jr. v. 5 i. 3 p. 232 - 248
Concurrency versus Availability: Atomic Mechanisms for Replicated Data
by: Maurice Herlihy v. 5 i. 3 p. 249 - 274
An Optimized Contention Protocol for Broadband Networks
by: W. Worth Kirkman v. 5 i. 3 p. 275 - 283
The Information Structure of Distributed Mutual Exclusion Algorithms
by: Beverly A. Sanders v. 5 i. 3 p. 284 - 299
Footprints in the Cache
by: Dominique Thiébaut, Harold S. Stone v. 5 i. 4 p. 305 - 329
A Programmable Interface Language for Heterogeneous Distributed Systems
by: Joseph R. Falcone v. 5 i. 4 p. 330 - 351
Disk File Allocation Based on the Buddy System
by: Philip D. L. Koch v. 5 i. 4 p. 352 - 370
Public Protection of Software
by: Amir Herzberg, Shlomit S. Pinter v. 5 i. 4 p. 371 - 393
On the Reliability of Consensus-Based Fault-Tolerant Distributed Compting Systems
by: Özalp Babaoglu v. 5 i. 4 p. 394 - 416

1986

Independent General Principles for Constructing Responsive Software Systems
by: Connie U. Smith v. 4 i. 1 p. 1 - 31
A Quorum-Consensus Replication Method for Abstract Data Types
by: Maurice Herlihy v. 4 i. 1 p. 32 - 53
Low Cost Management of Replicated Data in Fault-Tolerant Distributed Systems
by: Thomas A. Joseph, Kenneth P. Birman v. 4 i. 1 p. 54 - 70
Effects of Job Loading Policies for Multiprogramming Systems in Processing a Job Stream
by: Hisao Kameda v. 4 i. 1 p. 71 - 106
Preface to Special Issue on Operating System Princiles
by: Anita K. Jones v. 4 i. 2 p. 109 - 109
The S/Net's Linda Kernel
by: Nicholas Carriero, David Gelernter v. 4 i. 2 p. 110 - 129
VAXclusters: A Closely-Coupled Distributed System
by: Nancy P. Kronenberg, Henry M. Levy, William D. Strecker v. 4 i. 2 p. 130 - 146
The Integration of Virtual Memory Management and Interprocess Communication in Accent
by: Robert P. Fitzgerald, Richard F. Rashid v. 4 i. 2 p. 147 - 177
A Tree-Structured Mean Value Analysis Algorithm
by: K. P. Hoyme, Steven C. Bruell, P. V. Afshari, Richard Y. Kain v. 4 i. 2 p. 178 - 185
The Vulnerabilty of Vote Assignments
by: Daniel Barbará, Hector Garcia-Molina v. 4 i. 3 p. 187 - 213