6. SOSP 1977: West Lafayette, Indiana

Proceedings of the Sixth Symposium on Operating System Principles, 16-18 November 1977, Purdue University, West Lafayette, Indiana, Operating System Review 11(5), ACM, New York

The CAP System

Roger M. Needham, R. D. H. Walker:
The Cambridge CAP Computer and its Protection System. 1-10
Roger M. Needham, Andrew Birrell:
The Cap Filing System. 11-16
Roger M. Needham:
The CAP Project - An Interim Evaluation. 17-22

The Demos System

Forest Baskett, John H. Howard, John T. Montague:
Task Communication in DEMOS. 23-31
Michael L. Powell:
The DEMOS File System. 33-42

Issues in Computer Security

Michael D. Schroeder, David D. Clark, Jerome H. Saltzer:
The Multics Kernel Design Project. 43-56
Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson:
Proving Multilevel Security of a System Design. 57-65
Clarence A. Ellis:
Consistency and Correctness of Duplicate Database Systems. 67-84

Towards Distributed Systems

Warren A. Montgomery:
Measurements of Sharing in Multics. 85-90
David P. Reed, Rajendra K. Kanodia:
Synchronization with Eventcounts and Sequencers (Extended Abstract). 91, (long version: CACM)
Gene McDaniel:
METRIC: A Kernel Instrumentation System for Distributed Environments. 93-99
L. M. Casey, N. H. Shelness:
A Domain Structure for Distributed Computer Systems. 101-108

Program and Memory Policy Performance

J. Y. Babonneau, M. S. Achard, Gérard Morisset, M. B. Mounajjed:
Automatic and General Solution to the Adaption of Programs in a Paging Environment. 109-116
Takashi Masuda:
Effect of Program Localities on Memory Management Strategies. 117-124
Dominique Potier:
Analysis of Demand Paging Policies with Swapped Working Sets. 125-131

Information Flow and Fault Tolerance

Ellis S. Cohen:
Information Transmission in Computational Systems. 133-139
Lawrence Snyder:
On the Synthesis and Analysis of Protection Systems. 141-150
David L. Russell:
Process Backup in Producer-Consumer Systems. 151-157

Language and Systems

Arvind, Kim P. Gostelow, Wil Plouffe:
Indeterminancy, Monitors, and Dataflow. 159-169
David R. Cheriton, Michael A. Malcolm, Lawrence S. Melen, Gary R. Sager:
Thoth, a Portable Real-Time Operating System (Extended Abstract). 171, (long version: CACM)
Klaus-Peter Löhr:
Beyond Concurrent Pascal. 173-180

Last update Sat May 18 19:49:22 2013 CET by the DBLP Team —

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