Results 291 to 299 of about 3,877,335 (299)

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams

ACM Transactions on Computational Logic, 2019
Jim Newton, Didier Verna
exaly  

Binary Decision Diagrams

2003
openaire   +1 more source

An Efficient Algorithm for Exact Computation of System and Survival Signatures Using Binary Decision Diagrams

Reliability Engineering and System Safety, 2017
Sean Reed
exaly  

A Logarithmic Binary Decision Diagram-Based Method for Multistate System Analysis

IEEE Transactions on Reliability, 2008
Liudong Xing
exaly  

A Fault Tree Analysis Strategy Using Binary Decision Diagrams

Reliability Engineering and System Safety, 2002
exaly  

Binary Decision Diagram (BDD)

2009
Arash Habibi Lashkari
exaly  

Ordered Binary Decision Diagrams

2002
Randal E. Bryant, Christoph Meinel
openaire   +1 more source

Some Disturbing Facts About Depth-First Left-Most Variable Ordering Heuristics for Binary Decision Diagrams

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2008
exaly  

Binary Decision Diagrams (BDDs)

2006
openaire   +1 more source