Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Binary Decision Diagram
Data Structure
Exact Algorithm
Network Reliability
Decision Diagram
Subscribe
Academic
Publications
K-terminal Network Reliability Evaluation Using Binary Decision Diagram
Edit
K-terminal Network Reliability Evaluation Using Binary Decision Diagram
BibTex
|
RIS
|
RefWorks
Download
Mohammad Ghasemzadeh
,
Christoph Meinel
,
Sara Khanji
Binary decision diagram
(BDD) is a modern
data structure
proved to be compact in representation and efficient in manipulation of Boolean formulas. Using
binary decision diagram
in
network reliability
analysis has already been investigated by some researchers. In this paper we show how an
exact algorithm
for
network reliability
can be improved and implemented efficiently using CUDD - Colorado University decision diagram.
Conference:
International Conference on Information and Communication Technologies: From Theory to Applications - ICTTA
, 2008
DOI:
10.1109/ICTTA.2008.4530175
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
(
www.hpi.uni-potsdam.de
)
References
(14)
Complexity of network reliability computations
(
Citations: 92
)
Michael O. Ball
Journal:
Networks
, vol. 10, no. 2, pp. 153-165, 1980
Computational Complexity of Network Reliability Analysis: An Overview
(
Citations: 102
)
Michael O. Ball
Journal:
IEEE Transactions on Reliability - TR
, vol. 35, no. 3, pp. 230-239, 1986
Efficient Implementation of a BDD Package
(
Citations: 868
)
Karl S. Brace
,
Richard L. Rudell
,
Randal E. Bryant
Conference:
Design Automation Conference - DAC
, pp. 40-45, 1990
Graph-Based Algorithms for Boolean Function Manipulation
(
Citations: 5294
)
Randal E. Bryant
Journal:
IEEE Transactions on Computers - TC
, vol. C-35, no. 8, pp. 677-691, 1986
Implicit and incremental computation of primes and essential primes of Boolean functions
(
Citations: 69
)
Olivier Coudert
,
Jean Christophe Madre
Conference:
Design Automation Conference - DAC
, pp. 36-39, 1992