The Community for Technology Leaders
2013 IEEE 33rd International Conference on Distributed Computing Systems (1995)
Vancouver, Canada
May 30, 1995 to June 2, 1995
ISBN: 0-8186-7025
TABLE OF CONTENTS

Referees (PDF)

pp. xix
SESSION 1A: Tools and Environments

A tool for monitoring software-heterogeneous distributed object applications (Abstract)

K. Zielinski , Inst. of Comput. Sci., Univ. of Min. & Metall., Cracow, Poland
A. Laurentowski , Inst. of Comput. Sci., Univ. of Min. & Metall., Cracow, Poland
J. Szymaszek , Inst. of Comput. Sci., Univ. of Min. & Metall., Cracow, Poland
A. Uszok , Inst. of Comput. Sci., Univ. of Min. & Metall., Cracow, Poland
pp. 0011

Integrating visualization support into distributed computing systems (Abstract)

B. Topol , Graphics, Visualization & Usability Center, Georgia Inst. of Technol., Atlanta, GA, USA
J.T. Stasko , Graphics, Visualization & Usability Center, Georgia Inst. of Technol., Atlanta, GA, USA
V. Sunderam , Graphics, Visualization & Usability Center, Georgia Inst. of Technol., Atlanta, GA, USA
pp. 0019
SESSION 1B: Real-Time Communication

Real-time causal message ordering in multimedia systems (Abstract)

F. Adelstein , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
M. Singhal , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 0036

A new protocol for bandwidth regulation of real-time traffic classes in internetworks (Abstract)

J. Liebeherr , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
I.F. Akyildiz , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
D. Sarkar , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 0044

A distributed table-driven route selection scheme for establishing real-time video channels (Abstract)

Chih-Che Chou , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 0052

Guaranteeing end-to-end deadlines in ATM networks (Abstract)

A. Raha , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
S. Kamat , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Wei Zhao , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 0060
SESSION 1C: Consensus and Agreement

Fault-tolerant external clock synchronization (Abstract)

F. Cristian , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
C. Fetzer , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 0070

Efficient failure discovery with limited authentication (Abstract)

M. Borcherding , nst. of Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany
pp. 0078

Causal separators for large-scale multicast communication (Abstract)

L.E.T. Rodrigues , Inst. de Engenharia de Sistemas e Computadores, Inst. Superior Tecnico, Lisbon, Portugal
P. Verissimo , Inst. de Engenharia de Sistemas e Computadores, Inst. Superior Tecnico, Lisbon, Portugal
pp. 0083

Coterie templates: a new quorum construction method (Abstract)

W.K. Ng , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
C.V. Ravishankar , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 0092
SESSION 2A: Transaction Processing

Exploiting transaction semantics in multidatabase systems (Abstract)

R. Rastogi , AT&T Bell Labs., Murray Hill, NJ, USA
H.F. Korth , AT&T Bell Labs., Murray Hill, NJ, USA
A. Silberschatz , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0101

A practical technique for asynchronous transaction processing (Abstract)

W. Hseush , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
C. Pu , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 0110

Distributed lock management for mobile transactions (Abstract)

Jin Jing , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
O. Bukhres , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
A. Elmagarmid , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 0118
SESSION 2B: Communication Protocols and Software

MPI programming environment for IBM SP1/SP2 (Abstract)

H. Franke , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
C.E. Wu , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
M. Riviere , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
P. Pattnaik , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
M. Snir , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 0127

I-TCP: indirect TCP for mobile hosts (Abstract)

A. Bakre , Dept. of Comput. Sci., Rutgers Univ., Piscataway, NJ, USA
B.R. Badrinath , Dept. of Comput. Sci., Rutgers Univ., Piscataway, NJ, USA
pp. 0136

Single connection emulation (SCE): an architecture for providing a reliable multicast transport service (Abstract)

R. Talpade , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
M.H. Ammar , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 0144
SESSION 2C: Mutual Exclusion and Deadlock Detection

