The Community for Technology Leaders
Proceedings of IEEE International Conference on Distributed Computing Systems - ICDCS '93 (1993)
Pittsburgh, PA, USA
May 25, 1993 to May 28, 1993
ISBN: 0-8186-3770-6
TABLE OF CONTENTS

Uniform reliable multicast in a virtually synchronous environment (PDF)

A. Schiper , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
A. Sandoz , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
pp. 561-568

Fast message ordering and membership using a logical token-passing ring (PDF)

Y. Amir , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
L.E. Moser , 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
P. Ciarfella , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
pp. 551-560

A low-level processor group membership protocol for LANs (PDF)

L. Rodrigues , Tech. Univ. Lisboa, Portugal
P. Verissimo , Tech. Univ. Lisboa, Portugal
J. Rufino , Tech. Univ. Lisboa, Portugal
pp. 541-550

Scheduling cooperative work: viewing distributed systems as both CSP and SCL (PDF)

T. Elrad , Illinois Inst. of Technol., Chicago, IL, USA
K. Nambi , Illinois Inst. of Technol., Chicago, IL, USA
pp. 532-539

Performance of co-scheduling on a network of workstations (PDF)

K. Efe , Center for Adv. Comput. Studies, Univ. of Southwestern Louisiana, Lafayette, LA, USA
M.A. Schaar , Center for Adv. Comput. Studies, Univ. of Southwestern Louisiana, Lafayette, LA, USA
pp. 525-531

Intelligent job selection for distributed scheduling (PDF)

Chang-Jia Wang , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
P. Krueger , 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. 517-524

Run-time support and storage management for memory-mapped persistent objects (PDF)

B.R. Millard , Arizona State Univ., Tempe, AZ, USA
P. Dasgupta , Arizona State Univ., Tempe, AZ, USA
pp. 508-515

Replicated RPC using Amoeba closed group communication (PDF)

M.D. Wood , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
pp. 499-507

A state-aggregation method for analyzing dynamic load-balancing policies (PDF)

Hwa-Chun Lin , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 482-489

Average message overhead of replica control protocols (PDF)

D. Saha , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 474-481

Approximate analysis of priority scheduling systems using stochastic reward nets (PDF)

V. Mainkar , Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
pp. 466-473

Supporting reliable and atomic transaction management in multidatabase systems (PDF)

I.E. Kang , Dept. of Electr. & Comput. Eng., Pennsylvania State Univ., University Park, PA, USA
T.F. Keefe , Dept. of Electr. & Comput. Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 457-464

Distributed divergence control for epsilon serializability (PDF)

C. Pu , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
Wenwey Hseush , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
C.E. Kaiser , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 449-456

IPL: a multidatabase transaction specification language (PDF)

Jiansan Chen , Purdue Univ., West Lafayette, IN, USA
O. Bukhres , Purdue Univ., West Lafayette, IN, USA
A.K. Elmagarmid , Purdue Univ., West Lafayette, IN, USA
pp. 439-448

Deadline assignment in a distributed soft real-time system (PDF)

H. Kao , Dept. of Comput. Sci., Stanford Univ., CA, USA
H. Garcia-Molina , Dept. of Comput. Sci., Stanford Univ., CA, USA
pp. 428-437

Deadlock prevention in the RTC programming system for distributed real-time applications (PDF)

V.F. Wolfe , Dept. of Comput. Sci., Rhode Island Univ., Kingston, RI, USA
pp. 420-427

Minimal-delay decentralized maintenance of processor-group membership in TDMA-bus LAN systems (PDF)

K.H. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
E. Shokri , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 410-419

Distribution and inheritance in the HERON approach to heterogeneous computing (PDF)

S. Finke , Inst. fuer Inf., Freie Univ. Berlin, Germany
P. Jahn , Inst. fuer Inf., Freie Univ. Berlin, Germany
O. Langmack , Inst. fuer Inf., Freie Univ. Berlin, Germany
K.-P. Lohr , Inst. fuer Inf., Freie Univ. Berlin, Germany
I. Piens , Inst. fuer Inf., Freie Univ. Berlin, Germany
T. Wolff , Inst. fuer Inf., Freie Univ. Berlin, Germany
pp. 399-408

Composition of concurrent programs (PDF)

A.S. Gopal , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
K.J. Perry , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 391-398

Asynchronous event handling in distributed object-based systems (PDF)

S. Menon , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 383-390

Average case behavior of election algorithms for unidirectional rings (PDF)

G.L. Peterson , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
Byungho Yi , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 366-373

Decentralized consensus protocols with multi-port communication (PDF)

Ming-Syan Chen , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
P.S. Yu , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
Kun-Lung Wu , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 356-365

Real-time schedulability of two token ring protocols (PDF)

S. Kamat , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
W. Zhao , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 347-354

Responsive aperiodic services in high-speed networks (PDF)

S.S. Sathaye , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
W.S. Kish , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
J.K. Strosnider , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 337-346

Providing performance guarantees in an FDDI network (PDF)

D.D.E. Long , California Univ., Santa Cruz, CA, USA
C. Osterbrook , California Univ., Santa Cruz, CA, USA
pp. 328-336

Failure evaluation of disk array organizations (PDF)

J. Chandy , Illinois Univ., Urbana, IL, USA
pp. 319-326

Evaluation of closely coupled systems for high performance database processing (PDF)

E. Rahm , Dept. of Comput. Sci., Kaiserslautern Univ., Germany
pp. 301-310

