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 BibTeX
Ramón Cáceres, Liviu Iftode: The Effects of Mobility on Reliable Transport Protocols. 12-20 BibTeX
B. R. Badrinath, Arup Acharya, Tomasz Imielinski: Structuring Distributed Algorithms for Mobile Hosts. 21-28 BibTeX
Mike Spreitzer, Marvin Theimer: Architectural Considerations for Scalable, Secure, Mobile Computing with Location information. 29-38 BibTeX

Mobile Systems

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

Mutual Exclusion

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

Naming and Information Systems

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

Object Mechanisms

Marc Shapiro: A Binding Protocol for Distributed Shared Objects. 134-141 BibTeX
Kenji Kono, Kazuhiko Kato, Takashi Masuda: Smart Remote Procedure Calls: Transparent Treatment of Remote Pointers. 142-151 BibTeX
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 BibTeX

Real-Time Scheduling

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

Experimental Systems

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

Fault Tolerance and Recovery

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

Distributed Control

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

Multimedia

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

Cooperative Environments

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

Distributed Memory Management

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

Multidatabases

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

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 BibTeX
Robert H. B. Netzer, Sairam Subramanian, Jian Xu: Critical-Path-Based Message Logging for incremental Replay of Message-Passing Programs. 404-413 BibTeX
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 BibTeX

Self-Stabilizing Systems

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

Cooperative Systems Techniques

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

Synchronization Methods

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

Object Environments

Chi-Leung Fung, Man-Chi Pong: MOCS: An Object-Oriented Programming Model for Multimedia Object Communication and Synchronization. 494-501 BibTeX
David Finkelstein, Donald Acton, Terry Coatta, Norman C. Hutchinson, Gerald W. Neufeld: Object Properties in the Raven System. 502-509 BibTeX
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 BibTeX
François Bourdon: The Automatic Positioning of Objects in COOL V2. 518-525 BibTeX

Replicated Databases

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

Network Communications

Alexander A. Hagin: Performability, Reliability and Survivability of Communication Networks: System of Methods and Models for Evaluation. 562-573 BibTeX
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 BibTeX
Yen-Min Huang, Chinya V. Ravishankar: Linguistic Support for Controlling Protocol Execution. 581-588 BibTeX
Younes M. Boura, Chita R. Das: Efficient Fully Adaptive Wormhole Routing in n-Dimensional Meshes. 589-596 BibTeX

Workstation Systems

Krzysztof Zielinski, M. Gajecki, Grzegorz Czajkowski: Parallel Programming Systems for LAN Distributed Computing. 600-607 BibTeX
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 BibTeX
K. Benmohammed-Mahieddine, Peter M. Dew, Mourad Kara: A Periodic Symmetrically-initiated Load Balancing Algorithm for Distributed Systems. 616-623 BibTeX

Global Predicate Systems

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