The Community for Technology Leaders
Computer Performance and Dependability Symposium, International (1996)
Urbana-Champaign, IL
Sept. 4, 1996 to Sept. 6, 1996
ISSN: 1087-2191
ISBN: 0-8186-7484-9
TABLE OF CONTENTS

Referees (PDF)

pp. xii
Session 1: Applications I: Chair: M. Singhal, Ohio State University
Session 2: Modeling and Evaluation: Chair: S. Tripathi, University of Maryland

Mean value analysis for computer systems with variabilities in workload (Abstract)

G. Haring , Wien Univ., Austria
S. Majumdar , Wien Univ., Austria
J. Luthi , Wien Univ., Austria
pp. 32

Optimal Routing for Distributed Computing Systems with Data Replication (Abstract)

D. J. Chen , Department of Computer Science and Information Engineering National Chiao Tung University
P. Y. Chang , Department of Computer Science and Information Engineering National Chiao Tung University
pp. 42
Session 3: Evaluation Tools: Chair: G. Ciardo, College of William and Mary

DEPEND: a simulation environment for system dependability modeling and evaluation (PDF)

G. Ries , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
Z. Kalbarczyk , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
T. Kraljevic , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
M.-C. Hsueh , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
R.K. Iyer , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 54

MultiKron: performance measurement instrumentation (PDF)

A. Mink , Nat. Inst. of Stand. & Technol., Gaithersburg, MD, USA
pp. 55

ORCHESTRA: a probing and fault injection environment for testing protocol implementations (PDF)

T. Mitton , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
S. Dawson , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
F. Jahanian , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 56

SIMPLE: a universal tool box for event trace analysis (PDF)

P. Dauphin , Erlangen-Nurnberg Univ., Germany
R. Hofmann , Erlangen-Nurnberg Univ., Germany
F. Lemmen , Erlangen-Nurnberg Univ., Germany
B. Mohr , Erlangen-Nurnberg Univ., Germany
pp. 59

SMART: Simulation and Markovian Analyzer for Reliability and Timing (PDF)

Andrew S. Miner , College of William and Mary Williamsburg, VA23187 {ciardo,asminer}@cs.wm.edu
Gianfranco Ciardo , College of William and Mary Williamsburg, VA23187 {ciardo,asminer}@cs.wm.edu
pp. 60

TimeNET: Evaluation Tool for Non-Markovian Stochastic Petri Nets (PDF)

Armin Zimmermann , Technische Universitaet Berlin email ck@cs.tu-berlin.de
Guenter Hommel , Technische Universitaet Berlin email ck@cs.tu-berlin.de
Christian Kelling , Technische Universitaet Berlin email ck@cs.tu-berlin.de
Reinhard German , Technische Universitaet Berlin email ck@cs.tu-berlin.de
pp. 62

Overview of UltraSAN (PDF)

W.D. Obal, II , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
W.H. Sanders , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
M. Akber Quereshi , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
D.D. Deavours , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 63
Invited Session:
Session 4: Applications II: Chair: T. Sharma, Boeing

Conjoint Simulation - A Technique for the Combined Performance and Dependability Analysis of Large-Scale Computer Systems (Abstract)

Kumar K. Goswami , Tandem Computers kumar@loc3.tandem.com
Axel Hein , Institute for Computer Science III (IMMD III) University of Erlangen-Nuernberg
pp. 68

On-Line Recovery for Rediscovered Software Problems (Abstract)

Inhwan Lee , Tandem Computers Incorporated
Randy McRee , Tandem Computers Incorporated
Wendy Bartlett , Tandem Computers Incorporated
pp. 78
Session 5: Stochastic Petri Nets: Chair: S. Arunkumar, Indian Institute of Technology, Bombay

Computation of the distribution of accumulated reward with Fluid Stochastic Petri-Nets (Abstract)

G. Horton , Inst. fur Inf. III, Erlangen-Nurnberg Univ., Germany
pp. 90

Steady State Solution of MRSPN with Mixed Preemption Policies (Abstract)

Antonio Puliafito , Universita di Catania Viale A. Doria 6, 95025 Catania - Italy E-mail:ap@iit.unict.it
Andrea Bobbio , Universita di Torino 10149 Torino - Italy E-mail:bobbio@di.unito.it
Miklos Telek , Technical University of Budapest, 1521 Budapest - Hungary E-mail: telek@plan.hit.bme.hu
pp. 106
Session 6: Communication Networks: Chair: M. Balakrishnan, Lucent Technologies

Exact and approximate analysis of ATM cell loss correlation (Abstract)

J.F. Meyer , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
J.-L. Tseng , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 120

