default search action
9th SOSP 1983: Bretton Woods, New Hampshire, USA
- Jerome H. Saltzer, Roy Levin, David D. Redell:
Proceedings of the Ninth ACM Symposium on Operating System Principles, SOSP 1983, Bretton Woods, New Hampshire, USA, October 10-13, 1983. ACM 1983, ISBN 0-89791-115-6
Communication
- Bruce G. Lindsay, Laura M. Haas, C. Mohan, Paul F. Wilms, Robert A. Yost:
Computation & Communication in R*: A Distributed Database Manager (Extended Abstract). 1-2 - Andrew Birrell, Bruce Jay Nelson:
Implementing Remote Procedure Calls (Abstract). 3 - Andrew P. Black:
An Asymmetric Stream Communication System. 4-10
Resource Management
- Daniel H. Craft:
Resource Management In A Decentralized System. 11-19 - Loretta Guarino Reid, Philip L. Karlton:
A File System Supporting Cooperation between Programs. 20-19 - C. J. Stephenson:
Fast Fits. 30-32
Special Session
- Butler W. Lampson:
Hints for Computer System Design. 33-48
Locus
- Bruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel:
The LOCUS Distributed Operating System. 49-70 - Erik T. Mueller, Johanna D. Moore, Gerald J. Popek:
A Nested Transaction Mechanism for LOCUS. 71-89
Recovery and Reconfiguration
- Anita Borg, Jim Baumbach, Sam Glazer:
A Message System Supporting Fault Tolerance. 90-99 - Michael L. Powell, David L. Presotto:
PUBLISHING: A Reliable Broadcast Communication Mechanism. 100-109 - Michael L. Powell, Barton P. Miller:
Process Migration in DEMOS/MP. 110-119
Distributed File Access
- M. F. Richardson, Roger M. Needham:
The TRIPOS Filing Machine, a Front End to a File Server. 120-128 - David R. Cheriton, Willy Zwaenepoel:
The Distributed V Kernel and its Performance for Diskless Workstations. 129-140
Experience
- Michael D. Schroeder, Andrew Birrell, Roger M. Needham:
Experience with Grapevine: The Growth of a Distributed System (Summary). 141-142 - Jonathan M. Silverman:
Reflections on the Verification of the Security of an Operating System Kernel. 143-154
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.