SOSP A*

22 papers

YearTitle / Authors
1977A Domain Structure for Distributed Computer Systems.
Liam M. Casey, N. H. Shelness
1977Analysis of Demand Paging Policies with Swapped Working Sets.
Dominique Potier
1977Automatic and General Solution to the Adaption of Programs in a Paging Environment.
J. Y. Babonneau, M. S. Achard, Gérard Morisset, M. B. Mounajjed
1977Beyond Concurrent Pascal.
Klaus-Peter Löhr
1977Consistency and Correctness of Duplicate Database Systems.
Clarence A. Ellis
1977Effect of Program Localities on Memory Management Strategies.
Takashi Masuda
1977Indeterminancy, Monitors, and Dataflow.
Arvind, Kim P. Gostelow, Wil Plouffe
1977Information Transmission in Computational Systems.
Ellis S. Cohen
1977METRIC: A Kernel Instrumentation System for Distributed Environments.
Gene McDaniel
1977Measurements of Sharing in Multics.
Warren A. Montgomery
1977On the Synthesis and Analysis of Protection Systems.
Lawrence Snyder
1977Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, November 16-18, 1977
Saul Rosen, Peter J. Denning
1977Process Backup in Producer-Consumer Systems.
David L. Russell
1977Proving Multilevel Security of a System Design.
Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
1977Synchronization with Eventcounts and Sequencers (Extended Abstract).
David P. Reed, Rajendra K. Kanodia
1977Task Communication in DEMOS.
Forest Baskett, John H. Howard, John T. Montague
1977The CAP Project - An Interim Evaluation.
Roger M. Needham
1977The Cambridge CAP Computer and its Protection System.
Roger M. Needham, R. D. H. Walker
1977The Cap Filing System.
Roger M. Needham, Andrew Birrell
1977The DEMOS File System.
Michael L. Powell
1977The Multics Kernel Design Project.
Michael D. Schroeder, David D. Clark, Jerome H. Saltzer
1977Thoth, a Portable Real-Time Operating System (Extended Abstract).
David R. Cheriton, Michael A. Malcolm, Lawrence S. Melen, Gary R. Sager