default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th SOSP 1977: West Lafayette, Indiana, USA
- Saul Rosen, Peter J. Denning:
Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, November 16-18, 1977. ACM 1977
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 - Gene McDaniel:
METRIC: A Kernel Instrumentation System for Distributed Environments. 93-99 - Liam 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 - Klaus-Peter Löhr:
Beyond Concurrent Pascal. 173-180
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.
last updated on 2026-04-04 00:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
