The Community for Technology Leaders
Proceedings. The 9th International Conference on Distributed Computing Systems (1989)
Newport Beach, CA, USA
June 5, 1989 to June 9, 1989
ISBN: 0-8186-1953-8
TABLE OF CONTENTS

A distributed algorithm for minimum weight spanning trees based on echo algorithms (PDF)

M. Ahuja , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Y. Zhu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 2-8

Decentralized evaluation of associative and commutative functions (PDF)

S. Hsieh , Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
pp. 9-11

A randomized technique for remote file comparison (PDF)

D. Barbara , Dept. of Comput. Sci., Princeton Univ., NJ, USA
R.J. Lipton , Dept. of Comput. Sci., Princeton Univ., NJ, USA
pp. 12-19

The design of a high-performance file server (PDF)

R. van Renesse , Dept. of Comput. Sci., Vrije Univ., Netherlands
A.S. Tanenbaum , Dept. of Comput. Sci., Vrije Univ., Netherlands
A. Wilschut , Dept. of Comput. Sci., Vrije Univ., Netherlands
pp. 22-27

QuickSilver support for access to data in large, geographically dispersed systems (PDF)

M. Theimer , IBM Almaden Res. Center, San Jose, CA, USA
L.-F. Cabrera , IBM Almaden Res. Center, San Jose, CA, USA
J. Wyllie , IBM Almaden Res. Center, San Jose, CA, USA
pp. 28-35

Performance implications of design alternatives for remote procedure call stubs (PDF)

S.K. Chung , Dept. of Comput. Sci., Washington Univ., Seattle, WA, USA
E.D. Lazowska , Dept. of Comput. Sci., Washington Univ., Seattle, WA, USA
D. Notkin , Dept. of Comput. Sci., Washington Univ., Seattle, WA, USA
J. Zahorjan , Dept. of Comput. Sci., Washington Univ., Seattle, WA, USA
pp. 36-41

Transparent concurrent execution of mutually exclusive alternatives (PDF)

J.M. Smith , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
G.Q. Maguire , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 44-52

Message-optimal incremental snapshots (PDF)

S. Venkatesan , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 53-60

A dynamic information-structure mutual exclusion algorithm for distributed systems (PDF)

M. Singhal , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 70-78

Detecting termination of distributed computations by external agents (PDF)

S.-T. Huang , Inst. of Comput. Sci., Nat. Tsing-Hua Univ., HsinChu, Taiwan
pp. 79-84

Securely replicating authentication services (Abstract)

L. Gong , Comput. Lab., Cambridge Univ., UK
pp. 85-91

Message complexity of simple ring-based election algorithms-an empirical analysis (PDF)

F. Mattern , Dept. of Comput. Sci., Kaiserslautern Univ., West Germany
pp. 94-100

Optimizing and evaluating algorithms for replicated data concurrency control (PDF)

A. Kumar , Graduate Sch. of Manage., Cornell Univ., Ithaca, NY, USA
pp. 101-109

Low cost algorithms for message delivery in dynamic multicast groups (PDF)

N.E. Belkeir , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
M. Ahamad , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 110-117

Linking consistency with object/thread semantics: an approach to robust computation (PDF)

R. Chen , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
P. Dasgupta , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 121-128

Fault-tolerant distributed systems based on broadcast communication (PDF)

P.M. Melliar-Smith , California Univ., Santa Barbara, CA, USA
L.E. Moser , California Univ., Santa Barbara, CA, USA
pp. 129-134

Fault-tolerant extensions of complete multipartite networks (PDF)

A.A. Farrag , Dept. of Math. & Comput. Sci., Dalhousie Univ., Halifax, NS, Canada
R.J. Dawson , Dept. of Math. & Comput. Sci., Dalhousie Univ., Halifax, NS, Canada
pp. 143-150

CONCERT: a high-level-language approach to heterogeneous distributed systems (PDF)

S.A. Yemini , IBM T.J. Watson Res. Center, Yorktown Heights, NY, USA
G.S. Goldszmidt , IBM T.J. Watson Res. Center, Yorktown Heights, NY, USA
A.D. Stoyenko , IBM T.J. Watson Res. Center, Yorktown Heights, NY, USA
Y.-H. Wei , IBM T.J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 162-171

The Camelot library: A C language extension for programming a general purpose distributed transaction system (PDF)

J.J. Bloch , Sch. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 172-180

Marionette: a system for parallel distributed programming using a master/slave model (PDF)

M. Sullivan , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
D. Anderson , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 181-188

Static allocation of periodic tasks with precedence constraints in distributed real-time systems (PDF)

D.-T. Peng , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 190-198

A protocol for timed atomic commitment (PDF)

S. Davidson , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
I. Lee , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
V. Wolfe , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
pp. 199-206

Verifying finite state real-time discrete event processes (PDF)

J.S. Ostroff , Dept. of Comput. Sci., York Univ., North York, Ont., Canada
pp. 207-216

Generating a fault tolerant global clock in a high speed distributed system (PDF)

Y. Ofek , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 218-226

An application of group testing to the file comparison problem (PDF)

T. Madej , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 237-243

Initializing hypercubes (PDF)

H.P. Katseff , AT&T Bell Labs., Holmdel, NJ, USA
pp. 246-253

Programming the twisted-cube architectures (PDF)

K. Efe , Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA
pp. 254-262

A new approach to hypercube network analysis (PDF)

B. Jin , Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA
L. Jin , Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 263-268

A shared dataspace model of concurrency-language and programming implications (PDF)

G.-C. Roman , Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
H.C. Cunningham , Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
pp. 270-279

Analysis of communicating processes for non-progress (PDF)

