Table of Contents

• Process-Channel::agent::-Process Model of Asynchronous Distributed CommunicationKeith Shafer, Mohan Ahuja. 4-11
• Adaptive Routing in Mesh-Connected NetworksChristopher J. Glass, Lionel M. Ni. 12-19
• Multitasking in Multistage Interconnection Network MachinesChansu Yu, Chita R. Das. 30-37
• Communication-Oriented Assignment of Task Modules in Hypercube MulticomputersBing-rung Tsai, Kang G. Shin. 38-45
• Optimal Communication Architectures for Multimedia Conferencing in Distributed SystemsSrinivas Ramanathan, P. Venkat Rangan, Harrick M. Vin, Thomas Kaeppner. 46-53
• A Transaction Model for Multidatabase SystemsSharad Mehrotra, Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz. 56-63
• Token Allocation in Distributed SystemsLeana Golubchik, Alexander Thomasian. 64-71
• A Decentralized Deadlock-Free Concurrency Control Method for Multidatabase TransactionsRaj Kumar Batra, Marek Rusinkiewicz, Dimitrios Georgakopoulos. 72-79
• An All-Sharing Load Balancing Protocol in Distributed Systems on the CSMA/CD Local Area NetworkJunguk L. Kim, Jyh-Charn Liu, Ying Hao. 82-89
• A New Communication Tool: Time Dependent Multimedia DocumentTakeshi Yoneda, Joung-Hoon Lim, Tatsuo Sato, Yutaka Matsushita. 90-97
• A Comparison of Regression-Based Load Sharing Strategies for Distributed Database EnvironmentsAvraham Leff, Philip S. Yu. 98-107
• MINITABS: Early Experiences with a New Paradigm for Programming SIMD ComputersDebra A. Hensgen, Philip A. Wilsey. 110-117
• Efficient Implementation of Barrier Synchronization in Wormhole-Routed Hypercube MulticomputersHong Xu, Philip K. McKinley, Lionel M. Ni. 118-125
• Huffman Trees as a Basis for a Dynamic Mutual Exclusion Algorithm for Distributed SystemsTai-Kuo Woo, Richard E. Newman-Wolfe. 126-133
• Real-Time Lock-Based Concurrency Control in Distributed Database SystemsÖzgür Ulusoy, Geneva G. Belford. 136-143
• Replication Control for Distributed Real-Time Database SystemsSang Hyuk Son, Spiros Kouloumbis. 144-151
• On Serializability of Distributed Nested TransactionsS. Ben-Hassen, Marek Rusinkiewicz. 152-159
• Distributed Concurrency Control with Limited Wait-DepthPeter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian. 160-167
• Design, Implementation, and Evaluation of Virtual Internet ProtocolFumio Teraoka, Kimberly C. Claffy, Mario Tokoro. 170-177
• Priority-Based Total and Semi-Total Ordering Broadcast ProtocolsAkihito Nakamura, Makoto Takizawa. 178-185
• A Highly Adaptive Media Access Protocol for Dual Bus Metropolitan Area NetworksJörg Liebeherr, Ian F. Akyildiz. 186-193
• Multicast Models and Routing Algorithms for High Speed Multi-Service NetworksK. Ravindran, M. Sankhla. 194-201
• Reliability of Cluster-Based Multiprocessor SystemsImadeldin O. Mahgoub. 204-209
• A Unified Approach to Fault-Tolerant RoutingTarek A. El-Ghazawi, Abdou Youssef. 210-217
• Reconfigurable Cube Architecture for Parallel ComputationKemal Efe. 218-225
• A Simulation Analysis of Faults and Conflicts in a Multicast-Connected Multi-Path Cube-Based NetworkN. K. Sharma, Fadi N. Sibai, Abdullah A. Abonamah. 226-233
• On Conformance in the Context of Open SystemsReinhard Gotzhein. 236-243
• Test Result Analysis and Diagnostics for Finite State MachinesAbderrazak Ghedamsi, Gregor von Bochmann. 244-251
• Axiomatic Test Sequence Generation for Extended Finite State MachinesChang-Jia Wang, Ming T. Liu. 252-259
• Probabilistic Characterization of Algebraic Protocol SpecificationsRiccardo Sisto, Luigi Ciminiera, Adriano Valenzano. 260-268
• A User-Oriented Synthetic Workload GeneratorWei-lun Kao, Ravishankar K. Iyer. 270-277
• Performance Prediction Modeling of MulticomputersHalsur V. Sreekantaswamy, Samuel T. Chanson, Alan S. Wagner. 278-285
• An Adaptive Scheduling Scheme for Dynamic Service Time Allocation on a Shared ResourceAhmed N. Tantawy, Asser N. Tantawi, Dimitrios N. Serpanos. 294-300
• Performance of Disk Arrays in Transaction Processing EnvironmentsJai Menon, Dick Mattson. 302-309
• Data Base Recovery in Shared Disks and Client-Server ArchitecturesC. Mohan, Inderpal Narang. 310-317
• RAID Organization and PerformanceThomas J. E. Schwarz, Walter A. Burkhard. 318-325
• An Algorithmic Method for Protocol ConversionMohammad Peyravian, Chin-Tau A. Lea. 328-335
• An Implementation of Flush Channels Based on a Verification MethodologyPhil Kearns, Tracy Camp, Mohan Ahuja. 336-343
• Constructing Protocol Converters from Service SpecificationsYow-Wei Yao, Ming T. Liu. 344-351
• How to Migrate Processes in Distributed Computing Systems: A Markov Team ApproachAlfred Taudes. 354-361
• An Analysis of the Join the Shortest Queue (JSQ) PolicyHwa-Chun Lin, C. S. Raghavendra. 362-366
• Net Level Aggregation Using Nonlinear Optimization for the Solution of Hierarchical Generalized Stochastic Petri NetsGuenter Klas. 367-374
• Exploiting Iteration-Level Parallelism in Dataflow ProgramsLubomir Bic, John M. A. Roy, Mark Nagel. 376-381
• TQL: A Tasking Query Language for Concurrent Program AnalysisChristopher Black, Sol M. Shatz, S. Upp. 382-389
• An Efficient Data Interface for Heterogeneous Distributed EnvironmentsDavid D. H. Lin, Behrooz Shirazi, Krishna M. Kavi. 390-397
• Validation and Performance Evaluation of the Partition and Replicate AlgorithmChengwen Liu, Clement T. Yu. 400-407
• Distributed File Allocation with Consistency ConstraintsRaj Tewari, Nabil R. Adam. 408-415
• Exploiting a Weak Consistency to Implement Distributed Tuple SpaceShigeru Chiba, Kazuhiko Kato, Takeshi Masuda. 416-423
• Efficient Decentralized Consensus Protocols in a Distributed Computing SystemMing-Syan Chen, Kun-Lung Wu, Philip S. Yu. 426-433
• Type-Specific Coherence Protocols for Distributed Shared MemoryHong Va Leong, Divyakant Agrawal. 434-441
• Distributed, Scalable, and Static Parallel Arc Consistency Algorithms on Private Memory MachinesJames M. Conrad, Dharma P. Agrawal. 442-449
• End-to-End Scheduling to Meet Deadlines in Distributed SystemsRiccardo Bettati, Jane W.-S. Liu. 452-459
• Sparse Time versus Dense Time in Distributed Real-Time SystemsHermann Kopetz. 460-467
• Guaranteeing Synchronous Message Deadlines with the Timed Token ProtocolGopal Agrawal, Biao Chen, Wei Zhao, Sadegh Davari. 468-475
• Formal Analysis of Waiting Times for Distributed Real-time ProcessesHorst Wedde, Bogdan Korel, Dorota M. Huizinga. 478-485
• Asynchronous Unison (Extended Abstract)Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda. 486-493
• On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural ConstraintsGruia-Catalin Roman, C. Donald Wilcox, Jerome Y. Plun. 494-501
• An Architecture of a Threaded Many-to-Many Remote Procedure CallGirish Welling, B. R. Badrinath. 504-511
• Beyond Micro-Kernel Design: Decoupling Modularlty and Protection in LiptoPeter Druschel, Larry L. Peterson, Norman C. Hutchinson. 512-520
• Dynamic Hierarchical Caching for Large-Scale Distributed File SystemsMatt Blaze, Rafael Alonso. 521-528
• Delegation Through Access Control ProgramsMarvin Theimer, David A. Nichols, Douglas B. Terry. 529-536
• Open CSCW Systems: Will ODP Help?Leandro Navarro, Wolfgang Prinz, Tom Rodden. 547-554
• Comet: A Toolkit for Multiuser Audio/Video ApplicationsDavid P. Anderson, Pamela Chan. 555-562
• Leveraged Computing: A Task Distribution ProtocolPaul M. Murray. 563-570
• Blending Hierarchical and Attribute-Based File NamingStuart Sechrest, Michael McClennen. 572-580
• Naming and Addressing of Objects Without Unique IdentifiersNobuhisa Fujinami, Yasuhiko Yokote. 581-588
• Improving the Reliability of Name Resolution Mechanism in Distributed Operating SystemsPradeep Kumar Sinha, Mamoru Maekawa, Kentaro Shimizu. 589-596
• Communication Structures and Paradigms for Distributed Conferencing ApplicationsK. Ravindran, B. Prasad. 598-605
• MCP: A Protocol for Coordination and Temporal Synchronization in Multimedia Collaborative ApplicationsRajendra Yavatkar. 606-613
• Distributed Constraint Satisfaction for Formalizing Distributed Problem SolvingMakoto Yokoo, Edmund H. Durfee, Toru Ishida, Kazuhiro Kuwabara. 614-621
• Analyzing Self-Stabilization with Finite-State Machine ModelSu-Chu Hsu, Shing-Tsaan Huang. 624-631
• Fault-Tolerant Multi-Destination Routing in Hypercube MulticomputersYouran Lan. 632-639
• An Efficient Protocol for Voting In Distributed SystemsGagan Agrawal, Pankaj Jalote. 640-647
• Optimal Coteries for Rings and Related NetworksToshihide Ibaraki, Hiroshi Nagamochi, Tiko Kameda. 650-656
• A General Method to Define QuorumsMitchell L. Neilsen, Masaaki Mizuno, Michel Raynal. 657-664
• Using a Finite Projective Plane with a Duality for Decentralized Consensus ProtocolsAmane Nakajima. 665-672
• An Epistemic Logic Based Synthesis of Communication Services and ProtocolsOmar Amyay, Guy Juanole, Stella Zwecker. 674-681
• TrActorS: A Transactional Actor System for Distributed Query ProcessingMostafa Haghjoo, Mike P. Papazoglou. 682-689
• A Distributed Lisp Programming System: Implementation and UsageMark P. Pearson, Partha Dasgupta. 690-697
• Synchronization and Concurrency Measures for Distributed ComputationsMichel Raynal, Masaaki Mizuno, Mitchell L. Neilsen. 700-707
• Garbage Collection of a Distributed HeapRivka Ladin, Barbara Liskov. 708-715
• A Real-Time Algorithm for Fair Interprocess SynchronizationYih-Kuen Tsay, Rajive Bagrodia. 716-723