The Community for Technology Leaders
14th International Conference on Distributed Computing Systems (1994)
Pozman, Poland
June 21, 1994 to June 24, 1994
ISBN: 0-8186-5840-1
TABLE OF CONTENTS

Scalable and robust internetwork routing for mobile hosts (PDF)

D.B. Johnson , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 2-11

The effects of mobility on reliable transport protocols (PDF)

R. Caceres , Matsushita Inf. Technol. Lab., Princeton, NJ, USA
pp. 12-20

Structuring distributed algorithms for mobile hosts (PDF)

B.R. Badrinath , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
A. Acharya , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
T. Imielinski , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
pp. 21-28

Content routing in a network of WAIS servers (PDF)

A. Duda , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
M.A. Sheldon , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 124-132

Architectural considerations for scalable, secure, mobile computing with location information (PDF)

M. Spreitzer , Xerox Palo Alto Res. Center, CA, USA
M. Theimer , Xerox Palo Alto Res. Center, CA, USA
pp. 29-38

Causal broadcasting and consistency of distributed shared data (PDF)

K. Ravindran , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
K. Shah , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 40-47

Causally ordering broadcast protocol (PDF)

A. Nakamura , Dept. of Comput. & Syst. Eng., Tokyo Denki Univ., Saitama, Japan
M. Takizawa , Dept. of Comput. & Syst. Eng., Tokyo Denki Univ., Saitama, Japan
pp. 48-55

Extended virtual synchrony (PDF)

L.E. Moser , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
Y. Amir , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
P.M. Melliar-Smith , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
D.A. Agarwal , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
pp. 56-65

A network architecture for reliable process group communication (PDF)

S. Murata , Dept. of Comput. Sci., Keio Univ., Yokohama, Japan
A. Shionozaki , Dept. of Comput. Sci., Keio Univ., Yokohama, Japan
M. Tokoro , Dept. of Comput. Sci., Keio Univ., Yokohama, Japan
pp. 66-73

Message complexity of the tree quorum algorithm for distributed mutual exclusion (PDF)

Her-Kun Chang , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Shyan-Ming Yuan , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 76-80

An O(N/sup M/(M+1/)) distributed algorithm for the k-out of-M resources allocation problem (PDF)

R. Baldoni , Dipartimento di Inf. e Sistemistica, Rome Univ., Italy
pp. 81-88

An efficient method for mutual exclusion in truly distributed systems (PDF)

Hao Chen , Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John's, Nfld., Canada
Jian Tang , Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John's, Nfld., Canada
pp. 97-104

Security in the Spring name service (PDF)

S. Radia , Sun Microsyst. Comput. Corp., Mountain View, CA, USA
M.N. Nelson , Sun Microsyst. Comput. Corp., Mountain View, CA, USA
M.L. Powell , Sun Microsyst. Comput. Corp., Mountain View, CA, USA
pp. 106-115

A high performance and reliable distributed file facility (PDF)

R. Panadiwal , Sch. of Comput. & Math., Deakin Univ., Geelong, Vic., Australia
A.M. Goscinski , Sch. of Comput. & Math., Deakin Univ., Geelong, Vic., Australia
pp. 116-123

A binding protocol for distributed shared objects (PDF)

M. Shapiro , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
pp. 134-141

Concert/C: supporting distributed programming with language extensions and a portable multiprotocol runtime (PDF)

J.S. Auerbach , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
A.S. Gopal , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J.R. Russell , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
M.T. Kennedy , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 152-159

Validating timing constraints in multiprocessor and distributed real-time systems (PDF)

Rhan Ha , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
J.W.S. Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 162-171

Subtask deadline assignment for complex distributed soft real-time tasks (PDF)

B. Kao , Dept. of Comput. Sci., Stanford Univ., CA, USA
pp. 172-181

A real-time scheduling framework for packet-switched networks (PDF)

S.S. Sathaye , Network Archit. & Performance Group, Digital Equipment Corp., Littleton, MA, USA
pp. 182-191

Implementation of process migration in Amoeba (PDF)

E. Steketee , Sch. of Comput. & Inf. Sci., Univ. South Australia, The Levels, SA, Australia
Wei Ping Zhu , Sch. of Comput. & Inf. Sci., Univ. South Australia, The Levels, SA, Australia
P. Moseley , Sch. of Comput. & Inf. Sci., Univ. South Australia, The Levels, SA, Australia
pp. 194-201

Parallel programming for mobile robot control: agent-based approach (PDF)

S. Bozinovski , Fac. of Electr. Eng, Skopje Univ., Macedonia
pp. 202-208

Transaction support for an ANSA-based platform (PDF)

M.B. Felgar de Toledo , Dept. de Ciencia da Comput., Campinas Univ., Brazil
pp. 209-216