W. Peng , Dept. of Comput. Sci., Pennsylvania State Univ., University Park, PA, USA
S. Purushothaman , Dept. of Comput. Sci., Pennsylvania State Univ., University Park, PA, USA
pp. 280-287

A probabilistic approach to distributed clock synchronization (PDF)

F. Cristian , IBM Almaden Res. Center, San Jose, CA, USA
pp. 288-296

Adaptive load sharing in heterogeneous systems (PDF)

R. Mirchandaney , Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
pp. 298-306

Minimizing control overheads in adaptive load sharing (PDF)

K. Efe , Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA
B. Groselj , Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA
pp. 307-315

Efficient algorithms for resource allocation in distributed and parallel query processing environments (PDF)

P. Liu , Inst. of Inf. Sci. & Electron., Tsukuba Univ., Japan
Y. Kiyoki , Inst. of Inf. Sci. & Electron., Tsukuba Univ., Japan
pp. 316-323

A service execution mechanism for a distributed environment (PDF)

C.E. Wills , Purdue Univ., West Lafayette, IN, USA
pp. 326-334

Transparent distributed object management under completely decentralized control (PDF)

H.F. Wedde , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
B. Korel , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
W.G. Brown , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
S. Chen , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 335-342

Performance of a decentralized knowledge base system (PDF)

C. Lee , California Univ., Irvine, CA, USA
L. Bic , California Univ., Irvine, CA, USA
pp. 343-352

Message ordering in a multicast environment (PDF)

H. Garcia-Molina , Dept. of Comput. Sci., Princeton Univ., NJ, USA
A. Spauster , Dept. of Comput. Sci., Princeton Univ., NJ, USA
pp. 354-361

Intelligent routers (PDF)

C.D. Wolfson , Siemens Corp. Res. Inc., Princeton, NJ, USA
E.M. Voorhees , Siemens Corp. Res. Inc., Princeton, NJ, USA
M.M. Flatley , Siemens Corp. Res. Inc., Princeton, NJ, USA
pp. 371-376

Evaluation of concurrent pools (PDF)

D. Kotz , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
C.S. Ellis , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
pp. 378-385

Voting with bystanders (PDF)

J.-F. Paris , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 394-401

Adaptive transaction routing in a heterogeneous database environment (PDF)

A. Leff , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
P.S. Yu , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
Y.-H. Lee , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 406-413

A model for concurrent checkpointing and recovery using transactions (PDF)

P.-J. Leu , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
B. Bhargava , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 423-430

Performance analysis of synchronous packet networks with priority queueing disciplines (PDF)

A.M. Viterbi , Dept. of Electr. Eng., California Univ., Irvine, CA, USA
pp. 440-447

Capacity testing a HYPERchannel-based local area network (PDF)

W.B. Watson , Lawrence Livermore Nat. Lab., CA, USA
pp. 448-454

The reliability of regeneration-based replica control protocols (PDF)

D.D.E. Long , Dept. of Comput. & Inf. Sci., California Univ., Santa Cruz, CA, USA
pp. 465-473

Replicated transactions (PDF)

T.P. Ng , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
S.S.B. Shi , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 474-480

Collecting unused processing capacity: an analysis of transient distributed systems (PDF)

L. Kleinrock , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
W. Korfhage , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
pp. 482-489

Performance modeling of the modified mesh-connected parallel computer (PDF)

C.J. Wang , Dept. of Electr. & Comput. Eng., Colorado Univ., Colorado Springs, CO, USA
pp. 490-497

An analysis of distributed shared memory algorithms (PDF)

R.E. Kessler , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
M. Livny , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
pp. 498-505

Reliable distributed sorting through the application-oriented fault tolerance paradigm (PDF)

B.M. McMillin , Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
pp. 508-515

Fault-tolerant analysis and algorithms for a proposed augmented binary tree architecture (PDF)

B.N. Jain , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., New Delhi, India
pp. 524-531

Fast Ring: a distributed architecture and protocol for local area distributed processing (PDF)

S.R. Koppolu , Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA
S. Thanawastien , Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA
R.R. Henry , Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA
pp. 534-541

HPC/VORX: a local area multicomputer system (PDF)

R.D. Gaglianello , AT&T Bell Lab., Holmdel, NJ, USA
B.S. Robinson , AT&T Bell Lab., Holmdel, NJ, USA
T.L. Lindstrom , AT&T Bell Lab., Holmdel, NJ, USA
E.E. Sampieri , AT&T Bell Lab., Holmdel, NJ, USA
pp. 542-549

Implementing location independent invocation (PDF)

A.P. Black , Digital Equipment Corp., Littleton, MA, USA
Y. Artsy , Digital Equipment Corp., Littleton, MA, USA
pp. 550-559

Distributed diagnosis of Byzantine processors and links (PDF)

J.C. Adams , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
K.V.S. Ramarao , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 562-569

Implementation of the conversion scheme in loosely coupled distributed computer systems (PDF)

S.M. Yang , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
pp. 570-578

Missing-partition dynamic voting scheme for replicated database systems (PDF)

C.-L. Huang , Dept. of Electr. Eng., Univ. of Southern California, Los Angeles, CA, USA
V.O.K. Li , Dept. of Electr. Eng., Univ. of Southern California, Los Angeles, CA, USA
pp. 579-586

An environment for prototyping distributed applications (PDF)

J.M. Purtilo , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
P. Jalote , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 588-594

A toolkit for automated support of Ada tasking analysis (PDF)

S.M. Shatz , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
K. Mai , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
D. Moorthi , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
J. Woodward , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 595-602

An approach to verification of communication in distributed computing system software (PDF)

S.S. Yau , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 603-610

Immediate ordered service in distributed systems (PDF)

P. Kearns , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
pp. 611-618
93 ms
(Ver 3.3 (11022016))