5. SOSP 1975: Austin, Texas, USA

Proceedings of the Fifth Symposium on Operating System Principles, November 19-21, 1975, The University of Texas at Austin, Austin, Texas, USA. Operating System Review 9(5), Special Issue, 1975, ACM, New York

Virtual Memory Algorithms

Richard Y. Kain: How to Evaluate Page Replacement Algorithms. 1-5
E. 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

D. 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
E. A. Akkoyunlu, K. Ekanandham, R. V. Huber: Some Constraints and Tradeoffs in the Design of Network Communications. 67-74
B. S. Cosell, P. 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
Gerald 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

Last update Sun May 19 23:36:46 2013 CET by the DBLP Team —

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