Results 281 to 290 of about 3,636,570 (292)

Binary decision diagrams

2004
openaire   +1 more source

Efficient construction of binary decision diagrams for network reliability with imperfect vertices

Reliability Engineering and System Safety, 2019
Jun Kawahara, Shoji Kasahara, Takeru Inoue   +2 more
exaly  

Binary Decision Diagrams

2003
openaire   +1 more source

Optical logic gates using binary decision diagram with mirrors

Optics and Laser Technology, 2013
Tanay Chattopadhyay
exaly  

Formal verification using edge-valued binary decision diagrams

IEEE Transactions on Computers, 1996
Massoud Pedram
exaly  

Assessment of redundant systems with imperfect coverage by means of binary decision diagrams

Reliability Engineering and System Safety, 2008
Antoine Rauzy, Albert F Myers
exaly  

A fault tree analysis strategy using binary decision diagrams

Reliability Engineering and System Safety, 2002
exaly  

Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment

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

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  

Ordered Binary Decision Diagrams

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