5. ICDCS 1985: Denver, Colorado

Data Flow Systems

• Rex W. Vedder, Michael L. Campbell, George K. Tucker: The Hughes Data Flow Multiprocessor. 2-9
• David Klappholz, Yingsha Liao, Da-Jin Wang, Alexander Brodsky, Amos Omondi: Toward a Hybrid Data-Flow/Control-Flow MIMD Architecture. 10-15
• Jean-Luc Gaudiot, C. S. Raghavendra: Fault-Tolerance and Data-Flow Systems. 16-23

Distributed Operating Systems

• Thomas J. LeBlanc, Stuart A. Friedberg: Hierarchical Process Composition in Distributed Operating Systems. 26-34
• Robert D. Gaglianello, Howard P. Katseff: Meglos: An Operating System for a Multiprocessor Environment. 35-42
• Barton P. Miller, Cathryn Macrander, Stuart Sechrest: A Distributed Programs Monitor for Berkeley UNIX. 43-54

Channel Access Protocols

• Anura P. Jayasumana, P. David Fisher: TSPS: A Token-Skipping Priority Scheme for Bus Networks. 56-63
• Stavros A. Koubias, George D. Papadopoulos: Performance Analysis of the Adaptive Multiple Access Protocol ATP-2. 64-69
• James F. Kurose, Mischa Schwartz, Yechiam Yemini: A Microeconomic Approach to Decentralized Optimization of Channel Access Policies in Multiaccess Networks. 70-77

Interprocess Communication

• Mustaque Ahamad, Arthur J. Bernstein: Multicast Communication in UNIX 4.2BSD. 80-87
• Roger B. Dannenberg: Protection for Communication and Sharing in A Personal Computer Network. 88-98
• Willy Zwaenepoel: Implementation and Performance of Pipes in the V-System. 99-106

Communication Protocols

• Reinhold Güth, J. Kriz, Stefan Züger: Broadcasting Source-Addressed Messages. 108-115
• Sally A. Bruso: A Failure Detection and Notification Protocol for Distributed Computing Systems. 116-123
• Bernd Walter: Network Partitioning and Symmetric Surveillance Protocol. 124-129

Distributed Programming

• Richard J. LeBlanc, C. Thomas Wilkes: System Programming with Objects and Actions. 132-139
• Rajive Bagrodia, K. Mani Chandy: A Micro-Kernel for Distributed Applications. 140-149
• Kirk D. Smith, Leah H. Jamieson: MIMD Algorithm Analysis: Low Level Algorithm Descriptions. 150-157

Interconnection Networks

• Lan Jin, Yi Pan: A Kind of Interconnection Network with Mixed Static and Dynamic Topologies. 160-166
• Tse-Yun Feng, Wei Young: Existience and Optimization of Rearrangable Networks. 167-172
• Robert R. Seban, Howard Jay Siegel: Analysis of Partitionability Properties of Topologically Arbitrary Interconnection Networks. 173-181

Distributed Database Design Concepts

• Pankaj Jalote, Roy H. Campbell: Atomic Actions in Concurrent Systems. 184-191
• Robert M. Keller, Gary Lindstrom: Approaching Distributed Database Implementations through Functional Programming Concepts. 192-200
• Carla Schlatter Ellis: Distributed Data Structures: A Case Study. 201-208

Fault-Tolerant Interconnection

• Sudhakar M. Reddy, Vijay Kumar: On Multipath Multistage Interconnection Networks. 210-217
• Tse-Yun Feng, Qirui Zhang: Fault Diagnosis of Multistage Interconnection Networks with Four Valid States. 218-226
• J. S. R. Subrahmanium, Parimal Pal Chaudhuri, Pabitra Pal Chaudhuri: Design of a 'T' Fault Repairable Multiprocessor System. 227-233

Distributed Concurrency Control

• Fawzi F. Gherfal, Sandra A. Mamrak: An Optimistic Concurrency Control Mechanism for an Object Based Distributed System. 236-245
• Jean-Michel Feuvre: Concurrency Control Mechanism for a Fault Tolerant Distributed Data Base System. 246-253
• M. Tamer Özsu: Performance Comparison of Distributed vs. Centralized Locking Algorithms in Distributed Database Systems. 254-261

Multiprocessor Systems

