default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th SOSP 1973: Yorktown Heights, New York, USA
- Herbert Schorr, Alan J. Perlis, Peter Weiner, W. Donald Frazer:
Proceedings of the Fourth Symposium on Operating System Principles, SOSP 1973, Thomas J. Watson, Research Center, Yorktown Heights, New York, USA, October 15-17, 1973. ACM 1973
Systems I
- Paul G. Sorenson:
Interprocess Communication in Real-Time Systems. 1-7 - Michael J. Spier, Thomas N. Hastings, David N. Cutler:
An Experimental Implementation on the Kernel/Domain Architecture. 8-21 - C. J. Stephenson:
On the Structure and Control of Commands. 22-26
Systems II
- Dennis Ritchie, Ken Thompson:
The UNIX Time-Sharing System (Abstract). 27 - Paul Day, John Hines:
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control. 28-37 - W. Walther:
Multiprocessor Self Diagnosis, Surgery, and Recovery in Air Traffic Control. 38-44 - Liba Svobodova:
Online System Performance Measurements with Software and Hybrid Monitors. 45-53
Memory Management
- Samuel H. Fuller:
Random Arrival and the MTPT Drum Scheduling Discipline. 54-57 - Lee J. Scheffler:
Optimal Folding of a Paging Drum in a Three Level Memory System. 58-65 - Donald D. Chamberlin, Samuel H. Fuller, Leonard Y. Liu:
A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory. 66-72 - Peter J. Denning, Jeffrey R. Spirn:
Dynamic Storage Partitioning. 73-79 - Arvind, Richard Y. Kain, Eitan Sadeh:
On Reference String Generation Processes. 80-87
Scheduling Theory
- Clarence A. Ellis:
On the Propability of Deadline in Computer Systems. 88-95 - Jeffrey D. Ullman:
Polynomial Complete Scheduling Problems. 96-101 - John L. Bruno, Edward G. Coffman Jr., Ravi Sethi:
Scheduling Independent Tasks to Reduce Mean Finishing Time (Extended Abstract). 102-103 - M. R. Garey, Ronald L. Graham:
Bounds on Scheduling with Limited Resources. 104-111 - K. L. Krause, Vincent Y. Shen, Herbert D. Schwetman:
A Task Scheduling Algorithm for a Multiprogramming Computer System. 112-118
Protection and Addressing
- Jerome H. Saltzer:
Protection and the Control of Information Sharing in MULTICS. 119 - Robert S. Fabry:
The Case for Capability-Based Computers. 120 - Gerald J. Popek, Robert P. Goldberg:
Formal Requirements for Virtualizable Third Generation Architectures. 121 - S. Rao Kosaraju:
Limitations of Dijkstra's Semaphore Primitives and Petri Nets. 122-136
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 2026-05-25 00:13 CEST 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:
