The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for bdd with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-1993 (26) 1994 (23) 1995 (26) 1996 (22) 1997 (37) 1998 (39) 1999 (45) 2000 (50) 2001 (45) 2002 (47) 2003 (59) 2004 (66) 2005 (63) 2006 (61) 2007 (48) 2008 (51) 2009 (36) 2010 (17) 2011-2012 (29) 2013 (16) 2014 (19) 2015 (17) 2016 (16) 2017 (20) 2018 (16) 2019 (16) 2020-2021 (29) 2022 (16) 2023 (28) 2024 (2)
Publication types (Num. hits)
article(233) book(1) data(1) incollection(2) inproceedings(744) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 664 occurrences of 364 keywords

Results
Found 985 publication records. Showing 985 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
98Shin-ichi Minato Streaming BDD Manipulation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF algorithm, verification, testing, data structure, logic design, binary decision diagram, BDD, combinatorial problem, VLSI CAD
89Frank Reffel BDD-Nodes Can Be More Expressive. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
80Lei Cheng 0001, Deming Chen, Martin D. F. Wong DDBDD: Delay-Driven BDD Synthesis for FPGAs. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
80Lei Cheng 0001, Deming Chen, Martin D. F. Wong DDBDD: Delay-Driven BDD Synthesis for FPGAs. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
72Rasa Remenyte, John D. Andrews A Simple Component Connection Approach for Fault Tree Conversion to Binary Decision Diagram. Search on Bibsonomy ARES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
71Matthias Krause 0001, Dirk Stegemann Reducing the Space Complexity of BDD-Based Attacks on Keystream Generators. Search on Bibsonomy FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bluetooth E0, GSM A5/1, cryptanalysis, Stream cipher, BDD, self-shrinking generator
71Yanyan Xu 0001, Weiya Yue, Kaile Su The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. Search on Bibsonomy FAW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
71Ronnie L. Wright, Michael A. Shanblatt Reducing BDD Size by Exploiting Structural Connectivity. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
70Gopal Paul, Ajit Pal, Bhargab B. Bhattacharya On finding the minimum test set of a BDD-based circuit. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF binary decision diagram (BDD), multiplexors, network flow, stuck-at faults, VLSI testing
63Dragan Jankovic, Radomir S. Stankovic, Rolf Drechsler Decision Diagram Method for Calculation of Pruned Walsh Transform. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Walsh, pruned spectrum, Logic synthesis, BDD, spectral techniques
62Tsutomu Sasao, Munehiro Matsuura BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF code converter, BDD, cascade, characteristic function, incompletely specified function
62Andrei Rimsa, Luis E. Zárate, Mark A. J. Song Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. Search on Bibsonomy ICCS (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Zero-Supressed Binary Decision Diagrams, Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
62Zhihua Tang, Joanne Bechta Dugan BDD-based reliability analysis of phased-mission systems with multimode failures. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
62William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Michael A. Driscoll BDD minimization by scatter search. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
61Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Binary Decision Diagram (BDD), multistate component, multistate fault tree, multistate system, blocking probability
54Chung-Hung Lai, Tien-Fu Chen Compressing inverted files in scalable information systems by binary decision diagram encoding . Search on Bibsonomy SC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF scalable information systems, information retrieval, BDD, inverted file
54Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams. Search on Bibsonomy ISAAC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
53Dirk Stegemann Extended BDD-Based Cryptanalysis of Keystream Generators. Search on Bibsonomy Selected Areas in Cryptography The full citation details ... 2007 DBLP  DOI  BibTeX  RDF F-FCSR, cryptanalysis, Stream cipher, BDD, Trivium, Grain
53Ziv Nevo, Monica Farkash Distributed dynamic BDD reordering. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model checking, distributed computing, BDD, reordering
53Farn Wang Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model-checking, verification, data-structures, BDD, hybrid automata
53Farn Wang Efficient Verification of Timed Automata with BDD-Like Data-Structures. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model-checking, verification, data-structures, timed automata, BDD
53Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal BDD Decomposition for Efficient Logic Synthesis. Search on Bibsonomy ICCD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Decomposition, Logic Synthesis, BDD, Dominators
53Avi Yadgar, Orna Grumberg, Assaf Schuster Hybrid BDD and All-SAT Method for Model Checking. Search on Bibsonomy Languages: From Formal to Natural The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Toru Akishita, Masanobu Katagi, Yoshikazu Miyato, Asami Mizuno, Kyoji Shibutani A Practical DPA Countermeasure with BDD Architecture. Search on Bibsonomy CARDIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dual-rail pre-charge logic, DPA, Binary Decision Diagram, countermeasure
53Dirk Beyer 0001 Improvements in BDD-Based Reachability Analysis of Timed Automata. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Real-time systems, Formal verification, Timed automata, BDDs, Discretization
53Michael Baldamus, Klaus Schneider 0001 The BDD Space Complexity of Different Forms of Concurrency. Search on Bibsonomy ACSD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Ildefonso Montero, Joaquín Peña, Antonio Ruiz Cortés Representing Runtime Variability in Business-Driven Development Systems. Search on Bibsonomy ICCBSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Runtime Variability, Modeling business processes, BDD
45Guoqing Xu 0001, Atanas Rountev Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pointer analysis, context sensitivity, points-to analysis
45Yi-Kai Liu 0001, Vadim Lyubashevsky, Daniele Micciancio On Bounded Distance Decoding for General Lattices. Search on Bibsonomy APPROX-RANDOM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Dazhi Wang, Kishor S. Trivedi Computing steady-state mean time to failure for non-coherent repairable systems. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Pascal Fontaine, E. Pascal Gribomont Using BDDs with Combinations of Theories. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Gianpiero Cabodi Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Congguang Yang, Maciej J. Ciesielski Synthesis for Mixed CMOS/PTl Logic. Search on Bibsonomy DATE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Farn Wang Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model-checking, verification, Data-structures, BDD, hybrid automata
44Farn Wang Efficient verification of timed automata with BDD-like data structures. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Model checking, Verification, Data structures, Timed automata, BDD
44Navin Vemuri, Priyank Kalla, Russell Tessier BDD-based logic synthesis for LUT-based FPGAs. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF FPGA, decomposition, logic synthesis, BDD
44Justin E. Harlow III, Franc Brglez Design of experiments and evaluation of BDD ordering heuristics. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Benchmarking, BDD, Design of experiments
44Wei Zhang 0004, Hua Yan, Haiyan Zhao, Zhi Jin A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization. Search on Bibsonomy ICSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clonable features, Verification, Constraints, Customization, Feature models
44Florian Pigorsch, Christoph Scholl 0001, Stefan Disch Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Rupesh S. Shelar, Sachin S. Sapatnekar BDD decomposition for delay oriented pass transistor logic synthesis. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Rüdiger Ebendt, Rolf Drechsler Quasi-Exact BDD Minimization Using Relaxed Best-First Search. Search on Bibsonomy ISVLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Veronika Ortner, Norbert Schirmer Verification of BDD Normalization. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Jean-Michel Couvreur A BDD-Like Implementation of an Automata Package. Search on Bibsonomy CIAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Gilles Audemard, Lakhdar Sais SAT Based BDD Solver for Quantified Boolean Formulas. Search on Bibsonomy ICTAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Amit Prakash, Ramakrishna Kotla, Tanmoy Mandal, Adnan Aziz A high-performance architecture and BDD-based synthesis methodology for packet classification. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Dirk Beyer 0001, Claus Lewerentz, Andreas Noack Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Guoqiang Pan, Moshe Y. Vardi Optimizing a BDD-Based Modal Solver. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Congguang Yang, Maciej J. Ciesielski BDS: a BDD-based logic optimization system. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Per Lindgren, Mikael Kerttu, Mitchell A. Thornton, Rolf Drechsler Low power optimization technique for BDD mapped circuits. Search on Bibsonomy ASP-DAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Christoph Meinel, Harald Sack, Arno Wagner WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms. Search on Bibsonomy Experimental Algorithmics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. Search on Bibsonomy DATE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Tevfik Bultan BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Kenneth Y. Yun, Bill Lin 0001, David L. Dill, Srinivas Devadas BDD-based synthesis of extended burst-mode controllers. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Kim Milvang-Jensen, Alan J. Hu BDDNOW: A Parallel BDD Package. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan 0001, Fabio Somenzi A Performance Study of BDD-Based Model Checking. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich Don't Care-Based BDD Minimization for Embedded Software. Search on Bibsonomy DAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF low power, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian
44Youpyo Hong, Peter A. Beerel, Jerry R. Burch, Kenneth L. McMillan Safe BDD Minimization Using Don't Cares. Search on Bibsonomy DAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
43Liudong Xing, Joanne Bechta Dugan Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Felipe Machado, Teresa Riesgo, Yago Torroja Disjoint Region Partitioning for Probabilistic Switching Activity Estimation at Register Transfer Level. Search on Bibsonomy PATMOS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF activity estimation, CAD, VHDL, BDD, power estimation, RTL, Switching activity, circuit partition, digital circuit design
36Yaniv Shaked, Avishai Wool Cryptanalysis of the Bluetooth E0 Cipher Using OBDD's. Search on Bibsonomy ISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Cryptanalysis, Stream cipher, Bluetooth, BDD
36Jon T. Butler, Tsutomu Sasao, Munehiro Matsuura Average Path Length of Binary Decision Diagrams. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF average path length, worst-case path length, APL, Binary decision diagrams, BDD
36Tsutomu Sasao, Munehiro Matsuura A method to decompose multiple-output logic functions. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF FPGA, BDD, cascade, characteristic function
36Wolfgang Günther 0001, Rolf Drechsler Linear Transformations and Exact Minimization of BDDs. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF FPGA, synthesis, BDD, linear transformation, variable ordering, spectral transformation
36Yung-Chih Chen, Chun-Yao Wang An Implicit Approach to Minimizing Range-Equivalent Circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Dazhi Wang, Kishor S. Trivedi Reliability Analysis of Phased-Mission System With Independent Component Repairs. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Jean-Michel Couvreur, Yann Thierry-Mieg Hierarchical Decision Diagrams to Exploit Model Structure. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler Minimization of the expected path length in BDDs based on local changes. Search on Bibsonomy ASP-DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Mohammad Awedh, Fabio Somenzi Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee Points-to analysis using BDDs. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF binary decision diagrams, points-to analysis
36Gianpiero Cabodi, Paolo Camurati, Stefano Quer Can BDDs compete with SAT solvers on bounded model checking? Search on Bibsonomy DAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model checking, formal verification, SAT, BDDs
36Viresh Paruthi, Andreas Kuehlmann Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. Search on Bibsonomy ICCD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36E. Allen Emerson, Richard J. Trefler From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Chia-Pin R. Liu, Jacob A. Abraham Transistor Level Synthesis for Static CMOS Combinational Circuits. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Henrik Reif Andersen, Henrik Hulgaard Boolean Expression Diagrams (Extended Abstract). Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Kenneth L. McMillan Hierarchical Representations of Discrete Functions, with Application to Model Checking. Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
35Markus Behle On threshold BDDs and the optimal variable ordering problem. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Threshold BDD, 0/1 integer programming, Optimal variable ordering, Variable ordering spectrum, Binary decision diagram, Knapsack
35P. W. Chandana Prasad, Ali Assi 0001, Azam Beg Binary Decision Diagrams and neural networks. Search on Bibsonomy J. Supercomput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF BDD complexity, Neural network, Binary decision diagrams, Complexity estimation
35Robert Wille, Rolf Drechsler BDD-based synthesis of reversible logic for large functions. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF synthesis, decision diagrams, reversible logic, quantum logic
35Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001 Optimization techniques for BDD-based bisimulation computation. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods
35Rüdiger Ebendt, Rolf Drechsler Effect of improved lower bounds in dynamic BDD reordering. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Gianpiero Cabodi, Marco Murciano BDD-Based Hardware Verification. Search on Bibsonomy SFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Weiya Yue, Yanyan Xu 0001, Kaile Su BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Dennis Wu, Jianwen Zhu BDD-based two variable sharing extraction. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Rüdiger Ebendt, Rolf Drechsler Lower bounds for dynamic BDD reordering. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Yen-Tai Lai, Yung-Chuan Jiang, Hong-Ming Chu BDD decomposition for mixed CMOS/PTL logic circuit synthesis. Search on Bibsonomy ISCAS (6) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Görschwin Fey, Junhao Shi, Rolf Drechsler BDD Circuit Optimization for Path Delay Fault Testability. Search on Bibsonomy DSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Jean Vuillemin, Frédéric Béal On the BDD of a Random Boolean Function. Search on Bibsonomy ASIAN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson A Partitioning Methodology for BDD-Based Verification. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Yung-Ruei Chang, Hung-Yau Lin, Sy-Yen Kuo Reliability Evaluation of Dependable Distributed Computing Systems Based on Recursive Merge and BDD. Search on Bibsonomy PRDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Gianpiero Cabodi, Sergio Nocco, Stefano Quer Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Geert Janssen A Consumer Report on BDD Packages. Search on Bibsonomy SBCCI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Rüdiger Ebendt Reducing the number of variable movements in exact BDD minimization. Search on Bibsonomy ISCAS (5) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Gianpiero Cabodi, Sergio Nocco, Stefano Quer Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Sava Krstic, John Matthews Verifying BDD Algorithms through Monadic Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella Integrating BDD-Based and SAT-Based Symbolic Model Checking. Search on Bibsonomy FroCoS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal BDS: a BDD-based logic optimization system. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Gianpiero Cabodi, Paolo Camurati, Stefano Quer Improving the efficiency of BDD-based operators by means of partitioning. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Justin E. Harlow III, Franc Brglez Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Yanyan Xu, Weiya Yue A Generalized Framework for BDD-based Replanning A* Search. Search on Bibsonomy SNPD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF BDD-based search, heuristic search-based planning, A*, replanning, incremental search
34Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 985 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license