Table of Contents

• Performance of Non-Rectangular Multistage Interconnection NetworksVladimir Cherkassky. 2-7
• Optimal Mappings among Interconnection Networks for Performance EvaluationYuen-Wah Ma, Bhagirath Narahari. 16-25
• A Microeconomic Approach to Optimal File AllocationJames F. Kurose, Rahul Simha. 28-35
• Policies for Dynamic Vote ReassignmentDaniel Barbará, Hector Garcia-Molina, Annemarie Spauster. 37-44
• Reliability Analysis of the KYKLOS Interconnection NetworkBernard L. Menezes, Roy M. Jenevein, Miroslaw Malek. 46-53
• Fault-Tolerant Routing of Permutations in Extra-Stage NetworksAnujan Varma, C. S. Raghavendra. 54-61
• Fault-Tolerance and Diagnosability of Bisectional Interconnection NetworksArif Ghafoor, Theodore R. Bashkow, Imran Ghafoor. 62-69
• A Fault-Tolerant Multistage Interconnection Network for Multiprocessor Systems Using Dynamic RedundancyMenkae Jeng, Howard Jay Siegel. 70-77
• Performance of Concurrency Control Algorithms in Distributed Databases with Tight Coupling of Multi-Processors at Each NodeKarl Kleissner, Markus Stumptner. 80-87
• Integrating Locking and Optimistic Concurrency Control in Distributed Database SystemsAmit P. Sheth, Ming T. Liu. 89-99
• Communication Structure of Decentralized Commit ProtocolsT. V. Lakshman, Ashok K. Agrawala. 100-107
• A Parallel Sorting Algorithm for a Linearly Connected Multiprocessor SystemSusumu Horiguchi, Yoshiharu Shigei. 111-118
• Performance Evaluation of Integrated Concurrency Control and Recovery Algorithms Using a Distributed Transaction Processing TestbedWalter H. Kohler, Bao-Chyuan Jenq. 130-139
• A Concurrency Control Algorithm and Its Performance for Replicated Database SystemsMukesh Singhal, Ashok K. Agrawala. 140-147
• On Coupling Partitioned Database SystemsPhilip S. Yu, Douglas W. Cornell, Daniel M. Dias, Alexander Thomasian. 148-157
• The Post Office-Communication Support for Distributed Ensemble ArchitecturesKenneth S. Stevens, Shane V. Robison, Alan L. Davis. 160-166
• A Multiprocessor Architecture for Medium-Grain ParallelismJ. Dean Brock, Amos Omondi, David A. Plaisted. 167-174
• Polystructural, Reconfigurable, and Fault-Tolerant ComputersAndrzej Rucinski, John L. Pokoski. 175-182
• Prefix Tables: A Simple Mechanism for Locating Files in a Distributed SystemBrent B. Welch, John K. Ousterhout. 184-189
• Problem-oriented Shared Memory: A Decentralized Approach to Distributed System DesignDavid R. Cheriton. 190-197
• Structure and Encapsulation in Distributed Systems: The Proxy PrincipleMarc Shapiro. 198-204
• A CSMA/CD-Token Ring Hybrid Architecture for Local Area NetworksSuchai Thanawastien, D. Blass. 206-215
• Dynamic Load Balancing Algorithms in Homogeneous Distributed SystemsChi-Yin Huang Hsu, Jane W.-S. Liu. 216-223
• Performance Analysis of Packet Broadcast Network with Priority-Free Capture SchemesC. C. Lee. 224-231
• Recoverable Actions in GutenbergStephen Vinter, Krithi Ramamritham, David W. Stemple. 242-249
• The Architecture of the Cronus Distributed Operating SystemRichard E. Schantz, Robert H. Thomas, Girome Bono. 250-259
• Process Server: Sharing Processing Power in a Workstation EnvironmentRobert B. Hagmann. 260-267
• UNIX and Remote Procedure Calls: A Peaceful Coexistence?Robert J. Souza, Steven P. Miller. 268-277
• Euclid: An Architectural Multiprocessor SimulatorJames M. Butler, A. Yavuz Oruç. 280-287
• Validation of a Fault-Tolerant Multiprocessor: Synthetic Workload ImplementationFrank Feather, Daniel P. Siewiorek, Zary Segall. 303-312
• An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication NetworksBeverly A. Sanders. 314-320
• Distributed Resource Scheduling for a Large Scale Network of Processors: HCSNSatish K. Tripathi, Shing-Tsaan Huang. 321-328
• Gradient Model: A Demand-Driven Load Balancing SchemeFrank C. H. Lin, Robert M. Keller. 329-336
• Task Allocation Heuristics for Distributed Computing SystemsAhmed K. Ezzat, R. Daniel Bergeron, John L. Pokoski. 337-346
• The Work Manager: A Full Featured Gateway SystemWilliam J. Barr. 348-354
• Process Alias-Based Structuring Techniques for Distributed Computing SystemsK. Ravindran, Samuel T. Chanson. 355-363
• An Election Algorithm for a Distributed Clock Synchronization ProgramRiccardo Gusella, Stefano Zatti. 364-371
• Dynamic Reallocation in a Highly Integrated Real-Time Distributed SystemJohn A. Stankovic, Donald F. Towsley. 374-381
• Efficient Distributed SnapshotsMadalene Spezialetti, Phil Kearns. 382-388
• The Administration of Distributed Computations in a Networked Environment: An Interim ReportLuis-Felipe Cabrera, Stuart Sechrest, Ramón Cáceres. 389-397
• Packet Duplication and Elimination in Distributed NetworksAriel Orda, Raphael Rom. 401-404
• A Portable, Network-Transparent Communication System for Message-Based ApplicationsMichael P. Zeleznik. 405-412
• The Impact of Language and System on Remote Procedure Call DesignGuy T. Almes. 414-421
• A Distributed Algorithm to Implement the Generalized Alternative Command of CSPRajive Bagrodia. 422-427
• Reproducible Testing of Concurrent Programs Based on Shared VariablesRichard H. Carver, Kuo-Chung Tai. 428-433
• Automated Validation of a Co-operation Protocol for Distributed SystemsKurt Geihs, Manfred H. Seifert. 436-443
• On a Prolog Environment for Protocol AnalysisGiorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel. 444-451
• Modified D-Time Petri Nets, Timeouts, and Modelling of Communication ProtocolsWlodzimierz M. Zuberek. 452-457
• On Executable Specifications of Finite State Protocol ErrorsStanley Lee, Suzanne Sluizer. 458-465
• Mediators: A Synchronization MechanismJ. E. Grass, Roy H. Campbell. 468-477
• The Concept of Multi-function: A General Structuring Tool for Distributed Operating SystemJean-Pierre Banâtre, Michel Banâtre, Florimond Ployette. 478-485
• Programming Support in the Cronus Distributed Operating SystemRobert F. Gurwitz, Michael A. Dean, Richard E. Schantz. 486-493
• Eliminating Proofs of Non-interference from Levin-Gries CSP Program ProofsThomas P. Murtagh. 494-499
• Structure-free Name Management for Evolving Distributed EnvironmentsDouglas B. Terry. 502-508
• The Tilde File Naming SchemeDouglas Comer, Thomas P. Murtagh. 509-514
• An Algorithm for Database Reconstruction in Distributed EnvironmentsSang Hyuk Son, Ashok K. Agrawala. 532-539
• A Failure and Recovery Detection Protocol for Optimistic Partitioned Operation in Distributed Database SystemsAnthony V. Ma, Geneva G. Belford. 540-547
• Using Sparse Capabilities in a Distributed Operating SystemAndrew S. Tanenbaum, Sape J. Mullender, Robbert van Renesse. 558-563
• Reliability Analysis in Distributed SystemsSalim Hariri, Cauligi S. Raghavendra, Viktor K. Prasanna. 564-571
• Principle of Deadlock Detection in Ada ProgramsBosheng Zhou, Raymond T. Yeh, Peter A. Ng. 572-579
• Using Broadcasting for Multiprocess RecoveryPankaj Jalote. 582-589
• Providing Recoverability in a Transaction Oriented Distributed Operating SystemEdgar Nett, Jörg Kaiser, Reinhold Kröger. 590-597
• A Reliable Token-Driven Process Synchronization AlgorithmSatoshi Hasegawa, Jane W.-S. Liu. 598-604
• Voting with Witnesses: A Constistency Scheme for Replicated FilesJehan-François Pâris. 606-612
• A Distributed Clustering Algorithm for Large Computer NetworksC. V. Ramamoorthy, Jaideep Srivastava, Wei-Tek Tsai. 613-620
• Site Recovery in Replicated Distributed Database SystemsBharat K. Bhargava, Zuwang Ruan. 621-627