• Manjai Lee, Eric Fiene, Chuan-lin Wu, Geoffrey Brown, Nader Bagherzadeh: Network Facility for a Reconfigurable Computer Architecture. 264-271
• Wolfgang Henning, Jens Volkert: Programming EGPA Systems. 552-559
• Girish Pathak, Dharma P. Agrawal: Task Division and Multicomputer Systems. 273-280

Distributed Query Processing

• Michael J. Carey, Miron Livny, Hongjun Lu: Dynamic Task Allocation in a Distributed Database System. 282-291
• William Ward Armstrong, A. S. Mohamed: A Mixed-Flow Query Processing Strategy for a Multiprocessor Database System. 292-299
• Marek Rusinkiewicz, Bogdan D. Czejdo: Query Transformation in Heterogeneous Distributed Database Systems. 300-307

Resource Allocation

• Karsten Schwan, Cheryl Gaimon: Automating Resource Allocation for the Cm* Multiprocessor. 310-320
• Kang G. Shin, C. Mani Krishna: The Processor Number-Power Tradeoff in a Class of Multiprocessors. 321-328
• Virginia Mary Lo: Task Assignment to Minimize Completion Time. 329-336

Performance Studies

• Bernd W. Meister, Philippe A. Janson, Liba Svobodova: File Transfer in Local-Area Networks: A Performance Study. 338-349
• Ricardo Cordon, Hector Garcia-Molina: The Performance of a Concurrency Control Mechanism that Exploits Semantic Knowledge. 350-358
• Veljko M. Milutinovic, Jakov J. Crnkovic, L.-Y. Chang, Howard Jay Siegel: The Loco Approach to Distributed Task Allocation in AIDA by VERDI. 359-368

Fault-Tolerant Networks

• M. Ümit Uyar, Anthony P. Reeves: Fault Reconfiguration for the Near Neighbor Problem In a Distributed MIMD Environment. 372-379
• Vladimir Cherkassky, Miroslaw Malek, G. Jack Lipovski: Fail-Softness Analysis of Tree-Based Local Area Networks. 380-385
• Chilukuri K. Mohan, Larry D. Wittie: Local Reconfiguration of Management Trees in Large Networks. 386-393

Program Verification

• Richard M. Nemes: Modular Verification of Distributed Systems. 396-410
• Ernest J. H. Chang: Verification of Non-Terminating Concurrent Programs. 411-415
• Eliezer L. Lozinskii: A Remark on Distributed Termination. 416-419

Software Approach to Fault Tolerance

• Jason Gait: A Distributed Process Manager with Transparent Continuation. 422-429
• Jean-Serge Banino, Jean-Charles Fabre, Marc Guillemont, Gérard Morisset, Marc Rozier: Some Fault-Tolerant Aspects of the Chorus Distributed System. 430-437
• Xiao-Zong Yang, Gary York, William P. Birmingham, Daniel P. Siewiorek: Fault Recovery of Triplicated Software on the Intel iAPX 432. 438-443

Distributed Application Algorithms

• Raphael A. Finkel, Udi Manber: DIB - A Distributed Implementation of Backtracking. 446-452
• F. Warren Burton: Controlling Speculative Computation in a Parallel Functional Programming Language. 453-458
• Francis Y. L. Chin, H. F. Ting: A Near-optimal Algorithm for Finding the Median Distributively. 459-465

Models of Distributed Processes

• Bernard P. Zeigler, Robert G. Reynolds: Towards a Theory of Adaptive Computer Architectures. 468-475
• Horst Wedde: A Formal Basis for Correct Implementations of Distributed Programming Languages. 476-485
• Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone: Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design. 486-495

Distributed Debugging and Monitoring

• Paul K. Harter Jr., Dennis Heimbigner, Roger King: IDD: An Interactive Distributed Debugger. 498-506
• Miguel E. Garcia, W. Joseph Berman: An Approach to Concurrent Systems Debugging. 507-514
• Richard J. LeBlanc, Arnold D. Robbins: Event-Driven Monitoring of Distributed Programs. 515-522

Distributed Control Algorithms

• Krithi Ramamritham, David W. Stemple, Stephen Vinter: Decentralized Access Control in a Distributed System. 524-531
• Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah: Distributed Control Through Task Migration via Abstract Networks. 532-538
• Lionel M. Ni, Chong-Wei Xu, Thomas B. Gendreau: Drafting Algorithm - A Dynamic Process Migration Protocol for Distributed Systems. 539-546

Panel Discussion: Debugging in Distributed Systems