CAREL: Computer aided reliability evaluator for distributed computing networks

IEEE Transactions on Parallel and Distributed Systems

Volumn 2, Issue 2, 1991, Pages 199-213

  Soh, Sieteng ^a   Rai, Suresh ^a  

^a LOUISIANA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - BOOLEAN ALGEBRA; COMPUTER PROGRAMMING - ALGORITHMS; MATHEMATICAL TECHNIQUES - GRAPH THEORY; RELIABILITY;

CAREL; COMPUTER AIDED RELIABILITY EVALUATOR; TERMINAL RELIABILITY;

COMPUTER SYSTEMS, DIGITAL;

EID: 0026136648     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/71.89065     Document Type: Article

References (30)

1. S. Hariri C. S. Raghavendra SYREL: A symbolic reliability algorithm based on path cutset methods IEEE Trans. Comput. C-36 1224 1232 Oct. 1987
2. S. Rai D. P. Agrawal Distributed Computing Network Reliability 1990 IEEE Computer Society Press
3. A. Grnarov L. Kleinrock M. Gerla A new algorithm for network reliability computation Proc. Computer Networking Symp. 17 20 Proc. Computer Networking Symp. 1979-Dec.
4. A. M. Johnson M. Malek Survey of software tools for evaluating reliability, availability and serviceability ACM Comput. Surveys 227 269 Dec. 1988
5. D. Y. Koo D/Boolean application in reliability analysis Proc. Annu. Reliability Maintainability Symp. 294 301 Proc. Annu. Reliability Maintainability Symp. 1990
6. V. Kini D. P. Siewiorek Automatic generation of symbolic reliability functions for processor memory switch structure IEEE Trans. Comput. C-31 752 771 Aug. 1982
7. C. C. Fong J. A. Buzacott An algorithm of symbolic reliability computation with pathsets—or cutsets IEEE Trans. Reliability R-36 34 37 Apr. 1987
8. A. V. Aho J. E. Hopcroft J. D. Ullman The Design and Analysis of Computer Algorithms 1974 Addison-Wesley MA, Reading
9. C. J. Colbourn The Combinatorics of Network Reliability 1987 Oxford University Press England, Oxford
10. R. G. Bennetts Analysis of reliability block diagrams by Boolean techniques IEEE Trans. Reliability R-31 159 166 June 1982
11. A. Rosenthal Approaches to comparing cut-set enumeration algorithms IEEE Trans. Reliability R-28 62 65 Apr. 1979
12. S. Rai K. K. Aggarwal An efficient method for reliability evaluation of a general network IEEE Trans. Reliability R-27 206 211 Aug. 1978
13. J. A. Abraham An improved algorithm for network reliability IEEE Trans. Reliability R-28 58 61 Apr. 1979
14. L. Fratta U. G. Montanari A recursive method based on case analysis for computing network terminal reliability IEEE Trans. Commun. 1166 1177 Aug. 1978
15. M. O. Locks A minimizing algorithm for the sum of disjoint products IEEE Trans. Reliability R-36 445 453 Oct. 1987
16. X. Qian N. Shiratori S. Noguchi An algorithm for evaluating K-terminal reliability
17. R. Sahner K. Trivedi Performance and reliability analysis using directed acyclic graphs IEEE Trans. Software Eng. SE-13 1105 1114 Oct. 1987
18. M. Veeraraghavan K. S. Trivedi An improved algorithm for the symbolic reliability analysis of networks Proc. Ninth Symp. Reliable Distributed Syst. 34 43 Proc. Ninth Symp. Reliable Distributed Syst. Huntsville AL 1990-Oct.
19. S. Rai J. Trahan Computing network reliability of redundant MIN's Proc. 21st Southeastern Symp. Syst. Theory 221 225 Proc. 21st Southeastern Symp. Syst. Theory Tallahassee FL 1989-Mar.
20. R. Miller Switching Theory, Vol. 1: Combinational Circuits 1965 Wiley New York
21. V. K. P. Kumar S. Hariri C. S. Raghavendra Distributed program reliability analysis IEEE Trans. Software Eng. SE-12 42 50 Jan. 1986
22. R. K. Tiwari M. Verma An algebraic technique for reliability evaluation IEEE Trans. Reliability R-29 311 313 Oct. 1980
23. M. R. Garey D. S. Johnson Computers and Intractability, A Guide to the Theory of NP-Completeness 1979 Freeman CA, San Francisco
24. R. Johnson Network reliability and acyclic orientations Networks 14 489 505 1984
25. Y. R. Yoo N. Deo A comparison of algorithms for terminal pair reliability IEEE Trans. Reliability R-37 210 215 June 1988
26. J. S. Provan M. Ball Computing network reliability in time polynomial in the number of cuts Oper. Res. 32 516 526 1984
27. J. S. Provan The complexity of reliability computation in planar and acyclic graphs SIAM J. Comput. 15 694 702 1986
28. S. Abraham K. Padmanabhan Reliability of the hypercube Proc. Int. Conf. Parallel Processing 90 94 Proc. Int. Conf. Parallel Processing 1988
29. S. Abraham K. Padmanabhan Performance of the direct binary n-cube network for multiprocessors IEEE Trans. Comput. 38 1000 1011 July 1989
30. J. T. Blake K. S. Trivedi Multistage interconnection network reliability IEEE Trans. Comput. 38 1600 1604 Nov. 1989