-
1
-
-
0025384345
-
Fault injection for dependability validation: A methodology and some applications
-
J. Arlat et al, "Fault Injection for Dependability Validation: a Methodology and Some Applications", IEEE Transactions on Software Engineering, Vol. 16, No. 2, 1990, pp.166-182.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.2
, pp. 166-182
-
-
Arlat, J.1
-
2
-
-
0024909363
-
Understanding large systems failures-a fault injection experiment
-
R. Chillarege, N. Bowen, "Understanding Large Systems Failures-A fault Injection Experiment", Proceedings of 19th FTCS Symposium, 1989, pp. 356-363.
-
(1989)
Proceedings of 19th FTCS Symposium
, pp. 356-363
-
-
Chillarege, R.1
Bowen, N.2
-
3
-
-
0028597333
-
Estimation of coverage probabilities for dependability validation of fault-tolerant computing systems
-
Gaithersburg MD
-
C. Constantinescu, "Estimation of coverage probabilities for dependability validation of fault-tolerant computing systems", Proceedings of 9th Annual Conf. On Computer Assurance, Gaithersburg, MD, 1994, pp. 101-106.
-
(1994)
Proceedings of 9th Annual Conf. on Computer Assurance
, pp. 101-106
-
-
Constantinescu, C.1
-
4
-
-
0029510657
-
Using multi-stage & stratified sampling for inferring fault coverage probabilities
-
C. Constantinescu, "Using Multi-stage & Stratified Sampling for Inferring Fault Coverage Probabilities", IEEE Transactions on Reliability, Vol. 44, No. 4, 1995, pp. 632-639.
-
(1995)
IEEE Transactions on Reliability
, vol.44
, Issue.4
, pp. 632-639
-
-
Constantinescu, C.1
-
7
-
-
0001822058
-
Experimental evaluation
-
Special Issue
-
R. K. Iyer, "Experimental Evaluation" 25th FTCS Symposium, Special Issue, 1995, pp. 115-132.
-
(1995)
25th FTCS Symposium
, pp. 115-132
-
-
Iyer, R.K.1
-
8
-
-
0028018774
-
Fault Injection into VHDL Models: The MEFISTO tool
-
E. Jenn et al, "Fault Injection into VHDL Models: The MEFISTO tool", Proceedings of 24th FTCS Symposium, 1994, pp. 66-75.
-
(1994)
Proceedings of 24th FTCS Symposium
, pp. 66-75
-
-
Jenn, E.1
-
9
-
-
85064759317
-
FERRARI: A tool for the validation of system dependability properties
-
G. Kanawati, N. Kanawati, J. Abraham, "FERRARI: A Tool for the Validation of System Dependability Properties", Proceedings of 22nd FTCS Symposium, 1992, pp. 336-344.
-
(1992)
Proceedings of 22nd FTCS Symposium
, pp. 336-344
-
-
Kanawati, G.1
Kanawati, N.2
Abraham, J.3
-
10
-
-
84936893976
-
Using heavy-ion radiation to validate fault handling mechanisms
-
J. Karlsson et al, "Using Heavy-ion Radiation to Validate Fault Handling Mechanisms", IEEE Micro, Vol. 14, No. 1, 1994, pp. 8-32.
-
(1994)
IEEE Micro
, vol.14
, Issue.1
, pp. 8-32
-
-
Karlsson, J.1
-
11
-
-
0002598384
-
Application of three physical fault injection techniques to the experimental assessment of the mars architecture
-
J. Karlsson et al, "Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture", Proceedings of 5th DCCA Conference, 1995, pp. 150-161.
-
(1995)
Proceedings of 5th DCCA Conference
, pp. 150-161
-
-
Karlsson, J.1
-
13
-
-
84859516565
-
A general purpose pin-level fault injector
-
Berlin, Germany
-
H. Madeira, M. Rela, F. Moreira, J. G. Silva, "A General Purpose Pin-level Fault Injector", Proceedings of 1st European Dependable Computing Conference, Berlin, Germany, 1994, pp. 199-216.
-
(1994)
Proceedings of 1st European Dependable Computing Conference
, pp. 199-216
-
-
Madeira, H.1
Rela, M.2
Moreira, F.3
Silva, J.G.4
-
14
-
-
0029724679
-
A teraflop supercomputer in 1996: The asci tflop system
-
T. G. Mattson, D. Scott, S. Wheat, "A TeraFLOP Supercomputer in 1996: the ASCI TFLOP System", Proceedings of 10th International Parallel Processing Symposium, 1996, pp. 84-93
-
(1996)
Proceedings of 10th International Parallel Processing Symposium
, pp. 84-93
-
-
Mattson, T.G.1
Scott, D.2
Wheat, S.3
-
15
-
-
0024138092
-
FIAT: Fault injection based automated testing environment
-
Z. Segal, T. Lin, "FIAT: Fault Injection Based Automated Testing Environment", Proceedings of 18th FTCS Symposium, 1988, pp. 102-107.
-
(1988)
Proceedings of 18th FTCS Symposium
, pp. 102-107
-
-
Segal, Z.1
Lin, T.2
-
16
-
-
0029703956
-
Experimental assessment of parallel systems
-
J. G. Silva et al, "Experimental Assessment of Parallel Systems", Proceedings of 26th FTCS Symposium, 1996, pp. 415-424.
-
(1996)
Proceedings of 26th FTCS Symposium
, pp. 415-424
-
-
Silva, J.G.1
-
17
-
-
0004085629
-
The theory and practice of reliable design
-
Digital Press, Digital Equipment Corp
-
D. P. Siewiorek, R. S. Swarz, "The Theory and Practice of Reliable Design, Digital Press, Digital Equipment Corp., 1984, Bedford, Massachusetts.
-
(1984)
Bedford, Massachusetts
-
-
Siewiorek, D.P.1
Swarz, R.S.2
-
18
-
-
0003435470
-
-
Ch. 10, Prentice-Hall
-
K. S. Trivedi, "Probability and Statistics with Reliability, Queuing, and Computer Science Applications", Ch. 10, Prentice-Hall, 1982.
-
(1982)
Probability and Statistics with Reliability, Queuing, and Computer Science Applications
-
-
Trivedi, K.S.1
-
19
-
-
0025505471
-
Evaluation and design of an ultra reliable distributed architecture for fault tolerance
-
C. J. Walter, "Evaluation and Design of an Ultra reliable Distributed Architecture for Fault Tolerance", IEEE Transactions on reliability, Vol. 39, No. 4, 1990, pp. 492-499.
-
(1990)
IEEE Transactions on Reliability
, vol.39
, Issue.4
, pp. 492-499
-
-
Walter, C.J.1
|