5. ICDCS 1985: Denver, Colorado

Data Flow Systems

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

Distributed Operating Systems

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

Channel Access Protocols

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

Interprocess Communication

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

Communication Protocols

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

Distributed Programming

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

Interconnection Networks

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

Distributed Database Design Concepts

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

Fault-Tolerant Interconnection

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

Distributed Concurrency Control

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

Multiprocessor Systems

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

Distributed Query Processing

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

Resource Allocation

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

Performance Studies

• Bernd W. Meister, Philippe A. Janson, Liba Svobodova: File Transfer in Local-Area Networks: A Performance Study. 338-349 BibTeX
• Ricardo Cordon, Hector Garcia-Molina: The Performance of a Concurrency Control Mechanism that Exploits Semantic Knowledge. 350-358 BibTeX
• 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 BibTeX

Fault-Tolerant Networks

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

Program Verification

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

Software Approach to Fault Tolerance

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

Distributed Application Algorithms

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

Models of Distributed Processes

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

Distributed Debugging and Monitoring

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

Distributed Control Algorithms

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

Panel Discussion: Debugging in Distributed Systems