The Community for Technology Leaders
Computer Performance and Dependability Symposium, International (2000)
Chicago, Illinois
Mar. 27, 2000 to Mar. 30, 2000
ISSN: 1087-2191
ISBN: 0-7695-0553-8
TABLE OF CONTENTS

Referees (PDF)

pp. xi
Session 1: Markov Modeling and Applications: Chair: Kishor Trivedi, Duke University

On Markov Reward Modeling with FSPNs (Abstract)

Andrea Zisowsky , Technische Universit?t Berlin
Katinka Wolter , Technische Universit?t Berlin
pp. 3

Mission Time Analysis of Large Dependable Systems (Abstract)

Sandor Racz , Technical University of Budapest
Miklos Telek , Technical University of Budapest
pp. 13
Session 2: State Space Techniques: Chair: Kishor Trivedi, Duke University

Measure-Adaptive State-Space Construction (Abstract)

William H. Sanders , University of Illinois at Urbana-Champaign
W. Douglas Obal Ii , Hewlett-Packard Company
pp. 25

Sensitivity Analysis of Modular Dynamic Fault Trees (Abstract)

Joanne Bechta Dugan , University of Virginia
Yong Ou , University of Virginia
pp. 35
Session 3: Systems and Protocols: Chair: Jeff Zinchuk, Draper Laboratory

On the Effectiveness of a Message-Driven Confidence-Driven Protocol for Guarded Software Upgrading (Abstract)

Ann T. Tai , IA Tech Incorporated
William H. Sanders , University of Illinois at Urbana-Chanpaign
Leon Alkalai , California Institute of Technology
Kam S. Tso , IA Tech Incorporated
Savio N. Chau , California Institute of Technology
pp. 59

A Fundamental Failure Model for Fault-Tolerant Protocols (Abstract)

Asif Masum , University of Essen
Klaus Echtle , University of Essen
pp. 69
Session 4: Empirical Studies I: Chair: Gwan Choi, Texas A&M University

A Framework for Assessing Dependability in Distributed Systems with Lightweight Fault Injectors (Abstract)

Benjamin Floering , University of Illinois at Urbana-Champaign
David T. Stott , University of Illinois at Urbana-Champaign
Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
pp. 91
Session 5: Networking: Chair: Kevin Kwiat, Air Force Research Laboratory

The Impact of Backoff, EIFS, and Beacons on the Performance of IEEE 802.11 Wireless LANs (Abstract)

Armin Heindl , Technische Universit?t Berlin
Reinhard German , Technische Universit?t Berlin
pp. 103

Performance Index Based Network Reliability Analysis with Stratified Sampling (Abstract)

A. Kiss , Nokia Telecommunications Ltd,
L. Jereb , University of Budapest
pp. 123
Session 6: Empirical Studies II: Chair: Gianfranco Ciardo, College of William and Mary
Session 7: Petri Nets, Queueing Modeling, and Applications: Chair: Raymond Marie, University of Rennes

Dependability Assessment of GUARDS Instances (Abstract)

Jean Arlat , LAAS-CNRS
Tahar Jarboui , LAAS-CNRS
David Powell , LAAS-CNRS
Karama Kanoun , LAAS-CNRS
pp. 147

Hybrid Analysis of SGSPNs with Time-Dependent Transition Rates (Abstract)

Peter Buchholz , Technical University at Dresden
pp. 157

On Queuing with Customer Impatience until the End of Service (Abstract)

Ali Movaghar , Sharif University of Technology
pp. 167

Author Index (PDF)

pp. 175
100 ms
(Ver )