„OBDD“
Suchergebnisse
1.000+ Treffer
-
Global rebuilding of OBDD's – tunelling memory requirement maxima
-
Algorithmen und untere Schranken für verallgemeinerte OBDDs
-
Symbolic representations in WCET analysis
-
Selected Cryptographic Methods for Securing Low-End Devices
-
Symbolische Methoden für die probabilistische Verifikation – Zustandsraumreduktion und Gegenbeispiele
-
Algorithmik und Komplexität OBDD-repräsentierter Graphen
-
Scalable deterministic logic built-in self-test
-
Complexity bounds on some fundamental computational problems for quantum branching programs
-
A signature-based approach to formal logic verification
-
Improving the power of ordered binary decision diagrams by integrating parity nodes
-
High-level methods for OBDD-based sequential verification
-
Symbolic methods for testing digital circuits
-
Binary decision diagrams for random Boolean functions
-
On graph algorithms for large-scale graphs
-
Automatische Testgenerierung auf der Basis einer qualitativen Modellierung physikalischer Systeme
-
Mod-2-OBDDs—A data structure that generalizes EXOR-sum-of-products and ordered binary decision diagrams
-
On Limits of Symbolic Approach to SAT Solving
-
OBDD(Join) Proofs Cannot Be Balanced
-
Separating Incremental and Non-Incremental Bottom-Up Compilation
-
Automating OBDD proofs is NP-hard