• 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 21 matches

• 1985
• 
  James E. Allchin, Martin S. McKendry:
  Synchronization and Recovery of Actions. ACM SIGOPS Oper. Syst. Rev. 19(1): 32-45 (1985)
• 
  David R. Cheriton:
  Preliminary Thoughts on Problem-oriented Shared Memory: A Decentralized Approach to Distributed Systems. ACM SIGOPS Oper. Syst. Rev. 19(4): 26-33 (1985)
• 
  David R. Cheriton, Andrew Birrell:
  Report of the Program Committee for the 10th SOSP. ACM SIGOPS Oper. Syst. Rev. 19(4): 2-4 (1985)
• 
  Nissim Francez, Brent Hailpern:
  Script: A Communication Abstraction Mechanism. ACM SIGOPS Oper. Syst. Rev. 19(2): 53-67 (1985)
• 
  Anna Hac:
  Distributed File Systems - A Survey. ACM SIGOPS Oper. Syst. Rev. 19(1): 15-18 (1985)
• 
  Bruce K. Hadon:
  Book Review: Information Systems Design Methodologies: A Feature Analysis. Proceedings of the IFIP WG 8.1 Working Conference on Feature Analysis of Information Systems Design Methodologies, York, UK, 5-7 July 1983. ACM SIGOPS Oper. Syst. Rev. 19(4): 4-5 (1985)
• 
  Norman Hardy:
  KeyKOS Architecture. ACM SIGOPS Oper. Syst. Rev. 19(4): 8-25 (1985)
• 
  Jonathan Kepecs, Marvin H. Solomon:
  SODA: A Simplified Operating System for Distributed Applications. ACM SIGOPS Oper. Syst. Rev. 19(4): 45-56 (1985)
• 
  Arun Lakhotia:
  Implication and Equivalence I/O. ACM SIGOPS Oper. Syst. Rev. 19(1): 46-52 (1985)
• 
  Leslie Lamport:
  Solved Problems, Unsolved Problems and Non-Problems in Concurrency. ACM SIGOPS Oper. Syst. Rev. 19(4): 34-44 (1985)
• 
  Keith Loepere:
  Resolving Covert Channels within a B2 Class Secure System. ACM SIGOPS Oper. Syst. Rev. 19(3): 9-28 (1985)
• 
  Keith Marzullo, Susan S. Owicki:
  Maintaining the Time in a Distributed System. ACM SIGOPS Oper. Syst. Rev. 19(3): 44-54 (1985)
• 
  C. Mohan, Bruce G. Lindsay:
  Efficient Commit Protocols for the Tree of Process Model of Distributed Transactions. ACM SIGOPS Oper. Syst. Rev. 19(2): 40-52 (1985)
• 
  C. Mohan, Ray Strong, Sheldon J. Finkelstein:
  Method for Distributed Transaction Commit and Recovery Using Byzantine Agreement Within Clusters of Processors. ACM SIGOPS Oper. Syst. Rev. 19(3): 29-43 (1985)
• 
  Kamaljit Singh:
  On Improvements to Password Security. ACM SIGOPS Oper. Syst. Rev. 19(1): 53-60 (1985)
• 
  Lindsey L. Spratt:
  The Transaction Resolution Journal: Extending the Before Journal. ACM SIGOPS Oper. Syst. Rev. 19(3): 55-62 (1985)
• 
  Michael Stonebraker, Deborah DuBourdieux, William Edwards:
  Problems in Supporting Data Base Transactions in an Operating System Transaction Manager. ACM SIGOPS Oper. Syst. Rev. 19(1): 6-14 (1985)
• 
  Liba Svobodova:
  Workshop Summary: Operating Systems in Computer Networks, January 28-30, 1985, Rüschlikon, Switzerland. ACM SIGOPS Oper. Syst. Rev. 19(2): 6-39 (1985)
• 
  William E. Weihl:
  Data-dependent Concurrency Control and Recovery. ACM SIGOPS Oper. Syst. Rev. 19(1): 19-31 (1985)
• 
  David C. M. Wood:
  Book review: VAX/VMS Internals and Data Structures by Lawrence J. Kenah and Simon F. Bate. ACM SIGOPS Oper. Syst. Rev. 19(1): 5 (1985)
• 
  C. K. Yuen:
  On Programs, Tasks and Processes. ACM SIGOPS Oper. Syst. Rev. 19(3): 7-8 (1985)