Design and simulation of a reliable token-ring protocol for realtime communications (Abstract)

L.J. Yao , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
J. Cao , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
R. Steele , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
W. Jia , Dept. of Comput. Sci., Hong Kong Univ., Hong Kong
pp. 130

Reliability of traffic management applications based on digital short-range communications (Abstract)

C. Wietfeld , Commun. Networks, Aachen Univ. of Technol., Germany
pp. 139
Session 7: Markovian Models: Chair: R. Marie, University of Rennes

On queueing with customer impatience until the beginning of service (Abstract)

A. Movaghar , Dept. of Comput. Eng., Sharif Univ. of Technol., Tehran, Iran
pp. 150

Application of Threshold Partitioning of Sparse Matrices to Markov Chains (Abstract)

Daniel B. Szyld , Department of Mathematics Temple Univeristy Philadelphia, PA 19122
Hwajeong Choi , Department of Mathematics Temple Univeristy Philadelphia, PA 19122
pp. 158

First Passage Times in Fluid Models with an Application to Two Priority Fluid Systems (Abstract)

A. Narayanan , Linear Models R & D, SAS Institute Cary, NC 27513. USA
V. G. Kulkarni , Department of Operations Research University of North Carolina
pp. 166

Bounding asymptotic dependability and performance measures (Abstract)

G. Rubino , Irisa, Campus de Beaulieu 35042 Rennes Cedex, France
S. MahTvas , Irisa, Campus de Beaulieu 35042 Rennes Cedex, France
pp. 176
Invited Session:

Performance Visualization: 2-D, 3-D, and Beyond (Abstract)

Matthew J. Gardner , University of Illinois Urbana, Illinois
Evgenia Smirni , University of Illinois Urbana, Illinois
Daniel A. Reed , University of Illinois Urbana, Illinois
pp. 188
Session 8: Tools: Chair: M. Calzarossa, University of Pavia

Performance Analysis Tool for Cache-Based Real-Time Systems with Preemptions (Abstract)

Jonathan Simonson , University of Arkansas
Janak H. Patel , Center for Reliable and High-Performance Computing University of Illinois at Urbana-Champaign
pp. 210

SPN2MGM: Tool Support for Matrix-Geometric Stochastic Petri Nets (Abstract)

Boudewijn R. Haverkort , Rheinisch-Westfaelische Technische Hochschule--Aachen LuFG Informatik--Distributed Systems, D-52056 Aachen, Germany
pp. 219
Session 9: Replication and Synchronization: Chair: J. Liu, University of Illinois at Urbana-Champaign

Analysis of Data Replication with Two Levels of Consistency (Abstract)

Manoj Misra , University of Newcastle manoj.misra@newcastle.ac.uk , isi.mitrani@newcastle.ac.uk
Isi Mitrani , University of Newcastle manoj.misra@newcastle.ac.uk , isi.mitrani@newcastle.ac.uk
pp. 230
Session 10: Software Reliability & Architecture Evaluation: Chair: M. Vouk, North Carolina State University

Dependability of fault-tolerant systems-explicit modeling of the interactions between hardware and software components (Abstract)

K. Kanoun , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
M. Borrel , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 252

A Non-Homogeneous Markov Software Reliability Model with Imperfect Repair (Abstract)

Swapna S. Gokhale , Center for Advanced Computing and Communication Department of Electrical and Computer Engineering Duke University
Teebu Philip , Center for Advanced Computing and Communication Department of Electrical and Computer Engineering Duke University
Peter N. Marinos , Center for Advanced Computing and Communication Department of Electrical and Computer Engineering Duke University
pp. 262

Performance and Availability Evaluation of NUMA Architectures (Abstract)

Robert Geist , Clemson University
James Westall , Clemson University
pp. 271
Session 11: Analysis of Fault-Tolerance: Chair: A. Somani, University of Washington

Using Time to Improve the Performance of Coordinated Checkpointing (Abstract)

Nuno Neves , University of Illinois at Urbana-Champaign Urbana, IL 61801
W. Kent Fuchs , Purdue University West Lafayette, IN 47907-1285
pp. 282

Evaluation of integrated system-level checks for on-line error detection (Abstract)

V.S.S. Nair , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
G.A. Kanawati , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
J.A. Abraham , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
N. Krishnamurthy , Comput. Eng. Res. Center, Texas Univ., Austin, TX, USA
pp. 292

Detecting failed processes using fault signatures (Abstract)

E.J. Weyuker , AT&T Network Comput. Services, Red Hill, NJ, USA
A. Avritzer , AT&T Network Comput. Services, Red Hill, NJ, USA
pp. 302

Author Index (PDF)

pp. 313
89 ms
(Ver 3.1 (10032016))