Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Vienna

9783709192009, 9783709191989

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fault Injection Simulation: A Variance Reduction Technique for Systems with Rare Events

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_6 ◽

1992 ◽

pp. 115-134 ◽

Cited By ~ 1

Author(s):

Aad P. A. van Moorsel ◽

Boudewijn R. Haverkort ◽

Ignas G. Niemegeers

Keyword(s):

Variance Reduction ◽

Rare Events ◽

Fault Injection ◽

Reduction Technique ◽

Variance Reduction Technique ◽

Injection Simulation

A Numerical Technique for the Hierarchical Evaluation of Large, Closed Fault-Tolerant Systems

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_5 ◽

1992 ◽

pp. 95-114 ◽

Cited By ~ 1

Author(s):

Jacob Abraham ◽

Don Lee ◽

David Rennels ◽

George Gilley

Keyword(s):

Fault Tolerant ◽

Numerical Technique ◽

Fault Tolerant Systems ◽

Hierarchical Evaluation

Verification of Memory Management Units

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_13 ◽

1992 ◽

pp. 261-278 ◽

Cited By ~ 1

Author(s):

E. Thomas Schubert ◽

Karl N. Levitt

Keyword(s):

Memory Management ◽

Management Units

Impact of Correlated Failures on Dependability in a VAXcluster System

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_9 ◽

1992 ◽

pp. 175-194 ◽

Cited By ~ 7

Author(s):

Dong Tang ◽

Ravishankar K. Iyer

Keyword(s):

Correlated Failures

A New Efficient Signature Technique for Process Monitoring in Critical Systems

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_20 ◽

1992 ◽

pp. 421-437 ◽

Cited By ~ 1

Author(s):

Shambhu J. Upadhyaya ◽

Bina Ramamurthy

Keyword(s):

Process Monitoring ◽

Critical Systems

On-Line Signature Learning and Checking

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_19 ◽

1992 ◽

pp. 395-420 ◽

Cited By ~ 16

Author(s):

Henrique Madeira ◽

João G. Silva

Keyword(s):

On Line

A Fault-Tolerant Architecture for the Intellectual Distributed Processing System

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_16 ◽

1992 ◽

pp. 333-353 ◽

Cited By ~ 2

Author(s):

Toshibumi Seki ◽

Yasukuni Okataku ◽

Shinsuke Tamura

Keyword(s):

Fault Tolerant ◽

Distributed Processing ◽

Processing System

An Empirical Investigation of the Effect of Formal Specifications on Program Diversity

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_11 ◽

1992 ◽

pp. 219-240 ◽

Cited By ~ 2

Author(s):

Thomas I. McVittie ◽

John P. J. Kelly ◽

Wayne I. Yamamoto

Keyword(s):

Empirical Investigation ◽

Formal Specifications ◽

Program Diversity

The Proof of Correctness of a Fault-Tolerant Circuit Design

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_12 ◽

1992 ◽

pp. 243-260 ◽

Cited By ~ 4

Author(s):

William R. Bevier ◽

William D. Young

Keyword(s):

Circuit Design ◽

Fault Tolerant ◽

Proof Of Correctness

Correlated Hardware Failures in Redundant Systems

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9198-9_8 ◽

1992 ◽

pp. 157-174 ◽

Cited By ~ 6

Author(s):

Joanne Bechta Dugan

Keyword(s):

Hardware Failures ◽

Redundant Systems

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Vienna

Fault Injection Simulation: A Variance Reduction Technique for Systems with Rare Events

A Numerical Technique for the Hierarchical Evaluation of Large, Closed Fault-Tolerant Systems

Verification of Memory Management Units

Impact of Correlated Failures on Dependability in a VAXcluster System

A New Efficient Signature Technique for Process Monitoring in Critical Systems

On-Line Signature Learning and Checking

A Fault-Tolerant Architecture for the Intellectual Distributed Processing System

An Empirical Investigation of the Effect of Formal Specifications on Program Diversity

The Proof of Correctness of a Fault-Tolerant Circuit Design

Correlated Hardware Failures in Redundant Systems

Dependable Computing for Critical Applications 2 - Dependable Computing and Fault-Tolerant Systems
Latest Publications