Search results for "SOSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Richard W. Carr, John L. Hennessy	WSClock - A Simple and Effective Algorithm for Virtual Memory Management.	SOSP	1981	DBLP DOI BibTeX RDF
1	Norman K. Meyrowitz, Margaret Moser	BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems.	SOSP	1981	DBLP DOI BibTeX RDF
1	Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder	Gravevine: An Exercise in Distributed Computing (summary).	SOSP	1981	DBLP DOI BibTeX RDF	Grapevine
1	George W. Cox, William M. Corwin, Konrad K. Lai, Fred J. Pollack	A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment.	SOSP	1981	DBLP DOI BibTeX RDF
1	David K. Gifford	Cryptographic Sealing for Information Secrecy and Authentication (Summary).	SOSP	1981	DBLP DOI BibTeX RDF
1	Richard F. Rashid, George G. Robertson	Accent: A Communication Oriented Network Operating System Kernel.	SOSP	1981	DBLP DOI BibTeX RDF	PERQ, Network, Networking, Distributed computation, Operating systems, UNIX, Virtual memory, Paging, VAX, Inter-process communication
1	Özalp Babaoglu, William N. Joy	Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits.	SOSP	1981	DBLP DOI BibTeX RDF	UNIX, VAX
1	Edward D. Lazowska, Henry M. Levy, Guy T. Almes, Michael J. Fischer, Robert J. Fowler, Stephen C. Vestal	The Architecture of the Eden System.	SOSP	1981	DBLP DOI BibTeX RDF
1	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.	SOSP	1981	DBLP DOI BibTeX RDF	LOCUS
1	Hugh C. Lauer	Observations on the Development of an Operating System.	SOSP	1981	DBLP DOI BibTeX RDF	System classification, Software engineering, Operating system, System development, Personal computer, Pilot
1	Marek Fridrich, William J. Older	The Felix File System.	SOSP	1981	DBLP DOI BibTeX RDF
1	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.	SOSP	1981	DBLP DOI BibTeX RDF
1	John M. Rushby	Design and Verification of Secure Systems.	SOSP	1981	DBLP DOI BibTeX RDF
1	Joel F. Bartlett	A NonStop Kernel.	SOSP	1981	DBLP DOI BibTeX RDF
1	Alfred Z. Spector	Performing Remore Operations Efficiently on a Local Computer Network (Summary).	SOSP	1981	DBLP DOI BibTeX RDF
1	Liba Svobodova	A Reliable Object-Oriented Data Repository for a Distributed Computer System.	SOSP	1981	DBLP DOI BibTeX RDF	Atomic update, Distributed data storage system, Optical disk, Memory management, Server, Crash recovery, Stable storage
1	James G. Mitchell, Jeremy Dion	A Comparison of Two Network-Based File Servers.	SOSP	1981	DBLP DOI BibTeX RDF
1	Keith A. Lantz, Richard F. Rashid	Virtual Terminal Management in a Multiple Process Environment.	SOSP	1979	DBLP DOI BibTeX RDF
1	David P. Reed	Implementing Atomic Actions on Decentralized Data.	SOSP	1979	DBLP DOI BibTeX RDF
1	Edward F. Gehringer	Variable-Length Capabilities as a Solution to the Small-Object Problem.	SOSP	1979	DBLP DOI BibTeX RDF
1	M. D. Canon, D. H. Fritz, John H. Howard, T. D. Howell, Michael F. Mitoma, Juan Rodriguez-Rossel	A Virtual Machine Emulator for Performance Evaluation (Summary). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF
1	William H. Paxton	A Client-Based Transaction System to Maintain Data Integrity.	SOSP	1979	DBLP DOI BibTeX RDF
1	Douglas Cook	In Support of Domain Structure for Operating Systems.	SOSP	1979	DBLP DOI BibTeX RDF
1	David K. Gifford	Weighted Voting for Replicated Data.	SOSP	1979	DBLP DOI BibTeX RDF	File suite, Weak representative, Computer network, Transaction, File system, Locking, Quorum, Replicated data, Representative, Weighted voting
1	Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek	Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF	UNIX
1	Butler W. Lampson, Robert F. Sproull	An Open Operating System for a Single-User Machine.	SOSP	1979	DBLP DOI BibTeX RDF
1	Guy T. Almes, Edward D. Lazowska	The Behavior of Ethernet-Like Computer Communication Networks.	SOSP	1979	DBLP DOI BibTeX RDF	Local area computer network, Supervisory system design and evaluation, Packet switching, Distributed computing system, Broadcast communication
1	Roger M. Needham	Systems Aspects of the Cambridge Ring.	SOSP	1979	DBLP DOI BibTeX RDF
1	Toby Bloom	Evaluating Synchronization Mechanisms.	SOSP	1979	DBLP DOI BibTeX RDF
1	John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu	Medusa: An Experiment in Distributed Operating System Structure (Summary). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF
1	Warren A. Montgomery	Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data.	SOSP	1979	DBLP DOI BibTeX RDF
1	Anita K. Jones, Robert J. Chansler Jr., Ivor Durham, Karsten Schwan, Steven R. Vegdahl	StarOS, a Multiprocessor Operating System for the Support of Task Forces.	SOSP	1979	DBLP DOI BibTeX RDF	Cm/STAROS
1	Michael D. Schroeder, Anita K. Jones (eds.)	Proceedings of the Seventh Symposium on Operating System Principles, SOSP 1979, Asilomar Conference Grounds, Pacific Grove, California, USA, 10-12, December 1979	SOSP	1979	DBLP DOI BibTeX RDF
1	Butler W. Lampson, David D. Redell	Experience with Processes and Monitors in Mesa (Summary). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF	MESA
1	Matt Bishop, Lawrence Snyder	The Transfer of Information and Authority in a Protection System.	SOSP	1979	DBLP DOI BibTeX RDF
1	Barbara H. Liskov	Primitives for Distributed Computing.	SOSP	1979	DBLP DOI BibTeX RDF
1	Richard P. Reitman	A Mechanism for Information Control in Parallel Systems.	SOSP	1979	DBLP DOI BibTeX RDF	Axiomatic logic, Information control, Concurrency, Synchronization, Consistency, Information security
1	B. Kumar, Timothy A. Gonsalves	Modelling and Analysis of Distributed Software Systems.	SOSP	1979	DBLP DOI BibTeX RDF
1	Daniel C. Swinehart, Gene McDaniel, David R. Boggs	WFS: A Simple Shared File System for a Distributed Environment.	SOSP	1979	DBLP DOI BibTeX RDF
1	David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell	Pilot: An Operating System for a Personal Computer (Summary). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF	PILOT, MESA
1	Marvin H. Solomon, Raphael A. Finkel	The ROSCOE Distributed Operating System.	SOSP	1979	DBLP DOI BibTeX RDF
1	Lawrence Snyder	On the Synthesis and Analysis of Protection Systems.	SOSP	1977	DBLP DOI BibTeX RDF
1	Arvind, Kim P. Gostelow, Wil Plouffe	Indeterminancy, Monitors, and Dataflow.	SOSP	1977	DBLP DOI BibTeX RDF	ID
1	Roger M. Needham, R. D. H. Walker	The Cambridge CAP Computer and its Protection System.	SOSP	1977	DBLP DOI BibTeX RDF
1	Michael D. Schroeder, David D. Clark, Jerome H. Saltzer	The Multics Kernel Design Project.	SOSP	1977	DBLP DOI BibTeX RDF	Multics, Type extension, Verifiable systems, MULTICS, Security, Operating systems, Protection, Security kernel, Supervisors
1	Roger M. Needham	The CAP Project - An Interim Evaluation.	SOSP	1977	DBLP DOI BibTeX RDF
1	Saul Rosen, Peter J. Denning (eds.)	Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, November 16-18, 1977	SOSP	1977	DBLP DOI BibTeX RDF
1	Clarence A. Ellis	Consistency and Correctness of Duplicate Database Systems.	SOSP	1977	DBLP DOI BibTeX RDF
1	Gene McDaniel	METRIC: A Kernel Instrumentation System for Distributed Environments.	SOSP	1977	DBLP DOI BibTeX RDF
1	Ellis S. Cohen	Information Transmission in Computational Systems.	SOSP	1977	DBLP DOI BibTeX RDF
1	David L. Russell	Process Backup in Producer-Consumer Systems.	SOSP	1977	DBLP DOI BibTeX RDF	Asynchronous programming, Domino effect, Message facilities, State restoration, Software fault tolerance, Error recovery, Interprocess communication
1	Liam M. Casey, N. H. Shelness	A Domain Structure for Distributed Computer Systems.	SOSP	1977	DBLP DOI BibTeX RDF
1	Michael L. Powell	The DEMOS File System.	SOSP	1977	DBLP DOI BibTeX RDF
1	Warren A. Montgomery	Measurements of Sharing in Multics.	SOSP	1977	DBLP DOI BibTeX RDF	Multics, MULTICS, Distributed systems, Measurements, Sharing, Virtual memory, Program behavior
1	Roger M. Needham, Andrew Birrell	The Cap Filing System.	SOSP	1977	DBLP DOI BibTeX RDF
1	Takashi Masuda	Effect of Program Localities on Memory Management Strategies.	SOSP	1977	DBLP DOI BibTeX RDF	Performance evaluation, Memory management, Multiprogramming, Program behavior, Program locality, Computer system simulation
1	Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson	Proving Multilevel Security of a System Design.	SOSP	1977	DBLP DOI BibTeX RDF
1	Klaus-Peter Löhr	Beyond Concurrent Pascal.	SOSP	1977	DBLP DOI BibTeX RDF	Language reliability, System implementation languages, System kernels, Concurrent Pascal, Traps
1	David R. Cheriton, Michael A. Malcolm, Lawrence S. Melen, Gary R. Sager	Thoth, a Portable Real-Time Operating System (Extended Abstract). (long version: CACM)	SOSP	1977	DBLP DOI BibTeX RDF	Thoth
1	Dominique Potier	Analysis of Demand Paging Policies with Swapped Working Sets.	SOSP	1977	DBLP DOI BibTeX RDF	Demand paging algorithms, Program behaviour, Working-set memory management, Virtual memory, Queueing network model, Swapping, Semi-Markov model, Paging algorithms
1	David P. Reed, Rajendra K. Kanodia	Synchronization with Eventcounts and Sequencers (Extended Abstract). (long version: CACM)	SOSP	1977	DBLP DOI BibTeX RDF
1	Forest Baskett, John H. Howard, John T. Montague	Task Communication in DEMOS.	SOSP	1977	DBLP DOI BibTeX RDF
1	J. Y. Babonneau, M. S. Achard, Gérard Morisset, M. B. Mounajjed	Automatic and General Solution to the Adaption of Programs in a Paging Environment.	SOSP	1977	DBLP DOI BibTeX RDF
1	Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman	On Protection in Operating System.	SOSP	1975	DBLP DOI BibTeX RDF
1	Philippe A. Janson	Dynamic Linking and Environment Initialization in a Multi-Domain Process.	SOSP	1975	DBLP DOI BibTeX RDF
1	K. Mani Chandy, P. F. Reynolds	Scheduling Partially Ordered Tasks with Probabilistic Execution Times.	SOSP	1975	DBLP DOI BibTeX RDF
1	Edward G. Coffman Jr., Isi Mitrani	Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands.	SOSP	1975	DBLP DOI BibTeX RDF
1	Steven B. Lipner	A Comment on the Confinement Problem.	SOSP	1975	DBLP DOI BibTeX RDF
1	Bruce W. Arden, Alan D. Berenbaum	A Multi-Microprocessor Computer System Architecture.	SOSP	1975	DBLP DOI BibTeX RDF
1	William A. Wulf, Roy Levin, C. Pierson	Overview of the HYDRA Operating System Development.	SOSP	1975	DBLP DOI BibTeX RDF
1	Gérald Belpaire, Nai-Ting Hsu	Formal Properties of Recursive Virtual Machine Architectures.	SOSP	1975	DBLP DOI BibTeX RDF
1	Ellis S. Cohen, David Jefferson	Protection in the HYDRA Operating System.	SOSP	1975	DBLP DOI BibTeX RDF
1	Ashok K. Agrawala, Raymond M. Bryant	Models of Memory Scheduling.	SOSP	1975	DBLP DOI BibTeX RDF
1	Robert E. Brundage, Alan P. Batson	Computational Processor Demands of Algol-60 Programs.	SOSP	1975	DBLP DOI BibTeX RDF
1	Peter J. Denning, Kevin C. Kahn	A Study of Program Locality and Lifetime Functions.	SOSP	1975	DBLP DOI BibTeX RDF
1	Gregory L. Chesson	The Network Unix System.	SOSP	1975	DBLP DOI BibTeX RDF
1	Roy Levin, Ellis S. Cohen, William M. Corwin, Fred J. Pollack, William A. Wulf	Policy/Mechanism Separation in HYDRA.	SOSP	1975	DBLP DOI BibTeX RDF
1	John D. Bagley, E. R. Floto, S. C. Hsieh, V. Watson	Sharing Data and Services in a Virtual Machine System.	SOSP	1975	DBLP DOI BibTeX RDF
1	Eralp A. Akkoyunlu, K. Ekanandham, R. V. Huber	Some Constraints and Tradeoffs in the Design of Network Communications.	SOSP	1975	DBLP DOI BibTeX RDF
1	Eitan Sadeh	An Analysis of the Performance of the Page Fault Frequency (PFF) Replacement Algorithm.	SOSP	1975	DBLP DOI BibTeX RDF
1	Douglas L. Bayer, H. Lycklama	MERT - A Multi-Environment Real-Time Operating System.	SOSP	1975	DBLP DOI BibTeX RDF
1	Gerald J. Popek, Charles S. Kline	The PDP-11 Virtual Machine Architecture: A Case Study.	SOSP	1975	DBLP DOI BibTeX RDF
1	Bernard P. Cosell, Paul R. Johnson, J. H. Malman, Richard E. Schantz, J. Sussman, Robert H. Thomas, David C. Walden	An Operating System for Computer Resource Sharing.	SOSP	1975	DBLP DOI BibTeX RDF
1	David L. Russell, Thomas H. Bredt	Error Resynchronization in Producer-Consumer Systems.	SOSP	1975	DBLP DOI BibTeX RDF
1	Anita K. Jones, Richard J. Lipton	The Enforcement of Security Policies for Computation.	SOSP	1975	DBLP DOI BibTeX RDF
1	J. L. Pruitt, W. W. Case	Architecture of a Real-Time Operating System.	SOSP	1975	DBLP DOI BibTeX RDF
1	Richard Y. Kain	How to Evaluate Page Replacement Algorithms.	SOSP	1975	DBLP DOI BibTeX RDF
1	Michael D. Schroeder	Engineering a Security Kernel for Multics.	SOSP	1975	DBLP DOI BibTeX RDF
1	James C. Browne, Juan Rodriguez-Rosell (eds.)	Proceedings of the Fifth Symposium on Operating System Principles, SOSP 1975, The University of Texas at Austin, Austin, Texas, USA, November 19-21, 1975	SOSP	1975	DBLP DOI BibTeX RDF
1	Shui Lam, Ravi Sethi	Analysis of a Level Algorithm for Preemptive Scheduling.	SOSP	1975	DBLP DOI BibTeX RDF
1	Liba Svobodova	Online System Performance Measurements with Software and Hybrid Monitors.	SOSP	1973	DBLP DOI BibTeX RDF
1	John L. Bruno, Edward G. Coffman Jr., Ravi Sethi	Scheduling Independent Tasks to Reduce Mean Finishing Time (Extended Abstract).	SOSP	1973	DBLP DOI BibTeX RDF
1	C. J. Stephenson	On the Structure and Control of Commands.	SOSP	1973	DBLP DOI BibTeX RDF
1	Jeffrey D. Ullman	Polynomial Complete Scheduling Problems.	SOSP	1973	DBLP DOI BibTeX RDF
1	Michael J. Spier, Thomas N. Hastings, David N. Cutler	An Experimental Implementation on the Kernel/Domain Architecture.	SOSP	1973	DBLP DOI BibTeX RDF
1	Samuel H. Fuller	Random Arrival and the MTPT Drum Scheduling Discipline.	SOSP	1973	DBLP DOI BibTeX RDF
1	Arvind, Richard Y. Kain, Eitan Sadeh	On Reference String Generation Processes.	SOSP	1973	DBLP DOI BibTeX RDF
1	Clarence A. Ellis	On the Propability of Deadline in Computer Systems.	SOSP	1973	DBLP DOI BibTeX RDF
1	Paul G. Sorenson	Interprocess Communication in Real-Time Systems.	SOSP	1973	DBLP DOI BibTeX RDF
1	M. R. Garey, Ronald L. Graham	Bounds on Scheduling with Limited Resources.	SOSP	1973	DBLP DOI BibTeX RDF

Publications at "SOSP"( http://dblp.L3S.de/Venues/SOSP )