|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 398 occurrences of 272 keywords
|
|
|
Results
Found 779 publication records. Showing 779 according to the selection in the facets
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 |
|
Displaying result #601 - #700 of 779 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|