16. ICDCS 1996: Hong Kong

Proceedings of the 16th International Conference on Distributed Computing Systems. May 27-30, 1996, Hong Kong, IEEE Computer Society, 1996

Fault-Tolerant Applications & Frameworks

Özalp Babaoglu, Alberto Bartoli, Gianluca Dini: On Programming with View Synchrony. 3-10 BibTeX
Sarah E. Chodrow, Mohamed G. Gouda: Sentries for the Execution of Concurrent Programs. 11-18 BibTeX
Yukihiro Hamada, Feng Bao, Aohan Mei, Yoshihide Igarashi: Fault-tolerant File Transmission by Information Dispersal Algorithm in Rotator Graphs. 19-25 BibTeX
Robert Grimm, Wilson C. Hsieh, Wiebren de Jonge, M. Frans Kaashoek: Atomic Recovery Units: Failure Atomicity for Logical Disks. 26-37 BibTeX

Real-Time Synchronization & Scheduling

Jun Sun, Jane W.-S. Liu: Synchronization Protocols in Distributed Real-Time Systems. 38-45 BibTeX
L. Ming: An Extended Network Scheduling Model. 46 BibTeX
Rwo-Hsi Wang, Aloysius K. Mok: Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs. 47-54 BibTeX
Rajiv Gupta, Daniel Mossé, Richard Suchoza: Real-Time Scheduling Using Compact Task Graphs. 55-63 BibTeX

Distributed Shared Memory

John K. Bennett, Katherine E. Fletcher, William Evan Speight: The Performance Value of Shared Network Caches in Clustered Multiprocessor Workstations. 64-74 BibTeX
Shih-Chen Huang, Zvi M. Kedem: Supporting a Flexible Parallel Programming Model on a Network of Workstations. 75-82 BibTeX
Keitaro Uehara, Shigekazu Inohara, Hajime Miyazawa, Kouhei Yamamoto, Takashi Masuda: A Framework for Customizing Coherence Protocols of Distributed File Caches. 83-90 BibTeX
Peter J. Keleher: The Relative Importance of Concurrent Writers and Weak Consistency Models. 91-99 BibTeX

Checkpointing & Recovering

D. Manivannan, Mukesh Singhal: A Low Overhead Recovery Technique Using Quasi-Synchronous Checkpointing. 100-107 BibTeX
Om P. Damani, Vijay K. Garg: How to Recover Efficiently and Asynchronously when Optimism Fails. 108-115 BibTeX
Sundar Kanthadai, Jennifer L. Welch: Implementation of Recoverable Distributed Shared Memory by Logging Writes. 116-124 BibTeX

Real-Time Communications

Biao Chen, H. Li, Wei Zhao: Meeting Delay Requirements in Computer Networks with Wormhole Routing. 125-132 BibTeX
C.-C. Chou, Kang G. Shin: Multiplexing Statistical Real-Time Channels in a Multiaccess Local-Area Network. 133-140 BibTeX
Seiji Murata, Atsushi Shionozaki, Mario Tokoro: Integrating Routing and Resource Reservation Mechanisms in Real-time Multicast Protocols. 141-149 BibTeX

Routing in Direct Networks

Bing-rung Tsai, Kang G. Shin: Combined Routing and Scheduling of Concurrent Communication Traffic in Hypercube Multicomputers. 150-157 BibTeX
S. Rahman, Chita R. Das: Parallel Simulation of Mesh Routing Algorithms. 158-165 BibTeX
Jie Wu: A Fault-Tolerant Distributed Unicasting Scheme for Cube-Based Multicomputers. 166-174 BibTeX

Support for Distributed Applications

Matthew J. Zelesko, David R. Cheriton: Specializing Object-Oriented RPC for Performance and Functionality. 175-187 BibTeX
Nayeem Islam, Amitabh Dave, Roy H. Campbell: Communication Compilation for Unreliable Networks. 188-195 BibTeX
Sandeep K. Singhal, David R. Cheriton: Using Projection Aggregations to Support Scalability to Distributed Simulation. 196-206 BibTeX

Scheduling

Babak Hamidzadeh, David J. Lilja: Dynamic Scheduling Strategies for Shared-memory Multiprocessors. 208-215 BibTeX
Wanqing Wu, Madalene Spezialetti, Rajiv Gupta: On-Line Avoidance of the Intrusive Affects of Monitoring on Runtime Scheduling Decisions. 216-223 BibTeX
Chung-yen Chang, Prasant Mohapatra: An Adaptive Job Allocation Method for Directly-Connected Multicomputer Systems. 224-232 BibTeX

Communication & Synchronization

