The Community for Technology Leaders
Computer Performance and Dependability Symposium, International (1995)
Erlangen, Germany
Apr. 24, 1995 to Apr. 26, 1995
ISSN: 1087-2191
ISBN: 0-8186-7059-2
TABLE OF CONTENTS

Referees (PDF)

pp. xii
Session 1: Dependable Software

Dependability models for iterative software considering correlation between successive inputs (Abstract)

A. Bondavalli , Istituto CNUCE, CNR, Pisa, Italy
S. Chiaradonna , Istituto CNUCE, CNR, Pisa, Italy
F. Di Giandomenico , Istituto CNUCE, CNR, Pisa, Italy
L. Strigini , Istituto CNUCE, CNR, Pisa, Italy
pp. 0013
Session 2: Operating System Mechanisms

Traffic dependencies in client-server systems and their effect on performance prediction (Abstract)

G. Franks , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
pp. 0024

Correctness and performance of a multicomputer operating system (Abstract)

P. Martin , Dept. of Comput. Sci., Victoria Univ., Wellington, New Zealand
R. Candlin , Dept. of Comput. Sci., Victoria Univ., Wellington, New Zealand
S. Gilmore , Dept. of Comput. Sci., Victoria Univ., Wellington, New Zealand
pp. 0034

An implementation and performance measurement of the progressive retry technique (Abstract)

Gaurav Suri , AT&T Bell Labs., Murray Hill, NJ, USA
Yennun Huang , AT&T Bell Labs., Murray Hill, NJ, USA
Yi-Min Yang , AT&T Bell Labs., Murray Hill, NJ, USA
W.K. Fuchs , AT&T Bell Labs., Murray Hill, NJ, USA
C. Kintala , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0041
Invited Session: Modeling and Evaluation

Performability evaluation: where it is and what lies ahead (Abstract)

J.F. Meyer , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 0050

Stochastic Petri nets: accomplishments and open problems (Abstract)

G. Balbo , Dipartimento di Inf., Torino Univ., Italy
pp. 0051

Structural performance analysis of stochastic Petri nets (Abstract)

M. Silva , Dept. de Ingenieria Electr. e Inf., Zaragoza Univ., Spain
J. Campos , Dept. de Ingenieria Electr. e Inf., Zaragoza Univ., Spain
pp. 0061
Session 3: Modelling Theory

Matrix-geometric solution of infinite stochastic Petri nets (Abstract)

B.R. Haverkort , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 0072

Lumpability and nearly-lumpability in hierarchical queueing networks (Abstract)

P. Buchholz , Informatik IV, Dortmund Univ., Germany
pp. 0082

Computation of absorption probability distributions of continuous-time Markov chains using regenerative randomization (Abstract)

A. Calderon , Dept. d'Enginyeria Electronica, Univ. Politecnica de Catalunya, Barcelona, Spain
J.A. Carrasco , Dept. d'Enginyeria Electronica, Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 0092

Stochastic process algebras as a tool for performance and dependability modelling (Abstract)

H. Hermanns , IMMD VII, Erlangen-Nurnberg Univ., Germany
U. Herzog , IMMD VII, Erlangen-Nurnberg Univ., Germany
V. Mertsiotakis , IMMD VII, Erlangen-Nurnberg Univ., Germany
pp. 0102
Session 4: Non-Markovian Stochastic Petri Nets

New results for the analysis of deterministic and stochastic Petri nets (Abstract)

R. German , Prozessdatenverarbeitung und Robotik, Tech. Univ. Berlin, Germany
pp. 0114

Markov regenerative SPN with non-overlapping activity cycles (Abstract)

A. Bobbio , Dipartimento de Elettronica, Brescia Univ., Italy
N. Telek , Dipartimento de Elettronica, Brescia Univ., Italy
pp. 0124

Markov regenerative models (Abstract)

D. Logothetis , GTE Labs. Inc., Waltham, MA, USA
K.S. Trivedi , GTE Labs. Inc., Waltham, MA, USA
A. Puliafito , GTE Labs. Inc., Waltham, MA, USA
pp. 0134
Session 5: Distributed Systems

Design and analysis of efficient fault-detecting network membership protocols (Abstract)

M. Leu , Fachbereich Inf., Dortmund Univ., Germany
pp. 0144

On integrating error detection into a fault diagnosis algorithm for massively parallel computers (Abstract)

J. Altmann , Dept. of Comput. Sci., Erlangen-Nurnberg Univ., Germany
T. Bartha , Dept. of Comput. Sci., Erlangen-Nurnberg Univ., Germany
A. Pataricza , Dept. of Comput. Sci., Erlangen-Nurnberg Univ., Germany
pp. 0154

