15. ICDCS 1995: Vancouver, British Columbia, Canada

Tools and Environments

• Salim Hariri, Sung-Yong Park, Rajashekar Reddy, Mahesh Subramanyan, Rajesh Yadav, Geoffrey Fox, Manish Parashar: Software Tool Evaluation Methodology. 3-10
• Krzysztof Zielinski, Aleksander Laurentowski, Jakub Szymaszek, Andrzej Uszok: A Tool for Monitoring Software-Heterogeneous Distributed Object Applications. 11-18
• Brad Topol, John T. Stasko, Vaidy S. Sunderam: Integrating Visualization Support into Distributed Computing Systems. 19-26
• Chris Greenhalgh, Steve Benford: MASSIVE: A Distributed Virtual Reality System Incorporating Spatial Trading. 27-34

Real-Time Communication

• Frank Adelstein, Mukesh Singhal: Real-Time Causal Message Ordering in Multimedia Systems. 36-43
• Jörg Liebeherr, Ian F. Akyildiz, Debapriya Sarkar: A New Protocol for Bandwidth Regulation of Real-Time Traffic Classes in Internetworks. 44-51
• Chih-Che Chou, Kang G. Shin: A Distributed Table-Driven Route Selection Scheme for Establishing Real-Time Video Channels. 52-59
• Amitava Raha, Sanjay Kamat, Wei Zhao: Guaranteeing End-to-End Deadlines in ATM Networks. 60-68

Consensus and Agreement

• Flaviu Cristian, Christof Fetzer: Fault-Tolerant External Clock Synchronization. 70-77
• Malte Borcherding: Efficient Failure Discovery with Limited Authentication. 78-82
• Luís Rodrigues, Paulo Veríssimo: Causal Separators for Large-Scale Multicast Communication. 83-91
• Wee Keong Ng, Chinya V. Ravishankar: Coterie Templates: A New Quorum Construction Method. 92-99

Transaction Processing

• Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz: Exploiting Transaction Semantics in Multidatabase Systems. 101-109
• Wenwey Hseush, Calton Pu: A Practical Technique for Asynchronous Transaction Processing. 110-117
• Jin Jing, Omran A. Bukhres, Ahmed K. Elmagarmid: Distributed Lock Management for Mobile Transactions. 118-125

Communication Protocols and Software

• Hubertus Franke, Ching-Farn Eric Wu, Michel Riviere, Pratap Pattnaik, Marc Snir: MPI Programming Environment for IBM SP1/SP2. 127-135
• Ajay V. Bakre, B. R. Badrinath: I-TCP: Indirect TCP for Mobile Hosts. 136-143
• Rajesh R. Talpade, Mostafa H. Ammar: Single Connection Emulation (SCE): An Architecture for Providing a Reliable Multicast Transport Service. 144-151

Mutual Exclusion and Deadlock Detection

• Shailaja Bulgannawar, Nitin H. Vaidya: A Distributed K-Mutual Exclusion Algorithm. 153-160
• Injong Rhee: A Fast Distributed Modular Algorithm for Resource Allocation. 161-168
• Soojung Lee, Junguk L. Kim: An Efficient Distributed Deadlock Detection Algorithm. 169-178

Panels

• Tom Rodden, Paul Dourish, Lennart E. Fahlén, Chris Greenhalgh, Atul Prakash, John Riedl: Computer Supported Cooperative Work: New Challenges or Old Problems (Panel). 180-181
• Aloysius K. Mok, Constance L. Heitmeyer, Kevin Jeffay, Michael B. Jones, C. Douglas Locke, Ragunathan Rajkumar: Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel). 182-184

Real-Time Distributed Systems

• Raed Alqadi, Parameswaran Ramanathan: Analysis of Resource Lower Bounds in Real-Time Applications. 188-195
• Sheng-Tzong Cheng, Shyh-In Hwang, Ashok K. Agrawala: Schedulability-Oriented Replication of Periodic Tasks in Distributed Real-Time Systems. 196-203
• Saurav Chatterjee, Jay K. Strosnider: Distributed Pipeline Scheduling: End-to-End Analysis of Heterogeneous, Multi-Resource Real-Time Systems. 204-211

Logging and Recovery

• Murthy V. Devarakonda, Bill Kish, Ajay Mohindra: Server Recovery Using Naturally Replicated State: A Case Study. 213-220
• Kam-Fai Wong: Performance Evaluation of Three Logging Schemes for a Shared-Nothing Database Server. 221-228
• Lorenzo Alvisi, Keith Marzullo: Message Logging: Pessimistic, Optimistic, and Causal. 229-236

Performance of Communication Systems

• Marco Oey, Koen Langendoen, Henri E. Bal: Comparing Kernel-Space and User-Space Communication Protocols on Amoeba. 238-245
• Nayeem Islam, Roy H. Campbell: Techniques for Global Optimization of Message Passing Communication on Unreliable Networks. 246-253
• Chengchang Huang, Yih Huang, Philip K. McKinley: A Thread-Based Interface for Collective Communication on ATM Networks. 254-261