A distributed K-mutual exclusion algorithm (Abstract)

S. Bulgannawar , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
N.H. Vaidya , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 0153

A fast distributed modular algorithm for resource allocation (Abstract)

Injong Rhee , Dept. of Comput. Sci., Warwick Univ., Coventry, UK
pp. 0161

An efficient distributed deadlock detection algorithm (Abstract)

Soojung Lee , Commun. Syst. Res. & Dev. Center, Samsung Electron. Co., Seoul, South Korea
J.L. Kim , Commun. Syst. Res. & Dev. Center, Samsung Electron. Co., Seoul, South Korea
pp. 0169
SESSION 3A: PANEL
SESSION 3B: Panel
SESSION 4A: Real-Time Distributed Systems

Analysis of resource lower bounds in real-time applications (Abstract)

R. Alqadi , Dept. of Electr. & Comput. Eng., Wisconsin Univ., Madison, WI, USA
P. Ramanathan , Dept. of Electr. & Comput. Eng., Wisconsin Univ., Madison, WI, USA
pp. 0188

Schedulability-oriented replication of periodic tasks in distributed real-time systems (Abstract)

Sheng-Tzong Cheng , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
Shyh-In Hwang , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
A.K. Agrawala , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 0196
SESSION 4B: Logging and Recovery

Server recovery using naturally replicated state: a case study (Abstract)

M. Devarakonda , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
B. Kish , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
A. Mohindra , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 0213

Performance evaluation of three logging schemes for a shared-nothing database server (Abstract)

Kam-Fai Wong , Dept. of Syst. Eng. & Eng. Manage., Chinese Univ. of Hong Kong, Shatin, Hong Kong
pp. 0221

Message logging: pessimistic, optimistic, and causal (Abstract)

L. Alvisi , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
K. Marzullo , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
pp. 0229
SESSION 4C: Performance of Communication Systems

Comparing kernel-space and user-space communication protocols on Amoeba (Abstract)

M. Oey , Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands
K. Langendoen , Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands
H.E. Bal , Dept. of Math. & Comput. Sci., Vrije Univ., Amsterdam, Netherlands
pp. 0238

Techniques for global optimization of message passing communication on unreliable networks (Abstract)

N. Islam , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
R.H. Campbell , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 0246

A thread-based interface for collective communication on ATM networks (Abstract)

Chengchang Huang , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
Yih 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. 0254
Session 5A: Object-Based Systems

An object-based distributed computing environment based on a reflective architecture (Abstract)

T. Yokoyama , Res. Lab., Hitachi Ltd., Ibaraki, Japan
M. Saito , Res. Lab., Hitachi Ltd., Ibaraki, Japan
M. Shimada , Res. Lab., Hitachi Ltd., Ibaraki, Japan
S. Murata , Res. Lab., Hitachi Ltd., Ibaraki, Japan
pp. 0263
SESSION 5B: Remote Procedure Call and Group Communication

Constructing a configurable group RPC service (Abstract)

M.A. Hiltunen , Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA
R.D. Schlichting , Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA
pp. 0288

Newtop: a fault-tolerant group communication protocol (Abstract)

P.D. Ezhilchelvan , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
R.A. Macedo , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
S.K. Shrivastava , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
pp. 0296

Configuration-level optimization of RPC-based distributed programs (Abstract)

Tae-Hyung Kim , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
J.M. Purtilo , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 0307
SESSION 5C: Communication Systems

An efficient optimal reconfiguration algorithm for FBRNs (Abstract)

S.D. Kamat , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 0325

Distributed management by delegation (Abstract)

G. Goldszmidt , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
Y. Yemini , Dept. of Comput. Sci., Columbia Univ., New York, NY, USA
pp. 0333
"Intelligent Agents in distributed Systems"

(PDF)

pp. 0342
SESSION 7A: Monitoring and Testing

Probing and fault injection of protocol implementations (Abstract)

