5. ICDCS 1985: Denver, Colorado

Proceedings of the 5th International Conference on Distributed Computing Systems, Denver, Colorado, May 13-17, 1985. IEEE-CS Press, 1985, ISBN 0-8186-0617-7

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

Last update Wed May 22 04:58:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page