James C. Browne, Juan Rodriguez-Rosell
Proceedings of the Fifth Symposium on Operating System Principles
SOSP, 1975.

@proceedings{SOSP-1975,
	address       = "Austin, Texas, USA",
	doi           = "10.1145/800213",
	editor        = "James C. Browne and Juan Rodriguez-Rosell",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fifth Symposium on Operating System Principles}",
	volume        = "Operating System Review 9(5), Special Issue",
	year          = 1975,
}

Contents (26 items)

6 ×#operating system
4 ×#architecture
4 ×#multi
4 ×#scheduling
3 ×#algorithm
3 ×#virtual machine
2 ×#analysis
2 ×#case study
2 ×#fault
2 ×#network

SOSP-1975-Kain #algorithm #how

How to Evaluate Page Replacement Algorithms (RYK), pp. 1–5.

SOSP-1975-Sadeh #algorithm #analysis #fault #performance

An Analysis of the Performance of the Page Fault Frequency (PFF) Replacement Algorithm (ES), pp. 6–13.

SOSP-1975-HarrisonRU #on the #operating system

On Protection in Operating System (MAH, WLR, JDU), pp. 14–24.

SOSP-1975-Schroeder #kernel #multi #security

Engineering a Security Kernel for Multics (MDS), pp. 25–32.

SOSP-1975-BayerL #multi #named #operating system #realtime

MERT — A Multi-Environment Real-Time Operating System (DLB, HL), pp. 33–42.

SOSP-1975-Janson #multi #process

Dynamic Linking and Environment Initialization in a Multi-Domain Process (PAJ), pp. 43–50.

SOSP-1975-PruittC #architecture #operating system #realtime

Architecture of a Real-Time Operating System (JLP, WWC), pp. 51–59.

SOSP-1975-Chesson #network

The Network Unix System (GLC), pp. 60–66.

SOSP-1975-AkkoyunluEH #constraints #design #network #trade-off

Some Constraints and Tradeoffs in the Design of Network Communications (EAA, KE, RVH), pp. 67–74.

SOSP-1975-CosellJMSSTW #operating system #resource management

An Operating System for Computer Resource Sharing (BSC, PRJ, JHM, RES, JS, RHT, DCW), pp. 75–81.

SOSP-1975-BagleyFHW #virtual machine

Sharing Data and Services in a Virtual Machine System (JDB, ERF, SCH, VW), pp. 82–88.

SOSP-1975-BelpaireN #architecture #recursion #virtual machine

Formal Properties of Recursive Virtual Machine Architectures (GB, NTH), pp. 89–96.

SOSP-1975-PopekK #architecture #case study #virtual machine

The PDP-11 Virtual Machine Architecture: A Case Study (GJP, CSK), pp. 97–105.

SOSP-1975-RussellB #fault

Error Resynchronization in Producer-Consumer Systems (DLR, THB), pp. 106–113.

SOSP-1975-ArdenB #architecture #multi

A Multi-Microprocessor Computer System Architecture (BWA, ADB), pp. 114–121.

SOSP-1975-WulfLP #development #operating system #overview

Overview of the HYDRA Operating System Development (WAW, RL, CP), pp. 122–131.

SOSP-1975-LevinCCPW #policy

Policy/Mechanism Separation in HYDRA (RL, ESC, WMC, FJP, WAW), pp. 132–140.

SOSP-1975-CohenJ #operating system

Protection in the HYDRA Operating System (ESC, DJ), pp. 141–160.

SOSP-1975-BrundageB #source code

Computational Processor Demands of Algol-60 Programs (REB, APB), pp. 161–168.

SOSP-1975-ChandyR #execution #order #probability #scheduling

Scheduling Partially Ordered Tasks with Probabilistic Execution Times (KMC, PFR), pp. 169–177.

SOSP-1975-LamS #algorithm #analysis #scheduling

Analysis of a Level Algorithm for Preemptive Scheduling (SL, RS), pp. 178–186.

SOSP-1975-CoffmanM #scheduling

Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands (EGCJ, IM), pp. 187–191.

SOSP-1975-Lipner #problem

A Comment on the Confinement Problem (SBL), pp. 192–196.

SOSP-1975-JonesL #policy #security

The Enforcement of Security Policies for Computation (AKJ, RJL), pp. 197–206.

SOSP-1975-DenningK #case study #locality

A Study of Program Locality and Lifetime Functions (PJD, KCK), pp. 207–216.

SOSP-1975-AgrawalaB #memory management #modelling #scheduling

Models of Memory Scheduling (AKA, RMB), pp. 217–222.