CSDL - Proceedings I

Message from the Program Chair (PDF)

pp. xii

Organizing and Program Committee (PDF)

pp. xiii

Referees (PDF)

pp. xix

SESSION 1A: Tools and Environments

Software Tool Evaluation Methodology (Abstract)

pp. 0003

PDF

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

PDF

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

PDF

MASSIVE: a distributed virtual reality system incorporating spatial trading (Abstract)

C. Greenhalgh, Dept. of Comput. Sci., Nottingham Univ., UK

S. Benford, Dept. of Comput. Sci., Nottingham Univ., UK

pp. 0027

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Efficient failure discovery with limited authentication (Abstract)

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

pp. 0078

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

A fast distributed modular algorithm for resource allocation (Abstract)

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

pp. 0161

PDF

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

PDF

SESSION 3A: PANEL

"Computer Supported Cooperative work - New Challenges or Old Problems?" (PDF)

pp. 0180

"Future Distributed Embedded and Real-Time Applications Will Be Adaptive-Meanings, Challenges and Research Paradigms" (PDF)

SESSION 3B: Panel

pp. 0183

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

PDF

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

PDF

Distributed Pipeline Scheduling: End-to-End Analysis of Heterogeneous, Multi-Resource Real-Time Systems (Abstract)

S. Chatterjee

J. Strosnider

pp. 0204

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

A Multiversion Concurrent Object Model for Distributed and Multiuser Environments (Abstract)

pp. 0271

PDF

Adaptive Placement of Method Executions within a Customizable Distributed Object-Based Runtime System: Design, Implementation, and Performance (Abstract)

pp. 0279

PDF

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

PDF

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

PDF

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

PDF

SESSION 5C: Communication Systems

Selective Broadcast Data Distribution Systems (Abstract)

K. H. Yeung

T. S. Yum

pp. 0317

PDF

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

PDF

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

PDF

"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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Characterizing and Detecting the Set of Global States Seen by all Observers of a Distributed Computation (Abstract)

E. Fromentin

M. Raynal

pp. 0431

PDF

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

PDF

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

PDF

SESSION 8A: Distributed Systems Architecture

Write Caching in Distributed File Systems (Abstract)

K. Chen

R. B. Bunt

D. L. Eager

pp. 0457

PDF

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

PDF

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

PDF

SESSION 8B: Task Allocation and Load Balancing

Performance Impact of Scheduling Discipline on Adaptive Load Sharing in Homogeneous Distributed System (Abstract)

S. Dandamudi

pp. 0484

PDF

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

PDF

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

PDF

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

PDF

Distributed Implementation of Multi-Rendezvous in LOTUS Using the Orthogonal Communication Structure in Linda (Abstract)

K. Naik

pp. 0518

PDF

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

PDF

CLOSING SESSION: PLENARY PANEL

(PDF)

pp. 0535

Author Index (PDF)

pp. 0536