-
1
-
-
0032674982
-
Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection
-
June
-
Alkhalifa, Z., Nair, V. S. S., Kirshnamurthy, N., Abraham, J. A.: Design and Evaluation of System-Level Checks for On-Line Control Flow Error Detection, IEEE Transactions on Parallel and Distributed Systems, Vol. 10, No. 6, June 1999, pp. 627-641
-
(1999)
IEEE Transactions on Parallel and Distributed Systems
, vol.10
, Issue.6
, pp. 627-641
-
-
Alkhalifa, Z.1
Nair, V.2
Kirshnamurthy, N.3
Abraham, J.A.4
-
2
-
-
0034480241
-
A Software Development Kit for Dependable Applications in Embedded Systems
-
Benso, A., Chiusano, S., Prinetto, P.: A Software Development Kit for Dependable Applications in Embedded Systems, Proc. of IEEE Int. Test Conference, 2000
-
(2000)
Proc. Of IEEE Int. Test Conference
-
-
Benso, A.1
Chiusano, S.2
Prinetto, P.3
-
4
-
-
0032002385
-
Xception: A Technique of The Experimental Evaluation of Dependability in Modern Computers
-
February
-
Carreira, J., Madeira, H., Silva, J.G.: Xception: A Technique of The Experimental Evaluation of Dependability in Modern Computers, IEEE Transactions on Software Engineering, vol.24, No.2, February 1998, pp.125-136
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.2
, pp. 125-136
-
-
Carreira, J.1
Madeira, H.2
Silva, J.G.3
-
5
-
-
0032592909
-
Coverage Estimation Methods for Stratified Fault Injection
-
July
-
Cukier, M., Powell, D., Arlat, J.: Coverage Estimation Methods for Stratified Fault Injection, IEEE Transactions on Computers, vol. 48, No. 7, July 1999, pp. 707-723
-
(1999)
IEEE Transactions on Computers
, vol.48
, Issue.7
, pp. 707-723
-
-
Cukier, M.1
Powell, D.2
Arlat, J.3
-
6
-
-
84881222996
-
Considering Workload Input Variations in Error Coverage Estimation
-
Springer
-
Folkesson, P., Karlsson, J.: Considering Workload Input Variations in Error Coverage Estimation, Proc. of 3rd European Dependable Computing Conference, Springer, 1999, pp.171-188
-
(1999)
Proc. Of 3Rd European Dependable Computing Conference
, pp. 171-188
-
-
Folkesson, P.1
Karlsson, J.2
-
8
-
-
84957039886
-
Control Flow Checking Using Assertions, Dependable Computing for Critical Applications 5 (DCCA-5)
-
McFearin, Lee D., Nair, V. S. S.: Control Flow Checking Using Assertions, Dependable Computing for Critical Applications 5 (DCCA-5), IEEE Computer Society 1998, pp. 183-200
-
(1998)
IEEE Computer Society
, pp. 183-200
-
-
McFearin, L.D.1
Nair, V.2
-
9
-
-
84956986555
-
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
-
Napier, J., May, J., Hughes, G.: Empirical Assessment of Software On-Line Diagnostics Using Fault Injection, Proc. of SAFECOMP2000, pp.4
-
Proc. Of SAFECOMP2000
-
-
Napier, J.1
May, J.2
Hughes, G.3
-
11
-
-
0034508590
-
An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications
-
Rebaudengo, M., Sonza Reorda, M., et al.: An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications, DFT' 2000: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2000, pp. 257-265
-
(2000)
DFT' 2000: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems
, pp. 257-265
-
-
Rebaudengo, M.1
Reorda, S.M.2
-
12
-
-
0002613966
-
Transient Fault Tolerance in Digital Systems
-
February
-
Sosnowski J.: Transient Fault Tolerance in Digital Systems, IEEE Micro, February 1994, pp.24-35
-
(1994)
IEEE Micro
, pp. 24-35
-
-
Sosnowski, J.1
-
13
-
-
0006805517
-
Tracing Fault Effects in System Environment
-
Sosnowski, J., Gawkowski, P.: Tracing Fault Effects in System Environment, Proceedings of Euromicro Conference, IEEE Comp. Soc. 1999, pp.481-486
-
(1999)
Proceedings of Euromicro Conference, IEEE Comp. Soc
, pp. 481-486
-
-
Sosnowski, J.1
Gawkowski, P.2
|