4. SOSP 1973: Yorktown Heights, New York, USA

Proceedings of the Fourth Symposium on Operating System Principles, October 15-17, 1973, Thomas J. Watson, Research Center, Yorktown Heights, New York, USA. Operating System Review 7(4), October 1973, ACM, New York

Systems I

Paul G. Sorenson: Interprocess Communication in Real-Time Systems. 1-7 BibTeX
Michael J. Spier, Thomas N. Hastings, David N. Cutler: An Experimental Implementation on the Kernel/Domain Architecture. 8-21 BibTeX
C. J. Stephenson: On the Structure and Control of Commands. 22-26 BibTeX

Systems II

Dennis Ritchie, Ken Thompson: The UNIX Time-Sharing System (Abstract). 27 BibTeX
Paul Day, John Hines: ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control. 28-37 BibTeX
W. Walther: Multiprocessor Self Diagnosis, Surgery, and Recovery in Air Traffic Control. 38-44 BibTeX
Liba Svobodova: Online System Performance Measurements with Software and Hybrid Monitors. 45-53 BibTeX

Memory Management

Samuel H. Fuller: Random Arrival and the MTPT Drum Scheduling Discipline. 54-57 BibTeX
Lee J. Scheffler: Optimal Folding of a Paging Drum in a Three Level Memory System. 58-65 BibTeX
Donald D. Chamberlin, Samuel H. Fuller, Leonard Y. Liu: A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory. 66-72 BibTeX
Peter J. Denning, Jeffrey P. Spirn: Dynamic Storage Partitioning. 73-79 BibTeX
Arvind, Richard Y. Kain, E. Sadeh: On Reference String Generation Processes. 80-87 BibTeX

Scheduling Theory

Clarence A. Ellis: On the Propability of Deadline in Computer Systems. 88-95 BibTeX
Jeffrey D. Ullman: Polynomial Complete Scheduling Problems. 96-101 BibTeX
John L. Bruno, Edward G. Coffman Jr., Ravi Sethi: Scheduling Independent Tasks to Reduce Mean Finishing Time (Extended Abstract). 102-103 BibTeX
M. R. Garey, Ronald L. Graham: Bounds on Scheduling with Limited Resources. 104-111 BibTeX
K. L. Krause, V. Y. Shen, Herbert D. Schwetman: A Task Schedulinh Algorithm for a Multiprogramming Computer System. 112-118 BibTeX

Protection and Addressing

Jerome H. Saltzer: Protection and the Control of Information Sharing in MULTICS. 119 BibTeX
Robert S. Fabry: The Case for Capability-Based Computers. 120 BibTeX
Gerald J. Popek, Robert P. Goldberg: Formal Requirements for Virtualizable Third Generation Architectures. 121 BibTeX
S. Rao Kosaraju: Limitations of Dijkstra's Semaphore Primitives and Petri Nets. 122-136 BibTeX