-
2
-
-
0024127862
-
In search of effective diversity: A six-language study of faulttolerant flight control software
-
June
-
A. Avizienis, M. R. Lyu, and W. Schutz, “In search of effective diversity: A six-language study of faulttolerant flight control software,” in Proc. IEEE Comput. Soc. 18th Int. Symp. Faulttolerant Comput., June 1988, pp. 15-22.
-
(1988)
Proc. IEEE Comput. Soc. 18th Int. Symp. Faulttolerant Comput.
, pp. 15-22
-
-
Avizienis, A.1
Lyu, M.R.2
Schutz, W.3
-
4
-
-
84941514592
-
Rollback and recovery strategies for computer programs
-
June
-
K. N. Chandy and C. V. Ramamoorthy, “Rollback and recovery strategies for computer programs,” IEEE Trans. Comput., pp. 59-65, June 1972.
-
(1972)
IEEE Trans. Comput.
, pp. 59-65
-
-
Chandy, K.N.1
Ramamoorthy, C.V.2
-
5
-
-
0019079636
-
Ballistic missile defense: A supercomputer challenge
-
Nov.
-
C. G. Davis and R. L. Couch, “Ballistic missile defense: A supercomputer challenge,” IEEE Computer, pp. 37-46, Nov. 1980.
-
(1980)
IEEE Computer
, pp. 37-46
-
-
Davis, C.G.1
Couch, R.L.2
-
6
-
-
0017215219
-
faulttolerant software for real-time applications
-
Dec.
-
H. Hecht, “faulttolerant software for real-time applications,” Corn-put. Surveys, pp. 391-407, Dec. 1976.
-
(1976)
Corn-put. Surveys
, pp. 391-407
-
-
Hecht, H.1
-
7
-
-
85035116702
-
A program structure for error detection and recovery
-
New York: Springer-Verlag
-
J. J. Horning, H. C. Lauer, P. M. Melliar-Smith, and B. Randell, “A program structure for error detection and recovery,” in Lecture Notes in Comput. Sci., vol. 16. New York: Springer-Verlag, 1974, pp. 171-187.
-
(1974)
Lecture Notes in Comput. Sci.
, vol.16
, pp. 171-187
-
-
Horning, J.J.1
Lauer, H.C.2
Melliar-Smith, P.M.3
Randell, B.4
-
8
-
-
0018281241
-
Strategies for structured and faulttolerant design of recovery programs
-
Nov.
-
K. H. Kim, H. Hecht, J. Huang, and M. Naghibzadeh, “Strategies for structured and faulttolerant design of recovery programs,” in Proc. IEEE Comput. Soc. Int. Comput. Software Appl. Conf. (COM-PSAC), Nov. 1978, pp. 651-656.
-
(1978)
Proc. IEEE Comput. Soc. Int. Comput. Software Appl. Conf. (COM-PSAC)
, pp. 651-656
-
-
Kim, K.H.1
Hecht, H.2
Huang, J.3
Naghibzadeh, M.4
-
9
-
-
0021314568
-
Evolution of a virtual machine supporting faulttolerant distributed processes at a research laboratory
-
Los Angeles, CA, Apr.
-
K. H. Kim, “Evolution of a virtual machine supporting faulttolerant distributed processes at a research laboratory,” in Proc. IEEE Comput. Soc. 1st Int. Conf. Data Eng., Los Angeles, CA, Apr. 1984, pp. 620-628.
-
(1984)
Proc. IEEE Comput. Soc. 1st Int. Conf. Data Eng.
, pp. 620-628
-
-
Kim, K.H.1
-
10
-
-
0005764172
-
Software fault tolerance
-
C. R. Vick and C. V. Ramamoorthy, Eds. New York: Van Nostrand Reinhold, ch. 20
-
K. H. Kim, “Software fault tolerance,” in Handbook of Software Engineering. C. R. Vick and C. V. Ramamoorthy, Eds. New York: Van Nostrand Reinhold, 1984, ch. 20.
-
(1984)
Handbook of Software Engineering
-
-
Kim, K.H.1
-
12
-
-
84915232387
-
A flexible distributed testbed forreal time applications
-
Oct.
-
W. C. McDonald and R. W. Smith, “A flexible distributed testbed forreal time applications,” IEEE Computer, vol. 15, pp. 25-39, Oct. 1982.
-
(1982)
IEEE Computer
, vol.15
, pp. 25-39
-
-
McDonald, W.C.1
Smith, R.W.2
-
13
-
-
0016522101
-
System structure for software fault tolerance
-
June
-
B. Randell, “System structure for software fault tolerance,” IEEETrans. Software Eng., pp. 220-232, June 1975.
-
(1975)
IEEETrans. Software Eng.
, pp. 220-232
-
-
Randell, B.1
-
14
-
-
0015765055
-
STAREX self-repair routines: Software recovery in theJPL-STAR computer
-
J. A. Rohr, “STAREX self-repair routines: Software recovery in theJPL-STAR computer,” in Dig. IEEE Comput. Soc. Int. Symp.Faulttolerant Comput., 1973, pp. 11-16.
-
(1973)
Dig. IEEE Comput. Soc. Int. Symp.Faulttolerant Comput.
, pp. 11-16
-
-
Rohr, J.A.1
-
15
-
-
0021472935
-
faulttolerant systems in commercial applications
-
Aug.
-
O. Serlin, “faulttolerant systems in commercial applications,” IEEEComputer, pp. 19-30, Aug. 1984.
-
(1984)
IEEEComputer
, pp. 19-30
-
-
Serlin, O.1
|