Delivering multicast messages in networks with mobile hosts (PDF)

A. Acharya , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
B.R. Badrinath , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
pp. 292-299

Proxy-based authorization and accounting for distributed systems (PDF)

B.C. Neuman , Inf. Sci. Inst., Univ. of Southern California, Los Angeles, CA, USA
pp. 283-291

Inter-machine protocols for electronic libraries (PDF)

H.M. Gladney , IBM Almaden Res. Center, San Jose, CA, USA
pp. 275-282

Practical considerations for non-blocking concurrent objects (PDF)

B.N. Bershad , Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 264-273

Event ordering in a shared memory distributed system (PDF)

L. Gunaseelan , Georgia Inst. of Technol., Atlanta, GA, USA
R.J. LeBlanc , Georgia Inst. of Technol., Atlanta, GA, USA
pp. 256-263

Hardware assist for distributed shared memory (PDF)

A.W. Wilson , Worcester Polytech. Inst., MA, USA
R.P. LaRowe , Worcester Polytech. Inst., MA, USA
M.J. Teller , Worcester Polytech. Inst., MA, USA
pp. 246-255

Degradable agreement in the presence of Byzantine faults (PDF)

N.H. Vaidya , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
D.K. Pradhan , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 237-244

General structured voting: a flexible framework for modelling cooperations (PDF)

O. Theel , Digital Equipment Corp., Karlsruhe, Germany
pp. 227-236

Reconfiguration of spanning trees in networks in the presence of node failures (PDF)

K. Ravindran , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
G. Singh , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
P. Gupta , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 219-226

Development of a collaborative application in CSDL (PDF)

F. DePaoli , Dipartimento di Elettronica e Inf., Politecnico di Milano, Italy
pp. 210-217

Collective learning of action sequences (PDF)

G. Weiss , Inst. fur Inf., Tech. Univ. Munchen, Germany
pp. 203-209

An algorithm for distributed groupware applications (PDF)

A. Karsenty , Univ. de Paris-Sud, Orsay, France
M. Beaudouin-Lafon , Univ. de Paris-Sud, Orsay, France
pp. 195-202

Sharing complex objects in a distributed PEER environment (PDF)

F. Tuijnman , Dept. of Comput. Sci., Amsterdam Univ., Netherlands
H. Afsarmanesh , Dept. of Comput. Sci., Amsterdam Univ., Netherlands
pp. 186-193

An open commit protocol preserving consistency in the presence of commission failures (PDF)

K. Rothermel , Inst. of Parallel & Distributed High Perform. Syst., Stuttgart Univ., Germany
pp. 168-177

Diagnosis of single transition faults in communicating finite state machines (PDF)

A. Ghedamsi , Montreal Univ., Que., Canada
G. von Bochmann , Montreal Univ., Que., Canada
R. Dssouli , Montreal Univ., Que., Canada
pp. 157-166

A formal assessment of synchronous testability for communicating systems (PDF)

K. Drira , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
P. Azema , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 149-156

Deriving protocol specifications from service specifications in extended FSM models (PDF)

T. Higashino , Osaka Univ., Japan
K. Okano , Osaka Univ., Japan
H. Imajo , Osaka Univ., Japan
K. Taniguchi , Osaka Univ., Japan
pp. 141-148

Using group communication to implement a fault-tolerant directory service (PDF)

M.F. Kaashoek , Vrije Univ., Amsterdam, Netherlands
A.S. Tanenbaum , Vrije Univ., Amsterdam, Netherlands
K. Verstoep , Vrije Univ., Amsterdam, Netherlands
pp. 130-139

Distributed active catalogs and meta-data caching in descriptive name services (PDF)

J.J. Ordille , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
P.B. Miller , Dept. of Comput. Sci., Wisconsin Univ., Madison, WI, USA
pp. 120-129

Evaluating caching schemes for the X.500 directory (PDF)

J.-C. Bolot , INRIA, Sophia-Antipolis, France
H. Afifi , INRIA, Sophia-Antipolis, France
pp. 112-119

Dynamic reconfiguration in distributed systems: adapting software modules for replacement (PDF)

C. Hofmeister , Maryland Univ., College Park, MD, USA
J. Purtilo , Maryland Univ., College Park, MD, USA
pp. 101-110

Structuring distributed shared memory with the pi architecture (PDF)

C. D. Kulkarni , Notre Dame Univ., IN, USA
A. Banerji , Notre Dame Univ., IN, USA
M.R. Casey , Notre Dame Univ., IN, USA
D.L. Cohn , Notre Dame Univ., IN, USA
pp. 93-100

Coherence in naming in distributed computing environments (PDF)

S. Radia , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
J. Pachl , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 83-92

k-coteries for fault-tolerant k entries to a critical section (PDF)

S.-T. Huang , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
J.-R. Jiang , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Y.-C. Kuo , Dept. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 74-81

Extraction of logical concurrency in distributed applications (PDF)

K. Ravindran , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
A. Thenmozhi , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 66-73

Distributed application framework for large scale distributed systems (PDF)

H.C.-H. Rao , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 31-38

Distributed shared repository: a unified approach to distribution and persistency (PDF)

K. Kato , Inst. of Inf. Sci. & Electron., Tsukuba Univ., Ibaraki, Japan
pp. 20-29

Disk cache replacement policies for network fileservers (PDF)

D.L. Willick , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
D.L. Eager , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
R.B. Bunt , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
pp. 2-11
86 ms
(Ver 3.3 (11022016))