Proceedings of the Fourth Symposium on Operating System Principles
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Herbert Schorr, Alan J. Perlis, Peter Weiner, W. Donald Frazer
Proceedings of the Fourth Symposium on Operating System Principles
SOSP, 1973.

Full names Links ISxN
	address       = "Yorktown Heights, New York, USA",
	doi           = "10.1145/800009",
	editor        = "Herbert Schorr and Alan J. Perlis and Peter Weiner and W. Donald Frazer",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fourth Symposium on Operating System Principles}",
	volume        = "Operating System Review 7(4)",
	year          = 1973,

Contents (21 items)

SOSP-1973-Sorenson #communication #realtime
Interprocess Communication in Real-Time Systems (PGS), pp. 1–7.
SOSP-1973-SpierHC #architecture #implementation #kernel
An Experimental Implementation on the Kernel/Domain Architecture (MJS, TNH, DNC), pp. 8–21.
SOSP-1973-Stephenson #on the
On the Structure and Control of Commands (CJS), pp. 22–26.
The UNIX Time-Sharing System (DR, KT), p. 27.
SOSP-1973-DayH #interactive #named #operating system
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control (PD, JH), pp. 28–37.
SOSP-1973-Walther #multi
Multiprocessor Self Diagnosis, Surgery, and Recovery in Air Traffic Control (WW), pp. 38–44.
SOSP-1973-Svobodova #hybrid #metric #monitoring #online #performance
Online System Performance Measurements with Software and Hybrid Monitors (LS), pp. 45–53.
SOSP-1973-Fuller #random #scheduling
Random Arrival and the MTPT Drum Scheduling Discipline (SHF), pp. 54–57.
SOSP-1973-Scheffler #memory management
Optimal Folding of a Paging Drum in a Three Level Memory System (LJS), pp. 58–65.
SOSP-1973-ChamberlinFL #memory management #multi
A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory (DDC, SHF, LYL), pp. 66–72.
SOSP-1973-DenningS #clustering
Dynamic Storage Partitioning (PJD, JRS), pp. 73–79.
SOSP-1973-ArvindKS #generative #on the #process #string
On Reference String Generation Processes (A, RYK, ES), pp. 80–87.
SOSP-1973-Ellis #on the
On the Propability of Deadline in Computer Systems (CAE), pp. 88–95.
SOSP-1973-Ullman #polynomial #problem #scheduling
Polynomial Complete Scheduling Problems (JDU), pp. 96–101.
SOSP-1973-BrunoCS #independence #scheduling
Scheduling Independent Tasks to Reduce Mean Finishing Time (JLB, EGCJ, RS), pp. 102–103.
SOSP-1973-GareyG #bound #scheduling
Bounds on Scheduling with Limited Resources (MRG, RLG), pp. 104–111.
SOSP-1973-KrauseSS #algorithm #multi #scheduling
A Task Scheduling Algorithm for a Multiprogramming Computer System (KLK, VYS, HDS), pp. 112–118.
SOSP-1973-Saltzer #information management #multi
Protection and the Control of Information Sharing in MULTICS (JHS), p. 119.
The Case for Capability-Based Computers (RSF), p. 120.
SOSP-1973-PopekG #architecture #generative #requirements
Formal Requirements for Virtualizable Third Generation Architectures (GJP, RPG), p. 121.
SOSP-1973-Kosaraju #petri net
Limitations of Dijkstra’s Semaphore Primitives and Petri Nets (SRK), pp. 122–136.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.