-
1
-
-
11544277270
-
Reliability modeling of disk array systems
-
eds R. Pooley and J. Hillston. Elsevier, Amsterdam
-
Malhotra, M. and Trivedi, K. S., Reliability modeling of disk array systems. In Computer Performance Evaluation, eds R. Pooley and J. Hillston. Elsevier, Amsterdam, 1992, pp. 339-352.
-
(1992)
Computer Performance Evaluation
, pp. 339-352
-
-
Malhotra, M.1
Trivedi, K.S.2
-
2
-
-
38249011203
-
Analyzing concurrent and fault-tolerant software using stochastic reward nets
-
Ciardo, G., Muppala, J. K. and Trivedi, K. S., Analyzing concurrent and fault-tolerant software using stochastic reward nets. J. Parallel and Distributed Systems, 1992, 255-269.
-
(1992)
J. Parallel and Distributed Systems
, pp. 255-269
-
-
Ciardo, G.1
Muppala, J.K.2
Trivedi, K.S.3
-
3
-
-
0016522101
-
System structure for software fault tolerance
-
Randell, B., System structure for software fault tolerance. IEEE Trans. Software Eng., 1975, SE-1(2), 220-232.
-
(1975)
IEEE Trans. Software Eng.
, vol.SE-1
, Issue.2
, pp. 220-232
-
-
Randell, B.1
-
5
-
-
0030257394
-
Accelerating mean time to failure computations
-
Heidelberger, P., Muppala, J. and Trivedi, K. S., Accelerating mean time to failure computations. Performance Evaluation, 1996, 27, 627-645.
-
(1996)
Performance Evaluation
, vol.27
, pp. 627-645
-
-
Heidelberger, P.1
Muppala, J.2
Trivedi, K.S.3
-
6
-
-
0025814157
-
Conditional expectations in the evaluation of fault-tolerant systems
-
Orlando, FL, January
-
Johnson, B. W., Pet-Edwards, J. and Schwab, A. J., Conditional expectations in the evaluation of fault-tolerant systems. In Proc. Annual Reliability and Maintainability Symposium, Orlando, FL, January 1991, pp. 242-247.
-
(1991)
Proc. Annual Reliability and Maintainability Symposium
, pp. 242-247
-
-
Johnson, B.W.1
Pet-Edwards, J.2
Schwab, A.J.3
-
8
-
-
0025507290
-
Performability analysis using semi-Markov reward processes
-
Ciardo, G., Marie, R., Sericola, B. and Trivedi, K. S., Performability analysis using semi-Markov reward processes. IEEE Trans. Computers, 1990, C-39(10), 1251-1264.
-
(1990)
IEEE Trans. Computers
, vol.C-39
, Issue.10
, pp. 1251-1264
-
-
Ciardo, G.1
Marie, R.2
Sericola, B.3
Trivedi, K.S.4
-
9
-
-
0027201447
-
Conditional MTTF and its computation in Markov reliability models
-
Atlanta, GA, January
-
Choi, H. and Trivedi, K. S., Conditional MTTF and its computation in Markov reliability models. In Proc. 1993 Annual Reliability and Maintainability Symposium, Atlanta, GA, January 1993, pp. 56-63.
-
(1993)
Proc. 1993 Annual Reliability and Maintainability Symposium
, pp. 56-63
-
-
Choi, H.1
Trivedi, K.S.2
-
10
-
-
0022204597
-
On the dependability evaluation of high safety systems
-
Arlat, J. and Laprie, J. C., On the dependability evaluation of high safety systems. In Proc. IEEE Int. Symp. on Fault-Tolerant Computing, FTCS-15, 1985, pp. 318-323.
-
(1985)
Proc. IEEE Int. Symp. on Fault-Tolerant Computing, FTCS-15
, pp. 318-323
-
-
Arlat, J.1
Laprie, J.C.2
-
11
-
-
0000227758
-
Probabilistic modeling of computer system availability
-
Goyal, A., Lavenberg, S. and Trivedi, K. S., Probabilistic modeling of computer system availability. Annals Operations Res., 1987, 8, 285-306.
-
(1987)
Annals Operations Res.
, vol.8
, pp. 285-306
-
-
Goyal, A.1
Lavenberg, S.2
Trivedi, K.S.3
-
12
-
-
0004236492
-
-
Johns Hopkins University Press, Baltimore, 2nd edn
-
Golub, G. H. and Van Loan, C. F., Matrix Computations. Johns Hopkins University Press, Baltimore, 2nd edn, 1989.
-
(1989)
Matrix Computations
-
-
Golub, G.H.1
Van Loan, C.F.2
-
14
-
-
0003435470
-
-
Prentice-Hall, Englewood Cliffs, NJ
-
Trivedi, K. S., Probability and Statistics with Reliability, Queueing, and Computer Science Applications. Prentice-Hall, Englewood Cliffs, NJ, 1982.
-
(1982)
Probability and Statistics with Reliability, Queueing, and Computer Science Applications
-
-
Trivedi, K.S.1
-
15
-
-
0022785652
-
An aggregation technique for the transient analysis of stiff Markov chains
-
Bobbio, A. and Trivedi, K. S., An aggregation technique for the transient analysis of stiff Markov chains. IEEE Trans. Computers, 1986, C-35(9), 803-814.
-
(1986)
IEEE Trans. Computers
, vol.C-35
, Issue.9
, pp. 803-814
-
-
Bobbio, A.1
Trivedi, K.S.2
|