Chung-Ta King, Jenq-Shyan Yang: Hardware Supports for Efficient Barrier Synchronization on 2-D Mesh Networks. 233-240 BibTeX
Dieter Scheerer, Eugen Schenfeld, Marc A. Viredas: Multi-Dimensional Locks with Online Allocation. 241-248 BibTeX
Marcelo M. de Azevedo, Douglas M. Blough: Fault-Tolerant Clock Synchronization of Large Multicomputers via Multistep Interactive Convergence. 249-257 BibTeX

Electronic Commerce, Protection & Verification

L. Tang: Verifiable Transaction Atomicity for Electronic Payment Protocols. 261-269 BibTeX
Steven P. Ketchpel, Hector Garcia-Molina: Making Trust Explicit in Distributed Commerce Transactions. 270-281 BibTeX
Daniel Hagimont, Jacques Mossière, Xavier Rousset de Pina, F. Saunier: Hidden Software Capabilities. 282-289 BibTeX
Masahiro Higuchi, J. Sano, K. Hara, Mamoru Fujii: A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. 290-298 BibTeX

Mobile Computing I

Prathima Agrawal, Partho Pratim Mishra, Mani B. Srivastava: Network Architecture for Mobile and Wireless ATM. 299-310 BibTeX
M. Song, Y. H. Choi, C. S. Kim: General Connection Rerouting Method for Various Connection-oriented Mobile Communication Networks. 311-318 BibTeX
Weidong Chen, Eric C. Lin: Route Optimization and Location Updates for Mobile Hosts. 319-326 BibTeX
B. R. Badrinath, Pradeep Sudame: To Send or not to Send: Implementing Deferred Transmissions in Mobile Hosts. 327-334 BibTeX

Routing & Protocols

Yih Huang, Philip K. McKinley: A Lightweight Protocol for Multipoint Connections under Link-State Routing. 335-343 BibTeX
Jorge Arturo Cobb, Mohamed G. Gouda: Group Routing without Group Routing Tables. 344-351 BibTeX
Paola Flocchini, Flaminia L. Luccio: Distance Routing on Series Parallel Networks. 352-359 BibTeX
Gurdip Singh, Zhenyu Mao: Structured Design of Multifunction Protocols. 360-368 BibTeX

Distributed Objects I

Rammohan Kordale, Mustaque Ahamad: A Scalable Technique for Implementing Multiple Consistency Levels for Distributed Objects. 369-376 BibTeX
Kamalakar Karlapalem, Qing Li, Stefan Vieweg: Method Induced Partitioning Schemes for Object-Oriented Databases. 377-384 BibTeX
Ming-Syan Chen, Jong Soo Park, Philip S. Yu: Efficient Data Mining for Path Traversal Patterns in Distributed Systems. 385-393 BibTeX

Persistence

Paulo Ferreira, Marc Shapiro: Larchant: Persistence by Reachability in Distributed Shared Memory Through Garbage Collection. 394-401 BibTeX
Weimin Yu, Alan L. Cox: Conservative Garbage Collection on DSM Systems. 402-410 BibTeX
M. Mira da Silva, Malcolm P. Atkinson, A. P. Black: Semantics for Parameter Passing in a Type-complete Persistent RPS. 411-419 BibTeX

Group Communications

Hiroaki Higaki, Y. Hirakawa: Group Communication for Upgrading Distributed Programs. 420-427 BibTeX
W. H. Liu, Cho-Li Wang, Viktor K. Prasanna: Portable Message Passing Algorithms for Irregular All-to-all Communication. 428-435 BibTeX
M. Frans Kaashoek, Andrew S. Tanenbaum: An Evaluation of the Amoeba Group Communication System. 436-448 BibTeX

Interoperable Databases

Anthony Tomasic, Louiqa Raschid, Patrick Valduriez: Scaling Heterogeneous Databases and the Design of Disco. 449-457 BibTeX
Ling Liu, Calton Pu, Roger S. Barga, Tong Zhou: Differential Evaluation of Continual Queries. 458-465 BibTeX
Jia-Ling Koh, Arbee L. P. Chen: Query Execution Strategies for Missing Data in Distributed Heterogeneous Object Databases. 466-474 BibTeX

Algorithms for Linguistic Support

Yuh-Jzer Joung, Scott A. Smolka: Strong Interaction Fairness via Randomization. 475-483 BibTeX
Crispin Cowan, Hanan Lutfiyya: A Wait-free Algorithm for Optimistic Programming: HOPE Realized. 484-493 BibTeX
Tim Wilkinson, Kevin Murray: Evaluation of a Distributed Single Address Space Operating System. 494-502 BibTeX

Multicast Protocols