Performance evaluation of the quorum consensus replication method (Abstract)

A. Helal , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
B. Bhargava , Dept. of Comput. Sci. Eng., Texas Univ., Arlington, TX, USA
pp. 0165
Session 6: Performability of Real-Time Systems

Enhancing the performance and dependability of real-time systems (Abstract)

D.L. Hull , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
W. Feng , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
J.W.-S. Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 0174

Performability analysis of formal graphical specifications (Abstract)

K. Waedt , KWU NL-R, Siemens AG, Erlangen, Germany
J. Richter , KWU NL-R, Siemens AG, Erlangen, Germany
A. Graf , KWU NL-R, Siemens AG, Erlangen, Germany
U. Mertens , KWU NL-R, Siemens AG, Erlangen, Germany
pp. 0183
Session 7: Fault Injection Environments

System-level modeling in the ADEPT environment of a distributed computer system for real-time applications (Abstract)

A.K. Ghosh , Center for Semicustom Integrated Systems, Virginia Univ., Charlottesville, VA, USA
B.W. Johnson , Center for Semicustom Integrated Systems, Virginia Univ., Charlottesville, VA, USA
J.A. Profeta, III , Center for Semicustom Integrated Systems, Virginia Univ., Charlottesville, VA, USA
pp. 0194

DOCTOR: an integrated software fault injection environment for distributed real-time systems (Abstract)

Seungjae Han , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
H.A. Rosenberg , Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 0204

Assessing the effects of communication faults on parallel applications (Abstract)

J. Carreira , Dept. de Engenharia Inf., Univ. de Coimbra, Portugal
H. Madeira , Dept. de Engenharia Inf., Univ. de Coimbra, Portugal
J.G. Silva , Dept. de Engenharia Inf., Univ. de Coimbra, Portugal
pp. 0214

Dependability evaluation using hybrid fault/error injection (Abstract)

N.A. Kanawati , Computer Advanced Technol., GENIX, Dearborn, MI, USA
G.A. Kanawati , Computer Advanced Technol., GENIX, Dearborn, MI, USA
J.A. Abraham , Computer Advanced Technol., GENIX, Dearborn, MI, USA
pp. 0224
Session 8: Performance and Reliability Analysis

Performance analysis of the RAID 5 disk array (Abstract)

A. Kuratti , 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
pp. 0236

Routing among different nodes where servers break down without losing jobs (Abstract)

N. Thomas , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
I. Mitrani , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
pp. 0246

An analysis of impact of workload fluctuations on performance of computer systems (Abstract)

Guang-Liang Li , Inst. of Comput. Technol., Acad. Sinica, Beijing, China
pp. 0256

Evaluation of performability measures for replicated banyan networks (Abstract)

A. Bhattacharya , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
R.R. Rao , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
T.-T.Y. Lin , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 0265
Session 9: Practical Issues

Modeling recycle: a case study in the industrial use of measurement and modeling (Abstract)

L.M. Malhis , Storage Syst. Div., IBM Corp., Tucson, AZ, USA
S.C. West , Storage Syst. Div., IBM Corp., Tucson, AZ, USA
L.A. Kant , Storage Syst. Div., IBM Corp., Tucson, AZ, USA
W.H. Sanders , Storage Syst. Div., IBM Corp., Tucson, AZ, USA
pp. 0285

An analysis of client/server outage data (Abstract)

A.P. Wood , Tandem Comput. Inc., Cupertino, CA, USA
pp. 0295
Session 10: Low-Level Hardware Aspects

Dependability analysis in HW-SW codesign (Abstract)

G. Csertan , Dept. of Meas. & Instrum. Eng., Tech. Univ. Budapest, Hungary
A. Pataricza , Dept. of Meas. & Instrum. Eng., Tech. Univ. Budapest, Hungary
E. Selenyi , Dept. of Meas. & Instrum. Eng., Tech. Univ. Budapest, Hungary
pp. 0306

Use of preferred preemption points in cache-based real-time systems (Abstract)

J. Simonson , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
J.H. Patel , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 0316

Performance recovery in direct-mapped faulty caches via the use of a very small fully associative spare cache (Abstract)

H.T. Vergos , Comput. Technol. Inst., Patras, Greece
D. Nokolos , Comput. Technol. Inst., Patras, Greece
pp. 0326

Addendum (Abstract)

pp. 0333

Author Index (PDF)

pp. 0345
78 ms
(Ver 3.3 (11022016))