Object-Based Systems

• Takanori Yokoyama, Masahiko Saito, Masaru Shimada, Satoru Murata: An Object-Based Distributed Computing Environment Based on a Reflective Architecture. 263-270
• Toshio Hirotsu, Hiroko Fujii, Mario Tokoro: A Multiversion Concurrent Object Model for Distributed and Multiuser Environments. 271-278
• Michel Banâtre, Yasmina Belhamissi, Valérie Issarny, Isabelle Puaut, Jean-Paul Routeau: Adaptive Placement of Method Executions within a Customizable Distributed Object-Based Runtime System: Design, Implementation, and Performance. 279-286

Remote Procedure Call and Group Communication

• Matti A. Hiltunen, Richard D. Schlichting: Constructing a Configurable Group RPC Service. 288-295
• Paul D. Ezhilchelvan, Raimundo A. Macêdo, Santosh K. Shrivastava: Newtop: A Fault-Tolerant Group Communication Protocol. 296-306
• Tae-Hyung Kim, James M. Purtilo: Configuration-Level Optimization of RPC-Based Distributed Programs. 307-315

Communication Systems

• K. H. Yeung, T. S. Yum: Selective Broadcast Data Distribution Systems. 317-324
• Sanjay Kamat: An Efficient Optimal Reconfiguration Algorithm for FBRNs. 325-332
• Germán S. Goldszmidt, Yechiam Yemini: Distributed Management by Delegation. 333-340

Panels

• Joann J. Ordille, Oswald Drobnik, Michael R. Genesereth, Y. Lashkari, Bart Selman: Intelligent Agents in Distributed Systems (Panel). 342
• Chris Clifton, Peter Gemmel, Ed Means, Matt J. Merges, J. D. Tygar: How are We Going to Pay for This? Fee-for-Service in Distributed Systems: Research and Policy Issues (Panel). 344-348

Monitoring and Testing

• Scott Dawson, Farnam Jahanian: Probing and Fault Injection of Protocol Implementations. 351-359
• Richard H. Carver, Kuo-Chung Tai: Test Sequence Generation from Formal Specifications of Distributed Programs. 360-367
• Rajiv Gupta, Madalene Spezialetti: Dynamic Techniques for Minimizing the Intrusive Effect of Monitoring Actions. 368-376
• Madalene Spezialetti, Scott Bernberg: EVEREST: An Event Recognition Testbed. 377-385

Distributed Databases

• Peter Scheuermann, Eugene Inseok Chong: Distributed Join Processing Using Bipartite Graphs. 387-394
• Oliver E. Theel, Henning Pagnia-Koch: General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules. 395-403
• Evaggelia Pitoura, Bharat K. Bhargava: Maintaining Consistency of Data in Mobile Distributed Environments. 404-413
• Jeannette M. Wing, David C. Steere: Specifying Weak Sets. 414-421

Theory and Algorithms

• Vijay K. Garg, Craig M. Chase: Distributed Algorithms for Detecting Conjunctive Predicates. 423-430
• Eddy Fromentin, Michel Raynal: Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation. 431-438
• Alan Fekete, M. Frans Kaashoek, Nancy A. Lynch: Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication. 439-449
• Shlomi Dolev, Michael Kate, Jennifer L. Welch: A Competitive Analysis for Retransmission Timeout. 450-455

Distributed Systems Architecture

• Kerhong Chen, Richard B. Bunt, Derek L. Eager: Write Caching in Distributed File Systems. 457-466
• Partha Dasgupta, Zvi M. Kedem, Michael O. Rabin: Parallel Processing on Networks of Workstations: A Fault-Tolerant, High Performance Approach. 467-474
• Douglas V. Hall, Michael A. Driscoll: Hardware for Fast Global Operations on Workstation Cluster Multicomputers. 475-482

Task Allocation and Load Balancing

• Sivarama P. Dandamudi: Performance Impact of Scheduling Discipline on Adaptive Load Sharing in Homogeneous Distributed Systems. 484-492
• Bing-rung Tsai, Kang G. Shin: Mapping Concurrently-Communicating Modules onto Mesh Multicomputers Equipped with Virtual Channels. 493-500
• Seong-Moo Yoo, Hee Yong Youn: An Efficient Task Allocation Scheme for Two-Dimensional Mesh-Connected Systems. 501-508

Specification and Implementation of Protocols

• Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi: Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. 510-517
• Kshirasagar Naik: Distributed Implementation of Multi-Rendezvous in LOTOS Using the Orthogonal Communication Structure in Linda. 518-525
• Y. Dakroury, J. P. Elloy, R. Ricordel: Specification of a Secured Multi-Server MMS Protocol. 526-533

Panel

• Larry D. Wittie: Distributed Computing in 2010 (Panel). 535