Luís Rodrigues, Henrique Fonseca, Paulo Veríssimo: Totally Ordered Multicast in Large-Scale Systems. 503-510 BibTeX
Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Reservation-Based Totally Ordered Multicasting. 511-519 BibTeX
Kian-Lee Tan, Jeffrey Xu Yu: Energy Efficient Filtering of Nonuniform Broadcast. 520-528 BibTeX

Distributed Objects II

Oliver Ciupke, Dietmar A. Kottmann, Hans-Dirk Walter: Object Migration in Non-Monolithic Distributed Applications. 529-536 BibTeX
Wolfgang Golubski, Dietmar Lammers, Wolfram-Manfred Lippe: Theoretical and Empirical Results on Dynamic Load Balancing in an Object-Based Distributed Environment. 537-544 BibTeX
Jie Xu, Alexander B. Romanovsky, Brian Randell: Exception Handling and Resolution in Distributed Object-oriented Systems. 545-553 BibTeX

Performance Analysis

Damien De Paoli, Andrzej M. Goscinski, Michael Hobbs, Philip Joyce: Performance Comparison of Process Migration with Remote Process Creation and Execution in RHODOS. 554-561 BibTeX
Hironori Nakajo, Satoshi Ohtani, Yukio Kaneda: A Simulation-based Evaluation of a Disk I/O Subsystem for a Massively Parallel Computer: JUMP-1. 562-569 BibTeX
Jörg Liebeherr, Ian F. Akyildiz, Alan Tai: A Multi-level Explicit Rate Control Scheme for ABR Traffic with Heterogeneous Service Requirements. 570-578 BibTeX

Configuration Languages

Luc Bellissard, Slim Ben Atallah, Fabienne Boyer, Michel Riveill: Distributed Application Configuration. 579-585 BibTeX
Valérie Issarny, Christophe Bidan: Aster: A Framework for Sound Customization of Distributed Runtime Systems. 586-593 BibTeX
Peter Becker: An Embeddable and Extendable Language for Large-scale Programming on the Internet. 594-603 BibTeX

Distributed Deadlock & Data Structures

Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural: Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?). 605-612 BibTeX
Shigang Chen, Yi Deng, Paul C. Attie, Wei Sun: Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs. 613-619 BibTeX
Sajal K. Das, Maria Cristina Pinotti, Falguni Sarkar: Distributed Priority Queues on Hypercube Architectures. 620-628 BibTeX

Migration Strategies

Chin Lu, Sau-Ming Lau: An Adaptive Load Balancing Algorithm for Heterogeneous Distributed Systems with Multiple Task Classes. 629-636 BibTeX
E. T. Rousch, Roy H. Campbell: Fast Dynamic Process Migration. 637-645 BibTeX
Riccardo Bettati, Amit Gupta: Dynamic Resource Allocation Migration for Multiparty Real-Time Communications. 646-656 BibTeX

Web & Internet

Peter B. Danzig, Dante DeLucia, Katia Obraczka, Erh-Yuan Tsai: A Tool for Massively Replicating Internet Archives: Design, Implementation, and Experience. 657-664 BibTeX
Yew-Huey Liu, Paul Dantzig, Ching-Farn Eric Wu, Jim Challenger, Lionel M. Ni: A Distributed Scalable Web Server and Its Program Visualization in Multiple Platforms. 665-672 BibTeX
Chung-Min Chen, Kenneth Salem, Miron Livny: The DBC: Processing Scientific Data Over the Internet. 673-682 BibTeX

Transactions

George Samaras, Ajay D. Kshemkalyani, Andrew Citron: Context Management and its Applications to Distributed Transactions. 683-691 BibTeX
Rachid Guerraoui, Mikel Larrea, André Schiper: Reducing the Cost for Non-Blocking in Atomic Commitment. 692-697 BibTeX
Mike P. Papazoglou, Alex Delis, Mostafa Haghjoo, Athman Bouguettaya: Language Support for Long-lived Concurrent Activities. 698-706 BibTeX

Mutual Exclusion

Manhoi Choy: Robust Distributed Mutual Exclusion. 760-767 BibTeX
Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa: Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms. 708-716 BibTeX
Sujata Banerjee, Panos K. Chrysanthis: A New Token Passing Distributed Mutual Exclusion Algorithm. 717-724 BibTeX

Mobile Computing II

Tatsuo Nakajima, Akihiro Hokimoto, K. Kurihara: An Approach for Constructing Mobile Applications using Service Proxies. 726-733 BibTeX
Yasuro Sato, Michiko Inoue, Toshimitsu Masuzawa, Hideo Fujiwara: A Snapshot Algorithm for Distributed Mobile Systems. 734-743 BibTeX
Ravi Prakash, Michel Raynal, Mukesh Singhal: An Efficient Causal Ordering Algorithm for Mobile Computing Environments. 744-751 BibTeX