SOSP A*

24 papers

YearTitle / Authors
1979A Client-Based Transaction System to Maintain Data Integrity.
William H. Paxton
1979A Mechanism for Information Control in Parallel Systems.
Richard P. Reitman
1979A Virtual Machine Emulator for Performance Evaluation (Summary).
M. D. Canon, D. H. Fritz, John H. Howard, T. D. Howell, Michael F. Mitoma, Juan Rodriguez-Rossel
1979An Open Operating System for a Single-User Machine.
Butler W. Lampson, Robert F. Sproull
1979Evaluating Synchronization Mechanisms.
Toby Bloom
1979Experience with Processes and Monitors in Mesa (Summary).
Butler W. Lampson, David D. Redell
1979Implementing Atomic Actions on Decentralized Data.
David P. Reed
1979In Support of Domain Structure for Operating Systems.
Douglas Cook
1979Medusa: An Experiment in Distributed Operating System Structure (Summary).
John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu
1979Modelling and Analysis of Distributed Software Systems.
B. Kumar, Timothy A. Gonsalves
1979Pilot: An Operating System for a Personal Computer (Summary).
David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell
1979Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data.
Warren A. Montgomery
1979Primitives for Distributed Computing.
Barbara H. Liskov
1979Proceedings of the Seventh Symposium on Operating System Principles, SOSP 1979, Asilomar Conference Grounds, Pacific Grove, California, USA, 10-12, December 1979
Michael D. Schroeder, Anita K. Jones
1979Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract).
Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek
1979StarOS, a Multiprocessor Operating System for the Support of Task Forces.
Anita K. Jones, Robert J. Chansler Jr., Ivor Durham, Karsten Schwan, Steven R. Vegdahl
1979Systems Aspects of the Cambridge Ring.
Roger M. Needham
1979The Behavior of Ethernet-Like Computer Communication Networks.
Guy T. Almes, Edward D. Lazowska
1979The ROSCOE Distributed Operating System.
Marvin H. Solomon, Raphael A. Finkel
1979The Transfer of Information and Authority in a Protection System.
Matt Bishop, Lawrence Snyder
1979Variable-Length Capabilities as a Solution to the Small-Object Problem.
Edward F. Gehringer
1979Virtual Terminal Management in a Multiple Process Environment.
Keith A. Lantz, Richard F. Rashid
1979WFS: A Simple Shared File System for a Distributed Environment.
Daniel C. Swinehart, Gene McDaniel, David R. Boggs
1979Weighted Voting for Replicated Data.
David K. Gifford