Dynamic snooping in a fault-tolerant distributed shared memory (PDF)

L. Brown , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
Jie Wu , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 218-226

Using message semantics to reduce rollback in optimistic message logging recovery schemes (PDF)

Hong Va Leong , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
D. Agrawal , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
pp. 227-234

A crash recovery technique in distributed computing systems (PDF)

Cheng-Ru Young , Dept. of Electr. Eng. & Technol., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
Ge-Ming Chiu , Dept. of Electr. Eng. & Technol., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
pp. 235-242

Distributed coin tossing (PDF)

F. Vernadat , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
P. Azema , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
K. Drira , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 244-249

A synchronizer with low memory overhead (PDF)

L. Shabtay , Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 250-257

On the impact of sense of direction in arbitrary networks (PDF)

B. Mans , Dept. d'Inf., Quebec Univ., Hull, Que., Canada
pp. 258-265

Real-time support of continuous and variable bit rate traffic on an ATM network (PDF)

P. Guha , Honeywell Technol. Center, Minneapolis, MN, USA
A. Pavan , Honeywell Technol. Center, Minneapolis, MN, USA
pp. 268-275

Implementing movie control, access and management-from a formal description to a working multimedia system (PDF)

R. Keller , Praktische Inf. IV, Mannheim Univ., Germany
S. Fischer , Praktische Inf. IV, Mannheim Univ., Germany
W. Effelsberg , Praktische Inf. IV, Mannheim Univ., Germany
pp. 276-283

A scalable architecture for reliable distributed multimedia applications (PDF)

F. Panzieri , Dipartimento di Matematica, Bologna Univ., Italy
M. Roccetti , Dipartimento di Matematica, Bologna Univ., Italy
pp. 284-293

Group communication in distributed multimedia systems (PDF)

R. Simon , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
T. Znati , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 294-301

Cooperative systems configuration in CSDL (PDF)

F. DePaoli , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
F. Tisato , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
pp. 304-311

A group structuring mechanism for a distributed object-oriented language (PDF)

P. Pardyak , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
B.N. Bershad , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 312-319

The GroupSPACE concept (PDF)

L. Kovacs , Comput. & Autom. Inst., Hungarian Acad. of Sci., Budapest, Hungary
pp. 320-325

Management of updates in the enhanced client-server DBMS (PDF)

A. Delis , Sch. of Inf. Syst., Queensland Univ., Brisbane, Qld., Australia
pp. 326-334

Optimizing data alignment for data parallel programs (PDF)

Hong Xu , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
L.M. Ni , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 336-344

Optimistic synchronization in distributed shared memory (PDF)

G. Hermannsson , Renaissance Technol. Corp., Stony Brook, NY, USA
pp. 345-354

Integrating page replacement in a distributed shared virtual memory (PDF)

Y. Kermarrec , Dept. Inf., Telecom Bretagne, Brest, France
pp. 355-362

Improved algorithms for partitioning tree and linear task graphs on shared memory architecture (PDF)

S. Ray , Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA
Hong Jiang , Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA
pp. 363-370

Submission of transactions from mobile workstations in a cooperative multidatabase processing environment (PDF)

L.H. Yeo , Sch. of Comput. & Inf. Technol., Monash Univ., Frankston, Vic., Australia
A. Zaslavsky , Sch. of Comput. & Inf. Technol., Monash Univ., Frankston, Vic., Australia
pp. 372-379

On the heterogeneity of distributed databases integrating commit protocols (PDF)

C.V. Papadopoulos , Dept. of Comput. Sci., Piraeus Univ., Greece
pp. 380-386

An object-oriented query language interface to relational databases in a multidatabase database environment (PDF)

S.D. Urban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
T.B. Abdellatif , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 387-394

Critical-path-based message logging for incremental replay of message-passing programs (PDF)

R.H.B. Netzer , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
S. Subramanian , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
Jian Xu , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
pp. 404-413

Using perturbation tracking to compensate for intrusion in message-passing systems (PDF)

J.A. Gannon , Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa City, IA, USA
K.J. Williams , Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa City, IA, USA
M.S. Andersland , Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa City, IA, USA
pp. 414-421

Constraint satisfaction as a basis for designing nonmasking fault-tolerance (PDF)

A. Arora , Dept. of Comput. Sci., Ohio State Univ., Columbus, OH, USA
pp. 424-431

Distributed execution model for self-stabilizing systems (PDF)

Shing-Tsaan Huang , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Lih-Chyau Wuu , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Ming-Shin Tsai , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 432-439

Supporting flexible communication in heterogeneous multi-user environments (PDF)

Jian Zhao , GMD-IPSI, Darmstadt, Germany
H.U. Hoppe , GMD-IPSI, Darmstadt, Germany
pp. 442-449

Service trading and mediation in distributed computing systems (PDF)

