default search action
ACM Transactions on Computer Systems (TOCS), Volume 5
Volume 5, Number 1, February 1987
- Leslie Lamport:
A Fast Mutual Exclusion Algorithm. 1-11 - David R. Cheriton:
UIO: A Uniform I/O System Interface for Distributed Systems. 12-46 - Kenneth P. Birman, Thomas A. Joseph:
Reliable Communication in the Presence of Failures. 47-76 - Robert Geist, Stephen Daniel:
A Continuum of Disk Scheduling Algorithms. 77-92
Volume 5, Number 2, May 1987
- Richard W. Watson, Sandra A. Mamrak:
Gaining Efficiency in Transport Services by Appropriate Design and Implementation Choices. 97-120 - Jeffrey Joyce, Greg Lomow, Konrad Slind, Brian W. Unger:
Monitoring Distributed Systems. 121-150 - Janice I. Glasgow, Glenn H. MacEwen:
The Development and Proof of a Formal Specification for a Multilevel Secure System. 151-184
Volume 5, Number 3, August 1987
- Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee:
High-Performance Operating System Primitives for Robotics and Real-Time Control Systems. 189-231 - Paul K. Harten Jr.:
Response Times in Level-Structured Systems. 232-248 - Maurice Herlihy:
Concurrency versus Availability: Atomic Mechanisms for Replicated Data. 249-274 - W. Worth Kirkman:
An Optimized Contention Protocol for Broadband Networks. 275-283 - Beverly A. Sanders:
The Information Structure of Distributed Mutual Exclusion Algorithms. 284-299
Volume 5, Number 4, November 1987
- Dominique Thiébaut, Harold S. Stone:
Footprints in the Cache. 305-329 - Joseph R. Falcone:
A Programmable Interface Language for Heterogeneous Distributed Systems. 330-351 - Philip D. L. Koch:
Disk File Allocation Based on the Buddy System. 352-370 - Amir Herzberg, Shlomit S. Pinter:
Public Protection of Software. 371-393 - Özalp Babaoglu:
On the Reliability of Consensus-Based Fault-Tolerant Distributed Compting Systems. 394-416
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.