NSCHNEIDEWIND@A.ISI.EDU (Norm Schneidewind) (05/03/89)
For additional information about this conference, please contact the
Program Chairman:
Prof. Norman Schneidewind
Naval Postgraduate School
Code 54 Ss
Monterey, CA 93943
408-646-2719/2471 (message)
nschneidewind at a.isi.edu
The 9th International Conference on Distributed Computer Systems
FINAL PROGRAM
Conference-at-a glance
Pre-Conference Tutorials
------------------------
Monday, June 5, 1989
8:30am-5:00 pm
Tutorial 1: Fault-Tolerant Computation
Dr. Flaviu Cristian , IBM Almaden Research Laboratory
Tutorial 2: Concurrency and Coherency Control for Multi-System
Transaction Processing
Dr. Alexander Thomasian and Dr. Erhard Rahm,
IBM Yorktown Heights
---------------------------------------------------------------------------
Tuesday Wednesday Thursday
TIME June 6, 1989 June 7, 1989 June 8, 1989
---------------------------------------------------------------------------
8:30 am- PLENARY SESSION 4A. Reliability 8A. Transaction
10:00 am Keynote Speaker Models of Management
Distributed and Query
Processing Processing
4B. Distributed 8B. Communication Programming Network
Languages Performance
and Tools
4C. Real-Time
Systems
---------------------------------------------------------------------------
10:00 am- BREAK BREAK BREAK
10:30 am
-------------------------------------------------------------------------
10:30 am- 1A. Distributed 5A. Fault Tolerant 9A. Replication
12:00 noon Algorithms Databases and Management
File System
Design
1B. Distributed OS 5B. Hybercubes 9B. Distributed
Performance System
Performance
5C. Formal Models
and Algorithms
---------------------------------------------------------------------------
12:00 noon- LUNCH LUNCH LUNCH
1:30 pm
---------------------------------------------------------------------------
1:30 pm- 2A. Backup and 6A. Load Sharing 10A.Fault Tolerance
3:00 pm Consistency Distributed
Algorithms
2B. Distributed 6B. Experimental 10B.Distributed
Control Distributed Architectures
Systems
6C. Communications
----------------------------------------------------------------------------
3:00 pm- BREAK BREAK BREAK
3:30 pm
----------------------------------------------------------------------------
3:30 pm- 3A. Synchronization 7A. Concurrency 11A.Reliable
5:00 pm Control Distributed
Protocols
3B. Distributed OS 7B. Panel 11B.Advances in
Consistency Discussion: Distributed
Distributed Software
Shared Memory Development
-----------------------------------------------------------------------------
6:00 pm- BANQUET
8:00 pm
-----------------------------------------------------------------------------
8:30 pm- Panel Discussion: Technical Committee
10:30 pm Critical Issues for on Distributed
the Development of Processing Meeting
Next Generation
Distributed Systems
------------------------------------------------------------------------------
Post-Conference Tutorials
-------------------------
Friday, June 9, 1989
8:30 am-5:00 pm
Tutorial 3: Parallel Processing Networks and Systems
Dr. Howard Jay Siegel, Purdue University
Tutorial 4: Distributed Database Management Systems
Dr. Saeed Rahimi, Infospan and University of Minnesota
FINAL PROGRAM
TUESDAY, June 6, 1989
--------------------------------------
8:30 am - 10:00 a.m. PLENARY SESSION
--------------------------------------
Opening Remarks: Kane Kim, University of
California, Irvine
Technical Program: Norman Schneidewind,
Naval Postgraduate School
Presentation of Best Paper Award: Mile Liu,
Ohio State University
Keynote Speech: William Wulf,
National Science Foundation
SESSION 1A: DISTRIBUTED ALGORITHMS
Chair: Bezalel Gavish, Naval Postgraduate School and Vanderbilt University
A Distributed Algorithm for Minimum Weight Spanning
Trees Based on Echo Algorithms
Mohan Ahuja
Yahui Zhu
Decentralized Evaluation of Associative and
Commutative Functions
Chyuan Samuel Hsieh
A Randomized Technique for Remote File Comparison
Daniel Barbara'
Richard J. Lipton
SESSION 1B: DISTRIBUTED OPERATING
SYSTEM PERFORMANCE
Chair: Andre van Tilborg, Office of Naval Research
The Design of a High-Performance File Server
Robbert van Renesse
Andrew S. Tanenbaum
Annita Wilschut
QuickSilver Support for Access to Data
in Large, Geographically Dispersed Systems
Marvin Theimer
Luis-Felipe Cabrera
Jim Wyllie
Performance Implications of Design Alternatives for
Remote Procedure Call Stubs
Sung K. Chung
Edward D. Lazowska
David Notkin
John Zahorjan
SESSION 2A: BACKUP AND CONSISTENCY
Chair: C.V. Ramamoorthy, University of California, Berkeley
Transparent Concurrent Execution of Mutually
Exclusive Alternatives
Jonathan M. Smith
Gerald Q. Maguire, Jr.
Message-Optimal Incremental Snapshots
S. Venkatesan
Simultaneous Regions: A Framework for the
Consistent Monitoring of Distributed Systems
M. Spezialetti
J.P. Kearns
SESSION 2B: DISTRIBUTED CONTROL
Chair: Tom LeBlanc, University of Rochester
A Dynamic Information-Structure Mutual Exclusion
Algorithm for Distributed Systems
Mukesh Singhal
Detecting Termination of Distributed Computations
by External Agents
Shing-Tsaan Huang
Securely Replicating Authentication Services
Li Gong
SESSION 3A: SYNCHRONIZATION
Chair: Kinji Mori, Hitachi, Ltd., Japan
Message Complexity of Simple Ring-based Election
Algorithms - an Empirical Analysis
Friedemann Mattern
Optimization And Evaluating Algorithms For
Replicated Data Concurrency Control
Akhil Kumar
Arie Segev
Low Cost Algorithms for Message Delivery in Dynamic
Multicast Groups
Nasr E. Belkeir
Mustaque Ahamad
SESSION 3B: DISTRIBUTED OS CONSISTENCY
Chair: Virginia Kobler, U.S. Army
Immediate Ordered Service in Distributed Systems
Phil Kearns
Brahma Koodalattupuram
Linking Consistency with Object/Thread Semantics:
An Approach to Robust Computation
Raymond C. Chen
Partha Dasgupta
Fault-Tolerant Distributed Systems Based on
Broadcast Communication
P.M. Melliar-Smith
L.E. Moser
PANEL DISCUSSION: CRITICAL ISSUES FOR THE DEVELOPMENT OF NEXT-GENERATION
DISTRIBUTED SYSTEMS
Chair: Horst Wedde, Wayne State University
Members:
Bharat Bhargava, Purdue University
Flaviu Cristian, IBM
Hector Garcia-Molina, Princeton University
Gerard LeLann, INRIA, France
Miroslav Malek, University of Texas
Krithi Ramamritham, University of Massachusetts
Andre van Tilborg, Office of Naval Research
SESSION 4A: RELIABILITY MODELS OF
DISTRIBUTED PROCESSING
Chair: Edgar Nett, GMD, FRG
On Reliability Modelling of Fault-Tolerant
Distributed Systems
Philip Thambidurai
You-Keun Park
Kishor S. Trivedi
Fault-Tolerant Extensions of Complete Multipartite Graphs
R. Dawson
Abdel Aziz Farrag
Application of Petri Net Models for the Evaluation
of Fault-Tolerant Techniques in Distributed Systems
Yuan-bao Shieh
Dipak Ghosal
Prasad R. Chintamaneni
Satish K. Tripathi
SESSION 4B: DISTRIBUTED PROGRAMMING LANGUAGES AND TOOLS
Chair: Gail Kaiser, Columbia University
Concert: A High-Level Language Approach to
Heterogeneous Distributed Systems
Shaula A. Yemini
German S. Goldszmidt
Alexander D. Stoyenko
Y.-H. Wei
Langdon W. Beeck
The Camelot Library: A C Language Extension for
Programming a General Purpose Distributed
Transaction System
Joshua J. Bloch
Marionette: a System for Parallel Distributed Programming
Using a Master/Slave Model
Mark Sullivan
David Anderson
SESSION 4C: REAL-TIME SYSTEMS
Chair: Alex Stoyenko, IBM
Static Allocation of Periodic Tasks with Precedence
Constraints in Distributed Real-Time Systems
Dar-Tzen Peng
Kang G. Shin
Timed Atomic Commitment
Susan Davidson
Insup Lee
Victor Wolfe
Verification of finite state real-time distributed processes
J.S. Ostroff
SESSION 5A: FAULT TOLERANT DATABASES
AND FILE SYSTEM DESIGN
Chair: Gerard LeLann, INRIA, France
Generating a Fault Tolerant Global Clock in
a High Speed Distributed System
Yoram Ofek
Fault Tolerance in a Very Large Database System:
A Strawman Analysis
Amit P. Sheth
An Application of Group Testing to the File
Comparison Problem
Tom Madej
SESSION 5B: HYBERCUBES
Chair: Charles Vick, Optimization Technology, Inc.
Initializing Hypercubes
Howard P. Katseff
Programming the Twisted-Cube Architectures
Kemal Efe
A New Approach To Hypercube Network Analysis
Bo Jin
Lan Jin
SESSION 5C: FORMAL MODELS AND ALGORITHMS
Chair: Krithi Ramamritham, University of Massachusetts
A Shared Dataspace Model of Concurrency
- Language and Programming Implications -
Gruia-Catalin Roman
H. Conrad Cunningham
Analysis of Communicating Processes for non-progress
Wuxu Peng
S. Purushothaman
A Probabilistic Approach to Distributed Clock Synchronization
Flaviu Cristian
SESSION 6A: LOAD SHARING
Chair: Nader Bagherzadeh, University of California, Irvine
Adaptive Load Sharing in Heterogeneous Systems
Ravi Mirchandaney
Don Towsley
John A. Stankovic
Minimizing Control Overheads in Adaptive Load Sharing
Kemal Efe
Bojan Groselj
Efficient Algorithms for Resource Allocation in
Distributed and Parallel Query Processing Environments
Peng Liu
Yasushi Kiyoki
Takashi Masuda
SESSION 6B: EXPERIMENTAL DISTRIBUTED SYSTEMS
Chair: Thomas Raeuchle, Honeywell Research
A Service Execution Mechanism for a Distributed Environment
Craig E. Wills
Transparent Distributed Object Management Under
Completely Decentralized Control
Horst F. Wedde
Bogdan Korel
Willie G. Brown
Shengdong Chen
Performance of a Decentralized Knowledge Base System
Craig Lee
Lubomir Bic
SESSION 6C: COMMUNICATIONS
Chair: Horst Wedde, Wayne State University
Message Ordering in a Multicast Environment
Hector Garcia-Molina
Annemarie Spauster
Some Graph Partitioning Problems and Algorithms
Related to Routing in Large Computer Networks
A. Bouloutas
P. M. Gopal
Intelligent Routers
C. Daniel Wolfson
Ellen Voorhees
Maura M. Flatley
SESSION 7A: CONCURRENCY CONTROL
Chair: Barton Miller, University of Wisconsin
Evaluation of Concurrent Pools
C.S. Ellis
A Time Out Based Resilient Token Transfer Algorithm
for Mutual Exclusion in Computer Networks
Shojiro Nishio
K.F. Li
Eric G. Manning
Voting with Bystanders
Jehan-Francois Paris
SESSION 7B: PANEL DISCUSSION: DISTRIBUTED SHARED MEMORY
Chair: Umakishore Ramachandran Georgia Institute of Technology
Members:
Larry Wittie, SUNY, Stony Brook
David Jefferson, UCLA
Andrew Black, DEC
Luis-Felipe Cabrera, IBM Almaden
SESSION 8A: TRANSACTION MANAGEMENT AND
QUERY PROCESSING
Chair: John Stankovic, University of Massachusetts
Adaptive Transaction Routing in a Heterogeneous
Database Environment
Avraham Leff
Philip S. Yu
Yann-Hang Lee
Distributed Query Processing in Cronus
Stephen T. Vinter
Richard Floyd
Nikanth Phadnis
A Model for Concurrent Checkpointing and Recovery
Using Transactions
Pei-Jyun Leu
Bharat Bhargava
SESSION 8B: COMMUNICATION NETWORK PERFORMANCE
Chair: Robert Hagmann, Xerox PARC
A High Performance Virtual Token-Passing Multiple
Access Method for Multiple-Bus Local Networks
V.V Karmarkar
J.G. Kuhl
Performance Analysis of Synchronous Packet Networks
with Priority Queueing Disciplines
Audrey M. Viterbi
Capacity Testing a Hyperchannel-Based Local Area Network
W. Bruce Watson
SESSION 9A: REPLICATION MANAGEMENT
Chair: Walter Kohler, DEC
A Flexible Algorithm for Replicated Directory Management
Sunil Sarin
Nilkanth Phadnis
Richard Floyd
The Reliability of Regeneration-Based Replica
Control Protocols
Darrell D.E. Long
John L. Carroll
Kris Stewart
Replicated Transactions
Pui Tony Ng
Shaw-Ben Shi
SESSION 9B: DISTRIBUTED SYSTEM PERFORMANCE
Chair: Susan Davidson, University of Pennsylvania
Collecting Unused Capacity: An Analysis of
Transient Distributed Systems
Leonard Kleinrock
Willard Korfhage
Performance Modeling of the Modified Mesh-Connected
Parallel Computer
Chia-Jiu Wang
Victor Nelson
C. H. Wu
An Analysis of Distributed Shared Memory Algorithms
R. E. Kessler
Miron Livny
SESSION 10A: FAULT TOLERANCE DISTRIBUTED ALGORITHMS
Chair: Ralf M. Yanney, TRW Defense Systems Group
Reliable Distributed Sorting Through the
Application Oriented Fault-Tolerance Paradigm
Bruce M. McMillin
Lionel M. Ni
On the Design of Resilient Protocols for Spanning
Tree Problems
I. Arieh Cimet
C. Cheng
Srikanta P.R. Kumar
Fault-Tolerant Analysis and Algorithms for a Proposed
Augmented Binary Tree Architecture
Bijendra N. Jain
Ravi Mittal
Rakesh K. Patney
SESSION 10B: DISTRIBUTED ARCHITECTURES
Chair: Niraj Sharma, Purdue University
Fast Ring: A Distributed Architecture and Protocol
for Local Area Distributed Processing
Srinivas R. Koppolu
S. Thanawastien
Robert R. Henry
HPC/VORX: A Local Area Multicomputer System
R.D. Gaglianello
B.S. Robinson
T.L. Lindstrom
E.E. Sampieri
Implementing Location Independent Invocation
Andrew P. Black
Yeshayahu Artsy
SESSION 11A: RELIABLE DISTRIBUTED PROTOCOLS
Chair: John A. Rohr, Jet Propulsion Laboratory
Distributed Diagnosis of Byzantine Processors and Links
Joel C. Adams
K.V.S. Ramarao
Implementation of the Conversion Scheme in Loosely
Coupled Distributed Computer Systems
S.M. Yang
K.H. Kim
Missing Partition Dynamic Voting Scheme for
Replicated Database Systems
Ching-Liang Haung
Victor O.K. Li
SESSION 11B: ADVANCES IN DISTRIBUTED SOFTWARE DEVELOPMENT
Chair: Charles Graff, U.S. Army
An Environment for Prototyping Distributed Applications
James M. Purtilo
Pankaj Jalote
Toolkit for Automated Support of Ada Tasking Analysis
Sol M. Shatz
D. Moorthi
K. Mai
J. Woodward
An Approach to Verification of Communication in
Distributed Computing Systems Software
Stephen S. Yau
Kris W.I. Chen
-------