S. Dawson , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
F. Jahanian , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 0351

Test sequence generation from formal specifications of distributed programs (Abstract)

R.H. Carver , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
K.C. Tai , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
pp. 0360

Dynamic techniques for minimizing the intrusive effect of monitoring actions (Abstract)

R. Gupta , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
M. Spezialetti , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 0368

EVEREST: an event recognition testbed (Abstract)

M. Spezialetti , Dept. of EECS, Lehigh Univ., Bethlehem, PA, USA
S. Bernberg , Dept. of EECS, Lehigh Univ., Bethlehem, PA, USA
pp. 0377
SESSION 7B: Distributed Database

Distributed join processing using bipartite graphs (Abstract)

P. Scheuermann , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
Eugene Inseok Chong , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 0387

General design of grid-based data replication schemes using graphs and a few rules (Abstract)

O. Theel , Dept. of Comput. Sci., California Univ., Riverside, CA, USA
H. Pagnia-Koch , Dept. of Comput. Sci., California Univ., Riverside, CA, USA
pp. 0395

Maintaining consistency of data in mobile distributed environments (Abstract)

E. Pitoura , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
B. Bhargava , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 0404

Specifying weak sets (Abstract)

J.M. Wing , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
D.C. Steere , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 0414
SESSION 7C: Theory and Algorithms

Distributed algorithms for detecting conjunctive predicates (Abstract)

V.K. Garg , Parallel & Distributed Syst. Lab., Texas Univ., Austin, TX, USA
C.M. Chase , Parallel & Distributed Syst. Lab., Texas Univ., Austin, TX, USA
pp. 0423

Implementing sequentially consistent shared objects using broadcast and point-to-point communication (Abstract)

A. Fekete , Dept. of Comput. Sci., Sydney Univ., NSW, Australia
M.F. Kaashoek , Dept. of Comput. Sci., Sydney Univ., NSW, Australia
N. Lynch , Dept. of Comput. Sci., Sydney Univ., NSW, Australia
pp. 0439

A competitive analysis for retransmission timeout (Abstract)

S. Dolev , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
M. Kate , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
J.L. Welch , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 0450
SESSION 8A: Distributed Systems Architecture

Parallel processing on networks of workstations: a fault-tolerant, high performance approach (Abstract)

P. Dasgupta , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
Z.M. Kedem , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
M.O. Rabin , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
pp. 0467

Hardware for fast global operations on workstation cluster multicomputers (Abstract)

D.V. Hall , Dept. of Electr. Eng., Portland State Univ., OR, USA
M.A. Driscoll , Dept. of Electr. Eng., Portland State Univ., OR, USA
pp. 0475
SESSION 8B: Task Allocation and Load Balancing

Mapping concurrently-communicating modules onto mesh multicomputers equipped with virtual channels (Abstract)

Bing-Rung Tsai , 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. 0493

An efficient task allocation scheme for two-dimensional mesh-connected systems (Abstract)

Seong-Moo Yoo , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
Hee Yong Youn , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
pp. 0501
SESSION 8C: Specification and Implementation of Protocols

Synthesis of protocol entities specifications from service specifications in a Petri net model with registers (Abstract)

H. Yamaguchi , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
K. Okano , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
T. Higashino , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
K. Taniguchi , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
pp. 0510

Specification of a secured multi-server MMS protocol (Abstract)

Y. Dakroury , Dept. of Comput. & Syts. Eng., Ain Shams Univ., Cairo, Egypt
J.P. Elloy , Dept. of Comput. & Syts. Eng., Ain Shams Univ., Cairo, Egypt
R. Ricordel , Dept. of Comput. & Syts. Eng., Ain Shams Univ., Cairo, Egypt
pp. 0526
CLOSING SESSION: PLENARY PANEL

(PDF)

pp. 0535

Author Index (PDF)

pp. 0536
114 ms
(Ver 3.3 (11022016))