


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














