SYREL: A Symbolic Reliability Algorithm Based on Path and Cutset Methods

  title={SYREL: A Symbolic Reliability Algorithm Based on Path and Cutset Methods},
  author={Salim Hariri and Cauligi S. Raghavendra},
  journal={IEEE Transactions on Computers},
Symbolic terminal reliability algorithms are important for analysis and synthesis of computer networks. In this paper, we present a simple and efficient algorithm, SYREL, to obtain compact terminal reliability expressions between a terminal pair of computers of complex networks. This algorithm incorporates conditional probability,, set theory, and Boolean algebra in a distinct approach in which most of the computations performed are directly executable Boolean operations. The conditibnal… CONTINUE READING
Highly Cited
This paper has 96 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 53 extracted citations

97 Citations

Citations per Year
Semantic Scholar estimates that this publication has 97 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 16 references

Distrib - uted program reliability analysis

  • V. K. Prasanna Kumnar, S. Hariri, C. S. Raghavendra
  • IEEE Trans . Software Eng .
  • 1986

The complexity of network reliability computations

  • M. 0. Ball
  • Networks, vol. 10, pp. 153-165, Summer 1980.
  • 1980
1 Excerpt

An efficient method for reliability evaluation

  • K. K. Aggarwal
  • 1978

Computing the reliability of complex networks

  • A. Rosenthal
  • SIAMAppl . Math .
  • 1977

Similar Papers

Loading similar papers…