default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th SOSP 1981: Pacific Grove, California, USA
- John Howard, David P. Reed:
Proceedings of the Eighth Symposium on Operating System Principles, SOSP 1981, Asilomar Conference Grounds, Pacific Grove, California, USA, December 14-16, 1981. ACM 1981, ISBN 0-89791-062-1
Verifying Systems Properties
- Arthur J. Bernstein, Paul K. Harter Jr.:
Proving Real-Time Properties of Programs with Temporal Logic. 1-11 - John M. Rushby:
Design and Verification of Secure Systems. 12-21
Systems
- Joel F. Bartlett:
A NonStop Kernel. 22-19 - Hugh C. Lauer:
Observations on the Development of an Operating System. 30-36
Remote Data Storage
- Marek Fridrich, William J. Older:
The Felix File System. 37-44 - James G. Mitchell, Jeremy Dion:
A Comparison of Two Network-Based File Servers. 45-46 - Liba Svobodova:
A Reliable Object-Oriented Data Repository for a Distributed Computer System. 47-58
Computer-Computer Communication
- A. J. Herbert, Roger M. Needham:
Sequencing Computation Steps in a Network. 59-63 - Richard F. Rashid, George G. Robertson:
Accent: A Communication Oriented Network Operating System Kernel. 64-75 - Alfred Z. Spector:
Performing Remore Operations Efficiently on a Local Computer Network (Summary). 76-77
Memory Management
- Özalp Babaoglu, William N. Joy:
Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits. 78-86 - Richard W. Carr, John L. Hennessy:
WSClock - A Simple and Effective Algorithm for Virtual Memory Management. 87-95 - Mahadev Satyanarayanan:
A Study of File Sizes and Functional Lifetimes. 96-108
Protection Techniques
- Matt Bishop:
Hierarchical Take-Grant Protection Systems. 109-122 - David K. Gifford:
Cryptographic Sealing for Information Secrecy and Authentication (Summary). 123-124
The iMAX-432 Operating System
- George W. Cox, William M. Corwin, Konrad K. Lai, Fred J. Pollack:
A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment. 125-126 - Kevin C. Kahn, William M. Corwin, T. Don Dennis, Herman D'Hooge, David E. Hubka, Linda A. Hutchins, John T. Montague, Fred J. Pollack:
iMAX: A Multiprocessor Operating System for an Object-Based Computer. 127-136 - Fred J. Pollack, Kevin C. Kahn, Roy M. Wilkinson:
The iMAX-432 Object Filing System. 137-147
Distributed Systems
- Edward D. Lazowska
, Henry M. Levy, Guy T. Almes, Michael J. Fischer, Robert J. Fowler, Stephen C. Vestal:
The Architecture of the Eden System. 148-159 - Gottfried W. R. Luderer, H. Che, J. P. Haggerty, Peter A. Kirslis, W. T. Marshall:
A Distributed UNIX System Based on a Virtual Circuit Switch. 160-168 - Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Charles S. Kline, Gerard Rudisin, Greg Thiel:
LOCUS - A Network Transparent, High Reliability Distributed System. 169-177
User-Oriented Systems
- Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder:
Gravevine: An Exercise in Distributed Computing (summary). 178-179 - Norman K. Meyrowitz, Margaret Moser:
BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems. 180-189
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 2024-10-31 20:03 CET 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:
