• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 27 matches

• 1975
• 
  Ashok K. Agrawala, Raymond M. Bryant:
  Models of Memory Scheduling. SOSP 1975: 217-222
• 
  Eralp A. Akkoyunlu, K. Ekanandham, R. V. Huber:
  Some Constraints and Tradeoffs in the Design of Network Communications. SOSP 1975: 67-74
• 
  Bruce W. Arden, Alan D. Berenbaum:
  A Multi-Microprocessor Computer System Architecture. SOSP 1975: 114-121
• 
  John D. Bagley, E. R. Floto, S. C. Hsieh, V. Watson:
  Sharing Data and Services in a Virtual Machine System. SOSP 1975: 82-88
• 
  Douglas L. Bayer, H. Lycklama:
  MERT - A Multi-Environment Real-Time Operating System. SOSP 1975: 33-42
• 
  Gérald Belpaire, Nai-Ting Hsu:
  Formal Properties of Recursive Virtual Machine Architectures. SOSP 1975: 89-96
• 
  Robert E. Brundage, Alan P. Batson:
  Computational Processor Demands of Algol-60 Programs. SOSP 1975: 161-168
• 
  K. Mani Chandy, P. F. Reynolds:
  Scheduling Partially Ordered Tasks with Probabilistic Execution Times. SOSP 1975: 169-177
• 
  Gregory L. Chesson:
  The Network Unix System. SOSP 1975: 60-66
• 
  Edward G. Coffman Jr., Isi Mitrani:
  Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands. SOSP 1975: 187-191
• 
  Ellis S. Cohen, David Jefferson:
  Protection in the HYDRA Operating System. SOSP 1975: 141-160
• 
  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: 75-81
• 
  Peter J. Denning, Kevin C. Kahn:
  A Study of Program Locality and Lifetime Functions. SOSP 1975: 207-216
• 
  Michael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman:
  On Protection in Operating System. SOSP 1975: 14-24
• 
  Philippe A. Janson:
  Dynamic Linking and Environment Initialization in a Multi-Domain Process. SOSP 1975: 43-50
• 
  Anita K. Jones, Richard J. Lipton:
  The Enforcement of Security Policies for Computation. SOSP 1975: 197-206
• 
  Richard Y. Kain:
  How to Evaluate Page Replacement Algorithms. SOSP 1975: 1-5
• 
  Shui Lam, Ravi Sethi:
  Analysis of a Level Algorithm for Preemptive Scheduling. SOSP 1975: 178-186
• 
  Roy Levin, Ellis S. Cohen, William M. Corwin, Fred J. Pollack, William A. Wulf:
  Policy/Mechanism Separation in HYDRA. SOSP 1975: 132-140
• 
  Steven B. Lipner:
  A Comment on the Confinement Problem. SOSP 1975: 192-196
• 
  Gerald J. Popek, Charles S. Kline:
  The PDP-11 Virtual Machine Architecture: A Case Study. SOSP 1975: 97-105
• 
  J. L. Pruitt, W. W. Case:
  Architecture of a Real-Time Operating System. SOSP 1975: 51-59
• 
  David L. Russell, Thomas H. Bredt:
  Error Resynchronization in Producer-Consumer Systems. SOSP 1975: 106-113
• 
  Eitan Sadeh:
  An Analysis of the Performance of the Page Fault Frequency (PFF) Replacement Algorithm. SOSP 1975: 6-13
• 
  Michael D. Schroeder:
  Engineering a Security Kernel for Multics. SOSP 1975: 25-32
• 
  William A. Wulf, Roy Levin, C. Pierson:
  Overview of the HYDRA Operating System Development. SOSP 1975: 122-131
• 
  James C. Browne, Juan Rodriguez-Rosell:
  Proceedings of the Fifth Symposium on Operating System Principles, SOSP 1975, The University of Texas at Austin, Austin, Texas, USA, November 19-21, 1975. ACM 1975 [contents]