default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th SOSP 1975: Austin, Texas, USA
- James C. Browne, Juan Rodriguez-Rosell:
Proceedings of the Fifth Symposium on Operating System Principles, SOSP 1975, The University of Texas at Austin, Austin, Texas, USA, November 19-21, 1975. ACM 1975
Virtual Memory Algorithms
- Richard Y. Kain:
How to Evaluate Page Replacement Algorithms. 1-5 - Eitan Sadeh:
An Analysis of the Performance of the Page Fault Frequency (PFF) Replacement Algorithm. 6-13
Protection and Security
- Michael A. Harrison, Walter L. Ruzzo
, Jeffrey D. Ullman:
On Protection in Operating System. 14-24 - Michael D. Schroeder:
Engineering a Security Kernel for Multics. 25-32
Case Studies
- Douglas L. Bayer, H. Lycklama:
MERT - A Multi-Environment Real-Time Operating System. 33-42 - Philippe A. Janson:
Dynamic Linking and Environment Initialization in a Multi-Domain Process. 43-50 - J. L. Pruitt, W. W. Case:
Architecture of a Real-Time Operating System. 51-59
Network Operating Systems
- Gregory L. Chesson:
The Network Unix System. 60-66 - Eralp A. Akkoyunlu, K. Ekanandham, R. V. Huber:
Some Constraints and Tradeoffs in the Design of Network Communications. 67-74 - Bernard P. Cosell, Paul R. Johnson, J. H. Malman, Richard E. Schantz, J. Sussman, Robert H. Thomas, David C. Walden:
An Operating System for Computer Resource Sharing. 75-81
Virtual Machines
- John D. Bagley, E. R. Floto, S. C. Hsieh, V. Watson:
Sharing Data and Services in a Virtual Machine System. 82-88 - Gérald Belpaire, Nai-Ting Hsu:
Formal Properties of Recursive Virtual Machine Architectures. 89-96 - Gerald J. Popek, Charles S. Kline:
The PDP-11 Virtual Machine Architecture: A Case Study. 97-105
Correctness and Reliability
- David L. Russell, Thomas H. Bredt:
Error Resynchronization in Producer-Consumer Systems. 106-113
System Design
- Bruce W. Arden, Alan D. Berenbaum:
A Multi-Microprocessor Computer System Architecture. 114-121
The HYDRA Operating System
- William A. Wulf, Roy Levin, C. Pierson:
Overview of the HYDRA Operating System Development. 122-131 - Roy Levin, Ellis S. Cohen, William M. Corwin, Fred J. Pollack, William A. Wulf:
Policy/Mechanism Separation in HYDRA. 132-140 - Ellis S. Cohen, David Jefferson:
Protection in the HYDRA Operating System. 141-160
Processor Scheduling
- Robert E. Brundage, Alan P. Batson:
Computational Processor Demands of Algol-60 Programs. 161-168 - K. Mani Chandy, P. F. Reynolds:
Scheduling Partially Ordered Tasks with Probabilistic Execution Times. 169-177 - Shui Lam, Ravi Sethi:
Analysis of a Level Algorithm for Preemptive Scheduling. 178-186 - Edward G. Coffman Jr., Isi Mitrani:
Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands. 187-191
Security and Protection
- Steven B. Lipner:
A Comment on the Confinement Problem. 192-196 - Anita K. Jones, Richard J. Lipton:
The Enforcement of Security Policies for Computation. 197-206
Memory Measurement and Modeling
- Peter J. Denning, Kevin C. Kahn:
A Study of Program Locality and Lifetime Functions. 207-216 - Ashok K. Agrawala, Raymond M. Bryant:
Models of Memory Scheduling. 217-222
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 2024-10-31 20:23 CET 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:
