Search results for "SOSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Frank B. Schmuck, James C. Wyllie	Experience with Transactions in QuickSilver.	SOSP	1991	DBLP DOI BibTeX RDF	QuickSilver
1	Keith Muller, Joseph Pasquale	A High Performance Multi-Structured File System Design.	SOSP	1991	DBLP DOI BibTeX RDF
1	Mary Baker, John H. Hartman, Michael D. Kupfer, Ken Shirriff, John K. Ousterhout	Measurements of a Distributed File System. (Corrections: Operating Systems Review 27(1): 7-10 (1993))	SOSP	1991	DBLP DOI BibTeX RDF	UNIX, Sun Workstation
1	P. Venkat Rangan, Harrick M. Vin	Designing File Systems for Digital Video and Audio.	SOSP	1991	DBLP DOI BibTeX RDF	Sun Workstation
1	John B. Carter, John K. Bennett, Willy Zwaenepoel	Implementation and Performance of Munin.	SOSP	1991	DBLP DOI BibTeX RDF
1	Raj Vaswani, John Zahorjan	The Implications of Cache Affinity on Processor Scheduling for Multiprogrammed, Shared Memory Multiprocessors.	SOSP	1991	DBLP DOI BibTeX RDF
1	Ramesh Govindan, David P. Anderson	Scheduling and IPC Mechanisms for Continuous Media.	SOSP	1991	DBLP DOI BibTeX RDF
1	Richard P. LaRowe Jr., Carla Schlatter Ellis, Laurence S. Kaplan	The Robustness of NUMA Memory Management.	SOSP	1991	DBLP DOI BibTeX RDF
1	Mendel Rosenblum, John K. Ousterhout	The Design and Implementation of a Log-Structured File System.	SOSP	1991	DBLP DOI BibTeX RDF
1	Thomas L. Rodeheffer, Michael D. Schroeder	Automatic Reconfiguration in Autonet.	SOSP	1991	DBLP DOI BibTeX RDF	ARPANET
1	Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson 0001, Liuba Shrira, Michael Williams	Replication in the Harp File System.	SOSP	1991	DBLP DOI BibTeX RDF	UNIX
1	David K. Gifford, Pierre Jouvelot, Mark A. Sheldon, James W. O'Toole Jr.	Semantic File Systems.	SOSP	1991	DBLP DOI BibTeX RDF
1	Richard Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean	Using Continuations to Implement Thread Management and Communication in Operating Systems.	SOSP	1991	DBLP DOI BibTeX RDF	Mach
1	Anna R. Karlin, Kai Li 0001, Mark S. Manasse, Susan S. Owicki	Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor.	SOSP	1991	DBLP DOI BibTeX RDF
1	Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber	Authentication in Distributed Systems: Theory and Practice.	SOSP	1991	DBLP DOI BibTeX RDF
1	William J. Bolosky, Robert P. Fitzgerald, Michael L. Scott	Simple But Effective Techniques for NUMA Memory Management.	SOSP	1989	DBLP DOI BibTeX RDF
1	T. Mark A. Lomas, Li Gong, Jerome H. Saltzer, Roger M. Needham	Reducing Risks from Poorly Chosen Keys.	SOSP	1989	DBLP DOI BibTeX RDF
1	Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, Henry M. Levy	Lightweight Remote Procedure Call.	SOSP	1989	DBLP DOI BibTeX RDF
1	Cary G. Gray, David R. Cheriton	Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency.	SOSP	1989	DBLP DOI BibTeX RDF
1	Alan L. Cox, Robert J. Fowler	The Implementation of a Coherent Memory Abstraction on a NUMA Multiprocessor: Experiences with PLATINUM.	SOSP	1989	DBLP DOI BibTeX RDF
1	Mark D. Weiser, Alan J. Demers, Carl Hauser	The Portable Common Runtime Approach to Interoperability.	SOSP	1989	DBLP DOI BibTeX RDF
1	V. Srinivasan, Jeffrey C. Mogul	Spritely NFS: Experiments with Cache-Consistency Protocols.	SOSP	1989	DBLP DOI BibTeX RDF
1	Dan Duchamp	Analysis of Transaction Management Performance.	SOSP	1989	DBLP DOI BibTeX RDF
1	Andrew Tucker, Anoop Gupta	Process Control and Scheduling Issues for Multiprogrammed Shared-Memory Multiprocessors.	SOSP	1989	DBLP DOI BibTeX RDF
1	Andrew Braunstein, Mark Riley, John Wilkes	Improving the Efficiency of UNIX File Buffer Caches.	SOSP	1989	DBLP DOI BibTeX RDF	UNIX
1	Brett D. Fleisch, Gerald J. Popek	Mirage: A Coherent Distributed Shared Memory Design.	SOSP	1989	DBLP DOI BibTeX RDF
1	Norman C. Hutchinson, Larry L. Peterson, Mark B. Abbott, Sean W. O'Malley	RPC in the x-Kernel: Evaluating New Design Techniques.	SOSP	1989	DBLP DOI BibTeX RDF
1	Vadim Abrossimov, Marc Rozier, Marc Shapiro 0001	Generic Virtual Memory Management for Operating System Kernels.	SOSP	1989	DBLP DOI BibTeX RDF
1	Jeffrey S. Chase, Franz G. Amador, Edward D. Lazowska, Henry M. Levy, Richard J. Littlefield	The Amber System: Parallel Programming on a Network of Multiprocessors.	SOSP	1989	DBLP DOI BibTeX RDF	C++
1	Bryan S. Rosenburg	Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory Multiprocessors.	SOSP	1989	DBLP DOI BibTeX RDF
1	Michael Burrows, Martín Abadi, Roger M. Needham	A Logic of Authentication.	SOSP	1989	DBLP DOI BibTeX RDF
1	David A. Edwards, Martin S. McKendry	Exploiting Read-Mostly Workloads in The FileNet File System.	SOSP	1989	DBLP DOI BibTeX RDF
1	Ronald E. Barkley, T. Paul Lee	A Lazy Buddy System Bounded by Two Coalescing Delays per Class.	SOSP	1989	DBLP DOI BibTeX RDF
1	Henry Massalin, Calton Pu	Threads and Input/Output in the Synthesis Kernel.	SOSP	1989	DBLP DOI BibTeX RDF
1	Michael D. Schroeder, Michael Burrows	Performance of Firefly RPC.	SOSP	1989	DBLP DOI BibTeX RDF
1	Gregory R. Andrews (eds.)	Proceedings of the Twelfth ACM Symposium on Operating System Principles, SOSP 1989, The Wigwam, Litchfield Park, Arizona, USA, December 3-6, 1989	SOSP	1989	DBLP DOI BibTeX RDF
1	Barbara Liskov, Dorothy Curtis, Paul Johnson 0001, Robert Scheifler	Implementation of Argus.	SOSP	1987	DBLP DOI BibTeX RDF	ARGUS
1	Ross S. Finlayson, David R. Cheriton	Log Files: An Extended File Service Exploiting Write-Once Storage.	SOSP	1987	DBLP DOI BibTeX RDF
1	Jeffrey C. Mogul, Richard F. Rashid, Michael J. Accetta	The Packet Filter: An Efficient Mechanism for User-level Network Code.	SOSP	1987	DBLP DOI BibTeX RDF
1	Albert Chang, Mark F. Mergen	801 Storage: Architecture and Programming (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 28-50(1988))	SOSP	1987	DBLP DOI BibTeX RDF
1	George Varghese, Anthony Lauck	Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility.	SOSP	1987	DBLP DOI BibTeX RDF
1	Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin	Synchronization Primitives for a Multiprocessor: A Formal Specification.	SOSP	1987	DBLP DOI BibTeX RDF
1	David A. Nichols	Using Idle Workstations in a Shared Computing Environment.	SOSP	1987	DBLP DOI BibTeX RDF
1	Eric Jul, Henry M. Levy, Norman C. Hutchinson, Andrew P. Black	Fine-Grained Mobility in the Emerald System (Extended Abstract).	SOSP	1987	DBLP DOI BibTeX RDF
1	Robert B. Hagmann	Reimplementing the Cedar File System Using Logging and Group Commit.	SOSP	1987	DBLP DOI BibTeX RDF	CEDAR
1	Edward R. Zayas	Attacking the Process Migration Bottleneck.	SOSP	1987	DBLP DOI BibTeX RDF
1	David R. Jefferson, Brian Beckman, Frederick Wieland, Leo Blume, Mike Di Loreto, Phil Hontalas, Pierre Laroche, Kathy Sturdevant, Jack Tupman, L. Van Warren, John J. Wedel, Herb Younger, Steve Bellenot	Distributed Simulation and the Time Wrap Operating System.	SOSP	1987	DBLP DOI BibTeX RDF
1	Roger L. Haskin, Yoni Malachi, Wayne Sawdon, Gregory Chan	Recovery Management in QuickSilver (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 82-108(1988))	SOSP	1987	DBLP DOI BibTeX RDF
1	Andrew Birrell, Michael B. Jones, Edward Wobber	A Simple and Efficient Implementation for Small Databases.	SOSP	1987	DBLP DOI BibTeX RDF
1	Michael N. Nelson, Brent B. Welch, John K. Ousterhout	Caching in the Sprite Network File System (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 134-154(1988))	SOSP	1987	DBLP DOI BibTeX RDF
1	Michael F. Schwartz, John Zahorjan, David Notkin	A Name Service for Evolving, Heterogeneous Systems.	SOSP	1987	DBLP DOI BibTeX RDF
1	Les Belady (eds.)	Proceedings of the Eleventh ACM Symposium on Operating System Principles, SOSP 1987, Stouffer Austin Hotel, Austin, Texas, USA, November 8-11, 1987	SOSP	1987	DBLP DOI BibTeX RDF
1	Douglas B. Terry, Daniel C. Swinehart	Managing Stored Voice in the Etherphone System (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 3-27(1988))	SOSP	1987	DBLP DOI BibTeX RDF
1	John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, Mahadev Satyanarayanan, Robert N. Sidebotham, Michael J. West	Scale and Performance in a Distributed File System (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 51-81(1988))	SOSP	1987	DBLP DOI BibTeX RDF
1	Kenneth P. Birman, Thomas A. Joseph	Exploiting Virtual Synchrony in Distributed Systems.	SOSP	1987	DBLP DOI BibTeX RDF
1	Michael Young, Avadis Tevanian, Richard F. Rashid, David B. Golub, Jeffrey L. Eppinger, Jonathan Chew, William J. Bolosky, David L. Black 0001, Robert V. Baron	The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System.	SOSP	1987	DBLP DOI BibTeX RDF
1	Mohammad Malkawi, Janak H. Patel	Compiler Directed Memory Management Policy For Numerical Programs.	SOSP	1985	DBLP DOI BibTeX RDF
1	Kenneth P. Birman	Replication and Fault-Tolerance in the ISIS System.	SOSP	1985	DBLP DOI BibTeX RDF
1	John K. Ousterhout, Hervé Da Costa, David Harrison, John A. Kunze, Michael D. Kupfer, James G. Thompson	A Trace-Driven Analysis of the UNIX 4.2 BSD File System.	SOSP	1985	DBLP DOI BibTeX RDF	UNIX
1	Brian M. Oki, Barbara Liskov, Robert Scheifler	Reliable Object Storage to Support Atomic Actions.	SOSP	1985	DBLP DOI BibTeX RDF
1	Forest Baskett, Andrew Birrell, David R. Cheriton (eds.)	Proceedings of the Tenth ACM Symposium on Operating System Principles, SOSP 1985, Orcas Island, Washington, USA, December 1-4, 1985	SOSP	1985	DBLP DOI BibTeX RDF
1	Alfred Z. Spector, Dean S. Daniels, Dan Duchamp, Jeffrey L. Eppinger, Randy F. Pausch	Distributed Transactions for Reliable Systems.	SOSP	1985	DBLP DOI BibTeX RDF
1	David D. Clark	The Structuring of Systems Using Upcalls.	SOSP	1985	DBLP DOI BibTeX RDF
1	Marvin Theimer, Keith A. Lantz, David R. Cheriton	Preemptable Remote Execution Facilities for the V-System.	SOSP	1985	DBLP DOI BibTeX RDF
1	Matthew J. Weinstein, Thomas W. Page Jr., Brian Livezey, Gerald J. Popek	Transactions and Synchronization in a Distributed Operating System.	SOSP	1985	DBLP DOI BibTeX RDF
1	Nicholas Carriero, David Gelernter	The S/Net's Linda Kernel (extended abstract). (long version: ACM Trans. Comput. Syst. 4(2): 110-129(1986))	SOSP	1985	DBLP DOI BibTeX RDF	SNet, Linda
1	Steven P. Reinhardt	A Data-Flow Approach to Multitasking ob CRAY X-MP Compputers.	SOSP	1985	DBLP DOI BibTeX RDF	CRAY X-MP
1	Michael D. Schroeder, David K. Gifford, Roger M. Needham	A Caching File System For a Programmer's Workstation.	SOSP	1985	DBLP DOI BibTeX RDF
1	David K. Gifford, Robert W. Baldwin, Stephen T. Berlin, John M. Lucassen	An Architecture for Large Scale Information Systems.	SOSP	1985	DBLP DOI BibTeX RDF	broadcast packet radio, multi-database, predicate data model, remote procedure call, query routing, Community information system
1	Eric C. Cooper	Replicated Distributed Programs.	SOSP	1985	DBLP DOI BibTeX RDF
1	Mahadev Satyanarayanan, John H. Howard, David A. Nichols, Robert N. Sidebotham, Alfred Z. Spector, Michael J. West	The ITC Distributed File System: Principles and Design.	SOSP	1985	DBLP DOI BibTeX RDF
1	Danco Davcev, Walter A. Burkhard	Consistency and Recovery Control for Replicated Files.	SOSP	1985	DBLP DOI BibTeX RDF	Gemini, dynamic voting, mutual consistency, local area network, file system, quorum, replicated file
1	Andrew P. Black	Supporting Distributed Applications: Experience with Eden.	SOSP	1985	DBLP DOI BibTeX RDF
1	Sape J. Mullender, Andrew S. Tanenbaum	A Distributed File Service Based on Optimistic Concurrency Control.	SOSP	1985	DBLP DOI BibTeX RDF
1	Nancy P. Kronenberg, Henry M. Levy, William D. Strecker	VAXclusters: A Closely-Coupled Distributed System (Abstract). (long version: ACM Trans. Comput. Syst. 4(2): 130-146(1986))	SOSP	1985	DBLP DOI BibTeX RDF	VAX/VMS
1	Robert P. Fitzgerald, Richard F. Rashid	The Integration of Virtual Memory Management and Interprocess Communication in Accent (Abstract). (long version: ACM Trans. Comput. Syst. 4(2): 147-177(1986))	SOSP	1985	DBLP DOI BibTeX RDF
1	Jerome H. Saltzer, Roy Levin, David D. Redell (eds.)	Proceedings of the Ninth ACM Symposium on Operating System Principles, SOSP 1983, Bretton Woods, New Hampshire, USA, October 10-13, 1983	SOSP	1983	DBLP DOI BibTeX RDF
1	Jonathan M. Silverman	Reflections on the Verification of the Security of an Operating System Kernel.	SOSP	1983	DBLP DOI BibTeX RDF	Confinement channels, Operating system kernal, Verification, Specification, Information flow, Multilevel security
1	Andrew Birrell, Bruce Jay Nelson	Implementing Remote Procedure Calls (Abstract). (long version: ACM Trans. Comput. Syst. 2(1): 39-59(1984))	SOSP	1983	DBLP DOI BibTeX RDF
1	Erik T. Mueller, Johanna D. Moore, Gerald J. Popek	A Nested Transaction Mechanism for LOCUS.	SOSP	1983	DBLP DOI BibTeX RDF	LOCUS
1	Daniel H. Craft	Resource Management In A Decentralized System.	SOSP	1983	DBLP DOI BibTeX RDF
1	M. F. Richardson, Roger M. Needham	The TRIPOS Filing Machine, a Front End to a File Server.	SOSP	1983	DBLP DOI BibTeX RDF
1	David R. Cheriton, Willy Zwaenepoel	The Distributed V Kernel and its Performance for Diskless Workstations.	SOSP	1983	DBLP DOI BibTeX RDF	V, Sun
1	C. J. Stephenson	Fast Fits.	SOSP	1983	DBLP BibTeX RDF
1	Loretta Guarino Reid, Philip L. Karlton	A File System Supporting Cooperation between Programs.	SOSP	1983	DBLP DOI BibTeX RDF
1	Bruce G. Lindsay 0001, Laura M. Haas, C. Mohan 0001, Paul F. Wilms, Robert A. Yost	Computation & Communication in R*: A Distributed Database Manager (Extended Abstract). (long version: ACM Trans. Comput. Syst. 2(1): 24-38(1984))	SOSP	1983	DBLP DOI BibTeX RDF
1	Michael L. Powell, David L. Presotto	PUBLISHING: A Reliable Broadcast Communication Mechanism.	SOSP	1983	DBLP DOI BibTeX RDF
1	Andrew P. Black	An Asymmetric Stream Communication System.	SOSP	1983	DBLP DOI BibTeX RDF
1	Bruce J. Walker, Gerald J. Popek, Robert English, Charles S. Kline, Greg Thiel	The LOCUS Distributed Operating System.	SOSP	1983	DBLP DOI BibTeX RDF	LOCUS
1	Michael L. Powell, Barton P. Miller	Process Migration in DEMOS/MP.	SOSP	1983	DBLP DOI BibTeX RDF
1	Butler W. Lampson	Hints for Computer System Design.	SOSP	1983	DBLP DOI BibTeX RDF
1	Anita Borg, Jim Baumbach, Sam Glazer	A Message System Supporting Fault Tolerance.	SOSP	1983	DBLP DOI BibTeX RDF
1	Michael D. Schroeder, Andrew Birrell, Roger M. Needham	Experience with Grapevine: The Growth of a Distributed System (Summary). (long version: ACM Trans. Comput. Syst. 2(1): 3-23(1984))	SOSP	1983	DBLP DOI BibTeX RDF	Grapevine
1	Arthur J. Bernstein, Paul K. Harter Jr.	Proving Real-Time Properties of Programs with Temporal Logic.	SOSP	1981	DBLP DOI BibTeX RDF
1	A. J. Herbert, Roger M. Needham	Sequencing Computation Steps in a Network.	SOSP	1981	DBLP DOI BibTeX RDF
1	Matt Bishop	Hierarchical Take-Grant Protection Systems.	SOSP	1981	DBLP DOI BibTeX RDF
1	Fred J. Pollack, Kevin C. Kahn, Roy M. Wilkinson	The iMAX-432 Object Filing System.	SOSP	1981	DBLP DOI BibTeX RDF
1	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.	SOSP	1981	DBLP DOI BibTeX RDF	UNIX
1	John Howard, David P. Reed (eds.)	Proceedings of the Eighth Symposium on Operating System Principles, SOSP 1981, Asilomar Conference Grounds, Pacific Grove, California, USA, December 14-16, 1981	SOSP	1981	DBLP DOI BibTeX RDF
1	Mahadev Satyanarayanan	A Study of File Sizes and Functional Lifetimes.	SOSP	1981	DBLP DOI BibTeX RDF

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