Operating Systems Review, Volume 27, 1993

Volume 27, Number 1, January 1993

• Bruce K. Haddon:
  Book Review: Global Software: Developing Applications for the International Market by Dave Taylor. 5-6
  
• Alberto Bartoli, Sape J. Mullender, Martijn van der Valk:
  Wide-Address Spaces - Exploring the Design Space. 11-17
  
• David Mosberger:
  Memory Consistency Models. 18-26, (discussion on this paper: Operating Systems Review 27(3): 1-3 (1993))
  
• Djemal H. Abawajy:
  Orphan Problems and Remedies In Distributed Systems. 27-32
  
• Marie Rose Low, Bruce Christianson:
  Fine Grained Object Protection in Unix. 33-50
  
• Ted Hills:
  Structured Interrupts. 51-68
  
• Ian M. Leslie, Derek McAuley, Sape J. Mullender:
  Pegasus - Operating System Support for Distributed Multimedia Systems. 69-78
  
• R. Guerrero, L. Leguizamon, Raúl Héctor Gallard:
  Implementation and Evaluation of Alternative Process Schedules in Minix. 79-100
  

Volume 27, Number 2, April 1993

• C. K. Wong:
  Determining the Shorest Process Migration Paths for Program Compilation Using a Dynamic Programming Approach. 1-6
  
• Darrell D. E. Long:
  A Note on Bit-Mapped Free Sector Management. 7-9
  
• B. Clifford Neuman, Stuart G. Stubblebine:
  A Note on the Use of Timestamps as Nonces. 10-14
  
• B. R. Badrinath, Arup Acharya, Tomasz Imielinski:
  Impact of Mobility on Distributed Computations. 15-20
  
• R. Hugo Patterson, Garth A. Gibson, Mahadev Satyanarayanan:
  A Status Report on Research in Transparent Informed Prefetching. 21-34
  
• C. Kavka, M. Pritista, Raúl Héctor Gallard:
  Extending Device Management in Minix. 35-43
  

• Robbert van Renesse:
  Causal Controvery at Le Mont St.-Michel. 44-53
  
• Jean-Pierre Banâtre, Sacha Krakowiak:
  Models and Paradigms for Distributed Systems Structuring - Introduction. 54-55
• C. Bryce, Daniel Hagimont, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat:
  Models and Paradigms for Distributed Systems Structuring - Summary of Sessions. 56-60
  
• Jeffrey S. Chase, Valérie Issarny, Henry M. Levy:
  Distribution in a Single Address Space Operating System. 61-65
  
• Calton Pu:
  Relaxing the Limitations of Serializable Transactions in Distributed Systems. 66-71
  
• Rob Pike, David L. Presotto, Ken Thompson, Howard Trickey, Phil Winterbottom:
  The Use of Name Spaces in Plan 9. 72-76
  
• Jerome H. Saltzer:
  Needed: A Systematic Structuring Paradigm for Distributed Data. 77-81
  
• Carlos Almeida, Bradford B. Glade, Keith Marzullo:
  High Availability in a Real-Time System. 82-87
  
• Fred Douglis:
  On the Role of Compression in Distributed Systems. 88-93
  
• Larry L. Peterson:
  Life on the OS/Network Boundary. 94-98
  
• Robert J. Stroud:
  Transparency and Reflection in Distributed Systems. 99-103
  
• John Wilkes:
  DataMesh, House-Building, and Distributed Systems Technology. 104-108
  

Volume 27, Number 3, July 1993

• A. K. Yeo, Akkihebbal L. Ananda, E. K. Koh:
  A Taxonomy of Issues in Name Systems Design and Implementation. 4-18
  
• R. Gopalakrishnan, Andreas D. Bovopoulos:
  A Protocol Processing Architecture for Networked Multimedia Computers. 19-33
  
• Prasad Raja, Guevara Noubir:
  Static and Dynamic Polling Mechanisms for Fieldbus Networks. 34-45
  
• P. Krishna Reddy, Subhash Bhalla:
  A Non-Blocking Transaction Data Flow Graph Based Approach For Replicated Data. 46-54
  
• Zhonghua Yang, T. Anthony Marsland:
  Annotated Bibliography on Global States and Times in Distributed Systems. 55-74
  
• Xingwei Wang, Hong Zhao, Jiakeng Zhu:
  GRPC: A Communication Cooperation Mechanism in Distributed Systems. 75-86
  
• Jiubin Ju, Gaochao Xu, Jie Tao:
  Parallel Computing Using Idle Workstations. 87-96
  
• Christophe Haro, Christian Proust:
  A Multitasking Executive for Operating System Courses. 97-108
  

Volume 27, Number 4, October 1993

• Paul K. Harter Jr.:
  Book Review: The Temporal Logic of Reactive and Concurrent Systems, Vol. I Specification by Zahar Manna and Amir Pnueli. 1-3
• Paul K. Harter Jr.:
  Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield. 4-6
• William M. Waite:
  Book Review: Larch: Languages and Toole for Formal Specification by John V. Guttag and James J. Horning. 7
• Barton P. Miller, Charles E. McDowell:
  Summary of ACM/ONR Workshop on Parallel and Distributed Debugging (1993). 8-23
  
• Paul F. Syverson:
  On Key Distribution Protocols for Repeated Authentication. 24-30
  
• Armin Liebl:
  Authentication in Distributed Systems: A Bibliography. 31-41
  
• Claudio Calvelli, Vijay Varadharajan:
  Authentication and Revocation in SPM (Extended Abstract). 42-57
  
• Alexander B. Romanovsky:
  Fault Tolerance: Synchronization of Redundancy. 58-66
  
• Mohamed Naimi:
  Distributed Algorithm for K-Entries to Critical Section Based on the Directed Graphs. 67-75
  
• Paolo Ciancarini, N. Guerrini:
  Linda meets Minix. 76-92
  

Volume 27, Number 5, 1993

Proceedings of the Fourteenth ACM Symposium on Operating System Principles, December 5-8, 1993, The Grove Park Inn and Country Club, Asheville, North Carolina, Operating System Review 27(5), ACM Press, 1993, ISBN 0-89791-632-8
Contents

Last update Sat May 18 20:53:20 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page