M. Merz , Dept. of Comput. Sci., Databases & Inf. Syst., Hamburg Univ., Germany
K. Muller , Dept. of Comput. Sci., Databases & Inf. Syst., Hamburg Univ., Germany
W. Lamersdorf , Dept. of Comput. Sci., Databases & Inf. Syst., Hamburg Univ., Germany
pp. 450-457

Communicating abstract data type values in heterogeneous distributed programs (PDF)

Lin Huang , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
D.A. Lamb , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
pp. 458-465

Media synchronization in ATM network-based distributed multimedia systems (PDF)

Ying Hao , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Jyh-Charn Liu , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 468-475

A multimedia synchronization protocol for ATM networks (PDF)

Chang-Jia Wang , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Liang-Seng Koh , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Chao-Hui Wu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
M.T. Liu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 476-483

Using simple diffusion to synchronize the clocks in a distributed system (PDF)

A. Ciuffoletti , Dipartimento di Inf., Pisa Univ., Italy
pp. 484-491

MOCS: an object-oriented programming model for multimedia object communication and synchronization (PDF)

Chi-Leung Fung , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Hong Kong
Man-Chi Pong , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Hong Kong
pp. 494-501

Object properties in the Raven system (PDF)

D. Finkelstein , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
D. Acton , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
T. Coatta , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
N. Hutchinson , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
G. Neufeld , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
pp. 502-509

Arche: a framework for parallel object-oriented programming above a distributed architecture (PDF)

M. Banatre , INRIA/IRISA, Rennes, France
Y. Belhamissi , INRIA/IRISA, Rennes, France
V. Issarny , INRIA/IRISA, Rennes, France
I. Puaut , INRIA/IRISA, Rennes, France
J.P. Routeau , INRIA/IRISA, Rennes, France
pp. 510-517

The automatic positioning of objects in COOL V2 (PDF)

F. Bourdon , Service d'Etudes Communes des Postes et Telecommun., Caen, France
pp. 518-525

Replica placement in a dynamic network (PDF)

G. Singh , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
M. Bommareddy , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 528-535

A highly available replication control protocol using volatile witnesses (PDF)

J.-F. Paris , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 536-543

Optimal detection of a corrupted page in a replicated file (PDF)

K.A.S. Abdel-Ghaffar , Dept. of Electr. & Comput. Eng., California Univ., Davis, CA, USA
pp. 544-551

Performability, reliability, and survivability of communication networks: system of methods and models for evaluation (PDF)

A.A. Hagin , Dept. of Comput. Technol. & Math., Univ. of Humanities & Social Sci., St. Petersburg, Russia
pp. 562-573

SPIDER: flexible and efficient communication support for point-to-point distributed systems (PDF)

J. Dolter , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
S. Daniel , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
A. Mehra , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
J. Rexford , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
Wu-Chang Feng , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
Kang Shin , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 574-580

Linguistic support for controlling protocol execution (PDF)

Yen-Min Huang , IBM Corp., Research Triangle Park, NC, USA
pp. 581-588

Efficient fully adaptive wormhole routing in n-dimensional meshes (PDF)

Y.M. Boura , Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA
C.R. Das , Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 589-596

Parallel programming systems for LAN distributed computing (PDF)

K. Zielinski , Inst. of Comput. Sci., Univ. of Min. & Metall., Cracow, Poland
M. Gajecki , Inst. of Comput. Sci., Univ. of Min. & Metall., Cracow, Poland
G. Czajkowski , Inst. of Comput. Sci., Univ. of Min. & Metall., Cracow, Poland
pp. 600-607

Design and performance evaluation of a distributed eigenvalue solver on a workstation cluster (PDF)

C. Trefftz , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
C.C. Huang , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
P.K. McKinley , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 608-615

A periodic symmetrically-initiated load balancing algorithm for distributed systems (PDF)

K. Benmohammed-Mahieddine , Sch. of Comput. Studies, Leeds Univ., UK
P.M. Dew , Sch. of Comput. Studies, Leeds Univ., UK
M. Kara , Sch. of Comput. Studies, Leeds Univ., UK
pp. 616-623

Units of computation in fault-tolerant distributed systems (PDF)

M. Ahuja , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
S. Mishra , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 626-633

Debugging distributed programs through the detection of simultaneous events (PDF)

M. Spezialetti , Dept. of Electr. Eng. & Comput. Sci., Lehigh Univ., Bethlehem, PA, USA
pp. 634-641

Efficient global event predicate detection (PDF)

Hsien-Kuang Chiou , Dept. of Comput. Sci., Polytechnic Univ., Brooklyn, NY, USA
W. Korfhage , Dept. of Comput. Sci., Polytechnic Univ., Brooklyn, NY, USA
pp. 642-649
81 ms
(Ver 3.3 (11022016))