14. ICDCS 1994: Poznan, Poland

Proceedings of the 14th International Conference on Distributed Computing Systems. June 21-24, 1994, Poznan, Poland. IEEE Computer Society Press, 1994, ISBN 0-8186-5840-1

Mobile Systems

David B. Johnson: Scalable and Robust Internetwork Routing for Mobile Hosts. 2-11
Ramón Cáceres, Liviu Iftode: The Effects of Mobility on Reliable Transport Protocols. 12-20
B. R. Badrinath, Arup Acharya, Tomasz Imielinski: Structuring Distributed Algorithms for Mobile Hosts. 21-28
Mike Spreitzer, Marvin Theimer: Architectural Considerations for Scalable, Secure, Mobile Computing with Location information. 29-38

Mobile Systems

K. Ravindran, K. Shah: Causal Broadcasting and Consistency of Distributed Shared Data. 40-47
Akihito Nakamura, Makoto Takizawa: Causally Ordering Broadcast Protocol. 48-55
Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal: Extended Virtual Synchrony. 56-65
Seiji Murata, Atsushi Shionozaki, Mario Tokoro: A Network Architecture for Reliable Process Group Communication. 66-73

Mutual Exclusion

Her-Kun Chang, Shyan-Ming Yuan: Message Complexity of the Tree Quorum Algorithm for Distributed Mutual Exclusion. 76-80
Roberto Baldoni: An O(N^M/(M+1)) Distributed Algorithm for the kth-out of-M Resources Allocation Problem. 81-88
Jean-Michel Hélary, Achour Mostéfaoui: A O(log₂ n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure. 89-96
Hao Chen, Jian Tang: An Efficient Method for Mutual Exclusion in Truly Distributed Systems. 97-104

Naming and Information Systems

Sanjay R. Radia, Michael N. Nelson, Michael L. Powell: Security in the Spring Name Service. 106-115
Rajmohan Panadiwal, Andrzej M. Goscinski: A High Performance and Reliable Distributed File Facility. 116-123
Andrzej Duda, Mark A. Sheldon: Content Routing in a Network of WAIS Servers. 124-132

Object Mechanisms

Marc Shapiro: A Binding Protocol for Distributed Shared Objects. 134-141
Kenji Kono, Kazuhiko Kato, Takashi Masuda: Smart Remote Procedure Calls: Transparent Treatment of Remote Pointers. 142-151
Joshua S. Auerbach, Ajei S. Gopal, Mark T. Kennedy, James R. Russell: Concert/C: Supporting Distributed Programming with Language Extensions and a Portable Multiprotocol Runtime. 152-159

Real-Time Scheduling

Rhan Ha, Jane W.-S. Liu: Validating Timing Constraints in Multiprocessor and Distributed Real-Time Systems. 162-171
Ben Kao, Hector Garcia-Molina: Subtask Deadline Assignment for Complex Distributed Soft Real-Time Tasks. 172-181
Shirish S. Sathaye, Jay K. Strosnider: A Real-Time Scheduling Framework for Packet-Switched Networks. 182-191

Experimental Systems

Chris Steketee, Weiping Zhu, Philip Moseley: Implementation of Process Migration in Amoeba. 194-201
Stevo Bozinovski: Parallel Programming for Mobile Robot Control: Agent-Based Approach. 202-208
Maria Beatriz Felgar de Toledo, Gordon S. Blair: Transaction Support for an ANSA-Based Platform. 209-216

Fault Tolerance and Recovery

Larry Brown, Jie Wu: Dynamic Snooping in a Fault-Tolerant Distributed Shared Memory. 218-226
Hong Va Leong, Divyakant Agrawal: Using Message Semantics to Reduce Rollback in Optimistic Message Logging Recovery Schemes. 227-234
Cheng-Ru Young, Ge-Ming Chiu: A Crash Recovery Technique in Distributed Computing Systems. 235-242

Distributed Control

François Vernadat, Pierre Azéma, Khalil Drira: Distributed Coin Tossing. 244-249
Lior Shabtay, Adrian Segall: A Synchronizer with Low Memory Overhead (Extended Abstract). 250-257
Bernard Mans, Nicola Santoro: On the Impact of Sense of Direction in Arbitrary Networks. 258-265

Multimedia

Aloke Guha, Allalaghatta Pavan: Real-Time Support of Continuous and Variable Bit Rate Traffic on an ATM Network. 268-275
Ralf Keller, Stefan Fischer, Wolfgang Effelsberg: Implementing Movie Control, Access and Management - From a Formal Description to a Working Multimedia System. 276-283
Fabio Panzieri, Marco Roccetti: A Scalable Architecture for Reliable Distributed Multimedia Applications. 284-293
Robert Simon, Taieb Znati, Robert J. Sclabassi: Group Communication in Distributed Multimedia Systems. 294-301

Cooperative Environments

Flavio De Paoli, Francesco Tisato: Cooperative Systems Configuration in CSDL. 304-311
Przemyslaw Pardyak, Brian N. Bershad: A Group Structuring Mechanism for a Distributed Object-Oriented Language. 312-319
László Kovács: The GroupSPACE Concept. 320-325
Alex Delis, Nick Roussopoulos: Management of Updates in the Enhanced Client-Server DBMS. 326-334

Distributed Memory Management

Hong Xu, Lionel M. Ni: Optimizing Data Alignment for Data Parallel Programs. 336-344
Gudjon Hermannsson, Larry D. Wittie: Optimistic Synchronization in Distributed Shared Memory. 345-354
Yvon Kermarrec, Laurent Pautet: Integrating Page Replacement in a Distributed Shared Virtual Memory. 355-362
Sibabrata Ray, Hong Jiang: Improved Algorithms for Partitioning Tree and Linear Task Graphs on Shared Memory Architecture. 363-370

Multidatabases

L. H. Yeo, Arkady B. Zaslavsky: Submission of Transactions from Mobile Workstations in a Cooperative Multidatabase Processing Environment. 372-379
Constantinos V. Papadopoulos: On the Heterogeneity of Distributed Databases - Integrating Commit Protocols. 380-386
Susan Darling Urban, Taoufik Ben Abdellatif: An Object-Oriented Query Language Interface to Relational Databases in a Multidatabase Database Environment. 387-394

Distributed Debugging

Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon: A General Approach to Trace-Checking in Distributed Computing Systems. 396-403
Robert H. B. Netzer, Sairam Subramanian, Jian Xu: Critical-Path-Based Message Logging for incremental Replay of Message-Passing Programs. 404-413
Julie A. Gannon, K. J. Williams, Mark S. Andersland, J. E. Lummp Jr., Thomas L. Casavant: Using Perturbation Tracking to Compensate for Intrusion in Message-Passing Systems. 414-421

Self-Stabilizing Systems

Anish Arora, Mohamed G. Gouda, George Varghese: Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance. 424-431
Shing-Tsaan Huang, Lih-Chyau Wuu, Ming-Shin Tsai: Distributed Execution Model for Self-Stabilizing Systems. 432-439

Cooperative Systems Techniques

Jian Zhao, Heinz Ulrich Hoppe: Supporting Flexible Communication in Heterogeneous Multi-User Environments. 442-449
Michael Merz, Kai Müller-Jones, Winfried Lamersdorf: Service Trading and Mediation in Distributed Computing Systems. 450-457
Lin Huang, David Alex Lamb: Communicating Abstract Data Type Values in Heterogeneous Distributed Programs. 458-465

Synchronization Methods

Ying Hao, Jyh-Charn Liu: Media Synchronization in ATM Network-Based Distributed Multimedia Systems. 468-475
Chang-Jia Wang, Liang-Seng Koh, Chao-Hui Wu, Ming T. Liu: A Multimedia Synchronization Protocol for ATM Networks. 476-483
Augusto Ciuffoletti: Using Simple Diffusion to Synchronize the Clocks in a Distributed System. 484-491

Object Environments

Chi-Leung Fung, Man-Chi Pong: MOCS: An Object-Oriented Programming Model for Multimedia Object Communication and Synchronization. 494-501
David Finkelstein, Donald Acton, Terry Coatta, Norman C. Hutchinson, Gerald W. Neufeld: Object Properties in the Raven System. 502-509
Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau: Arche: A Framework for Parallel Object-Oriented Programming Above a Distributed Architecture. 510-517
François Bourdon: The Automatic Positioning of Objects in COOL V2. 518-525

Replicated Databases

Gurdip Singh, Mahesh Bommareddy: Replica Placement in a Dynamic Network. 528-535
Jehan-François Pâris: A Highly Available Replication Control Protocol Using Volatile Witnesses. 536-543
Khaled A. S. Abdel-Ghaffar, Amr El Abbadi: Optimal Detection of a Corrupted Page in a Replicated File. 544-551
Jin Jing, Weimin Du, Ahmed K. Elmagarmid, Omran A. Bukhres: Maintaining Consistency of Replicated Data in Multidatabase Systems. 552-559

Network Communications

Alexander A. Hagin: Performability, Reliability and Survivability of Communication Networks: System of Methods and Models for Evaluation. 562-573
James W. Dolter, Stuart W. Daniel, Ashish Mehra, Jennifer Rexford, Wu-chang Feng, Kang G. Shin: SPIDER: Flexible and Efficient Communication Support for Point-to-Point Distributed Systems. 574-580
Yen-Min Huang, Chinya V. Ravishankar: Linguistic Support for Controlling Protocol Execution. 581-588
Younes M. Boura, Chita R. Das: Efficient Fully Adaptive Wormhole Routing in n-Dimensional Meshes. 589-596

Workstation Systems

Krzysztof Zielinski, M. Gajecki, Grzegorz Czajkowski: Parallel Programming Systems for LAN Distributed Computing. 600-607
Christian Trefftz, C. C. Huang, Philip K. McKinley, Tien-Yien Li, Z. Zeng: Design and Performance Evaluation of a Distributed Eigenvalue Solver on a Workstation Cluster. 608-615
K. Benmohammed-Mahieddine, Peter M. Dew, Mourad Kara: A Periodic Symmetrically-initiated Load Balancing Algorithm for Distributed Systems. 616-623

Global Predicate Systems

Mohan Ahuja, Shivakant Mishra: Units of Computation in Fault-Tolerant Distributed Systems. 626-633
Madalene Spezialetti, Rajiv Gupta: Debugging Distributed Programs through the Detection of Simultaneous Events. 634-641
Hsien-Kuang Chiou, Willard Korfhage: Efficient Global Event Predicate Detection. 642-649