Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Binary Decision Diagram (BDD)"”.
-
Risk Management of Electronic Health Record System in Hospitals
… analysis (FMEA), fault tree analysis (FTA), and Binary Decision Diagram (BDD) in addition, to one of the most recent systematic risk management techniques, Systems Theoretic Accident Model Process (STAMP). The traditional techniques are not as well suited to managing risks and preventing failures …
-
Formal Verification Techniques for Reversible Circuits
… of this design. This work proposes the use of Binary Decision Diagrams for optimization of reversible circuits. The proposed technique identifies repeated gate (trivial) as well as non-contiguous redundancies in a reversible circuit. Construction of a BDD for a sub-circuit (obtained by sliding …
-
Search State Extensibility based Learning Framework for Model Checking and Test Generation
… Design Verification techniques were based on Binary Decision Diagram (BDD) but now such techniques are based on branch-and-bound procedures to avoid space explosion. However, branch-and-bound procedures may explode in time; thus efficient heuristics and intelligent learning techniques are …