9. SOSP 1983: Bretton Woods, New Hampshire

Proceedings of the Ninth ACM Symposium on Operating System Principles, 10-13 October 1983, Bretton Woods, New Hampshire, Operating System Review 17(5), ACM, New York, 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
, long version: ACM Trans. Comput. Syst. 2(1): 24-38(1984)
Andrew Birrell, Bruce Jay Nelson:
Implementing Remote Procedure Calls (Abstract). 3
, long version: ACM Trans. Comput. Syst. 2(1): 39-59(1984)
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
, long version: ACM Trans. Comput. Syst. 2(1): 3-23(1984)
Jonathan M. Silverman:
Reflections on the Verification of the Security of an Operating System Kernel. 143-154

Last update Tue Feb 14 04:11:33 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page