Search results for "BDD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura	A Comparison of Architectures for Various Decision Diagram Machines.	ISMVL	2010	DBLP DOI BibTeX RDF	QDD, QRBDD, QRMDD, Heterogeneous MDD, Homogeneous MDD, Branching Machine, MDD, BDD
1	Felix Reimann, Michael Glabeta, Martin Lukasiewycz, Joachim Keinert, Christian Haubelt, Jürgen Teich	Symbolic voter placement for dependability-aware system synthesis.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	mttuf, bdd, system synthesis, voter, mean time to failure, mttf
1	Ildefonso Montero, Joaquín Peña, Antonio Ruiz Cortés	Representing Runtime Variability in Business-Driven Development Systems.	ICCBSS	2008	DBLP DOI BibTeX RDF	Runtime Variability, Modeling business processes, BDD
1	María Agustina Cibrán	Translating BPMN Models into UML Activities.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	UML Activities, MDA, Model Transformations, BDD, MDE, BPMN, ATL
1	Paolo Bernardi, Kyriakos Christou, Michelangelo Grosso, Maria K. Michael, Ernesto Sánchez, Matteo Sonza Reorda	Exploiting MOEA to Automatically Geneate Test Programs for Path-Delay Faults in Microprocessors.	EvoWorkshops	2008	DBLP DOI BibTeX RDF	microprocessor, BDD, MOEA, path-delay testing
1	Felipe Machado, Teresa Riesgo, Yago Torroja	Disjoint Region Partitioning for Probabilistic Switching Activity Estimation at Register Transfer Level.	PATMOS	2008	DBLP DOI BibTeX RDF	activity estimation, CAD, VHDL, BDD, power estimation, RTL, Switching activity, circuit partition, digital circuit design
1	Tobias Eibach, Enrico Pilz, Gunnar Völkel	Attacking Bivium Using SAT Solvers.	SAT	2008	DBLP DOI BibTeX RDF	Rsat, Bivium, Gröbner Base, Cryptography, Application, Stream Cipher, BDD, SAT Solver, eSTREAM, Trivium
1	Scott W. Ambler	Test-Driven Development of Relational Databases.	IEEE Software	2007	DBLP DOI BibTeX RDF	database refactoring, test-driven database design, behavior-driven development, relational database, test-driven development, TDD, TDD, BDD, database testing
1	Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng	Improvements for the Symbolic Verification of Timed Automata.	FORTE	2007	DBLP DOI BibTeX RDF	verification, BDD, timed systems, symbolic method
1	Dirk Stegemann	Extended BDD-Based Cryptanalysis of Keystream Generators.	Selected Areas in Cryptography	2007	DBLP DOI BibTeX RDF	F-FCSR, cryptanalysis, Stream cipher, BDD, Trivium, Grain
1	Ziv Nevo, Monica Farkash	Distributed dynamic BDD reordering.	DAC	2006	DBLP DOI BibTeX RDF	model checking, distributed computing, BDD, reordering
1	Dirk Beyer	Relational programming with CrocoPat.	ICSE	2006	DBLP DOI BibTeX RDF	pattern matching, relational algebra, BDD, transitive closure, graph models, software analysis, predicate logic
1	Jianbin Tan, George S. Avrunin, Lori A. Clarke	Managing space for finite-state verification.	ICSE	2006	DBLP DOI BibTeX RDF	FLAVERS, ZDD, BDD, finite-state verification, LTSA
1	Toshiaki Miyazaki	Boolean formulation for sensor allocation problem and its efficient solver.	MidSens	2006	DBLP DOI BibTeX RDF	combinational optimization, BDD, dynamic allocation
1	Matthias Krause, Dirk Stegemann	Reducing the Space Complexity of BDD-Based Attacks on Keystream Generators.	FSE	2006	DBLP DOI BibTeX RDF	Bluetooth E0, GSM A5/1, cryptanalysis, Stream cipher, BDD, self-shrinking generator
1	Yaniv Shaked, Avishai Wool	Cryptanalysis of the Bluetooth E0 Cipher Using OBDD's.	ISC	2006	DBLP DOI BibTeX RDF	Cryptanalysis, Stream cipher, Bluetooth, BDD
1	Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi	Compositional SCC Analysis for Language Emptiness.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	language emptiness, model checking, BDD, LTL, abstraction refinement
1	Constantinos Bartzis, Tevfik Bultan	Efficient BDDs for bounded arithmetic constraints.	STTT	2006	DBLP DOI BibTeX RDF	Model checking, BDD, Integer arithmetic, SMV
1	Tsutomu Sasao, Munehiro Matsuura	BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition.	DAC	2005	DBLP DOI BibTeX RDF	code converter, BDD, cascade, characteristic function, incompletely specified function
1	Kanupriya Gulati, Nikhil Jayakumar, Sunil P. Khatri	An algebraic decision diagram (ADD) based technique to find leakage histograms of combinational designs.	ISLPED	2005	DBLP DOI BibTeX RDF	BDD, leakage, ADD
1	Jon T. Butler, Tsutomu Sasao, Munehiro Matsuura	Average Path Length of Binary Decision Diagrams.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	average path length, worst-case path length, APL, Binary decision diagrams, BDD
1	Farn Wang	Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	model-checking, verification, Data-structures, BDD, hybrid automata
1	Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain	On Partitioning and Symbolic Model Checking.	FM	2005	DBLP DOI BibTeX RDF	state partitioning, BDD, Symbolic Model Checking, CTL
1	Tsutomu Sasao, Munehiro Matsuura	A method to decompose multiple-output logic functions.	DAC	2004	DBLP DOI BibTeX RDF	FPGA, BDD, cascade, characteristic function
1	Yung-Ruei Chang, Suprasad V. Amari, Sy-Yen Kuo	Computing System Failure Frequencies and Reliability Importance Measures Using OBDD.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Failure frequency, reliability importance measure, imperfect coverage, fault tolerance, BDD, system availability
1	Farn Wang	Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.	CAV	2004	DBLP DOI BibTeX RDF	model-checking, verification, data-structures, BDD, hybrid automata
1	Farn Wang	Efficient verification of timed automata with BDD-like data structures.	STTT	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Data structures, Timed automata, BDD
1	Robert F. Damiano, James H. Kukula	Checking satisfiability of a conjunction of BDDs.	DAC	2003	DBLP DOI BibTeX RDF	satisfiability, BDD
1	Farn Wang	Efficient Verification of Timed Automata with BDD-Like Data-Structures.	VMCAI	2003	DBLP DOI BibTeX RDF	model-checking, verification, data-structures, timed automata, BDD
1	Tuba Yavuz-Kahveci, Tevfik Bultan	A symbolic manipulator for automated verification of reactive systems with heterogeneous data types.	STTT	2003	DBLP DOI BibTeX RDF	Composite representation, BDD, Symbolic model checking, Presburger arithmetic
1	Navin Vemuri, Priyank Kalla, Russell Tessier	BDD-based logic synthesis for LUT-based FPGAs.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	FPGA, decomposition, logic synthesis, BDD
1	Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer, Sergio Nocco, Claudio Passerone, Gianpiero Cabodi	A Symbolic Approach for the Combined Solution of Scheduling and Allocation.	ISSS	2002	DBLP DOI BibTeX RDF	scheduling, high-level synthesis, automata, BDD, allocation
1	Mitchell A. Thornton, Rolf Drechsler, D. Michael Miller	Multi-Output Timed Shannon Circuits.	ISVLSI	2002	DBLP DOI BibTeX RDF	Low Power, Logic Synthesis, BDD
1	Shin-ichi Minato	Streaming BDD Manipulation.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	algorithm, verification, testing, data structure, logic design, binary decision diagram, BDD, combinatorial problem, VLSI CAD
1	Chung-Hung Lai, Tien-Fu Chen	Compressing inverted files in scalable information systems by binary decision diagram encoding .	SC	2001	DBLP DOI BibTeX RDF	scalable information systems, information retrieval, BDD, inverted file
1	Dragan Jankovic, Radomir S. Stankovic, Rolf Drechsler	Decision Diagram Method for Calculation of Pruned Walsh Transform.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Walsh, pruned spectrum, Logic synthesis, BDD, spectral techniques
1	Justin E. Harlow III, Franc Brglez	Design of experiments and evaluation of BDD ordering heuristics.	STTT	2001	DBLP DOI BibTeX RDF	Benchmarking, BDD, Design of experiments
1	Stefan Höreth	A word-level graph manipulation package.	STTT	2001	DBLP DOI BibTeX RDF	Word-level, TUDD, BDD, Decision diagrams, BMD
1	Shin-ichi Minato	Zero-suppressed BDDs and their applications.	STTT	2001	DBLP DOI BibTeX RDF	Boolean function, BDD, Combinatorial problem, VLSI CAD, ZBDD
1	Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura	Implementation of Multiple-Output Functions Using PQMDDs. (PDF / PS)	ISMVL	2000	DBLP DOI BibTeX RDF	Multiple-output logic function, PMDD, PQMDD, MDD, BDD
1	Frank Schmiedle, Wolfgang Günther, Rolf Drechsler	Dynamic Re-Encoding During MDD Minimization. (PDF / PS)	ISMVL	2000	DBLP DOI BibTeX RDF	variable grouping, MDD, BDD, sifting
1	Jaehong Park, Carl Pixley, Michael Burns, Hyunwoo Cho	An Efficient Logic Equivalence Checker for Industrial Circuits.	J. Electronic Testing	2000	DBLP DOI BibTeX RDF	logic checking, ATPG, BDD, formal, combinational, functional verification, equivalence, MET
1	Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz	Automatic Vector Generation Using Constraints and Biasing.	J. Electronic Testing	2000	DBLP DOI BibTeX RDF	constraint, probability, partitioning, BDD, biasing, vector generation
1	Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal	BDD Decomposition for Efficient Logic Synthesis.	ICCD	1999	DBLP DOI BibTeX RDF	Decomposition, Logic Synthesis, BDD, Dominators
1	Rolf Drechsler	Preudo-Kronecker Expressions for Symmetric Functions.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	AND/EXOR, PSDKRO, 2-level minimization, Logic synthesis, BDD
1	Bernd Becker, Martin Keim, Rolf Krieger	Hybrid Fault Simulation for Synchronous Sequential Circuits.	J. Electronic Testing	1999	DBLP DOI BibTeX RDF	SOT, fault simulation, BDD, symbolic simulation, MOT
1	Steve Haynal, Forrest Brewer	Efficient encoding for exact symbolic automata-based scheduling.	ICCAD	1998	DBLP DOI BibTeX RDF	scheduling, high-level synthesis, automata, BDD
1	Kazuhiro Nakamura, Satoshi Yamane	Formal Verification of Real-Time Software by Symbolic Model-Checker.	ACSD	1998	DBLP DOI BibTeX RDF	temporal logic, approximations, BDD, symbolic model-checking, real-time software
1	Michael Theobald, Steven M. Nowick	An Implicit Method for Hazard-Free Two-Level Logic Minimization.	ASYNC	1998	DBLP DOI BibTeX RDF	hazard-free, two-level, dynamic-hazard-free prime implicants, asynchronous, BDD, logic minimization, implicit
1	Wolfgang Günther, Rolf Drechsler	Linear Transformations and Exact Minimization of BDDs.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	FPGA, synthesis, BDD, linear transformation, variable ordering, spectral transformation
1	Zohair Sahraoui, Francky Catthoor, Paul Six, Hugo De Man	Techniques for Reducing the Number of Decisions and Backtracks in Combinational Test Generation.	J. Electronic Testing	1998	DBLP DOI BibTeX RDF	supergate, prime-and-irredundant, ATPG, BDD
1	Amir Pnueli, Ofer Strichman, Michael Siegel	The Code Validation Tool CVT: Automatic Verification of a Compilation Process.	STTT	1998	DBLP DOI BibTeX RDF	Code validation, BDD, Industrial application, Compiler verification, Translation validation
1	Premal Buch, Amit Narayan, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli	Logic synthesis for large pass transistor circuits.	ICCAD	1997	DBLP DOI BibTeX RDF	logic synthesis, BDD, Pass transistor logic
1	Yirng-An Chen, Randal E. Bryant	PHDD: an efficient graph representation for floating point circuit verification.	ICCAD	1997	DBLP DOI BibTeX RDF	KFDD, BMD, HDD, KBMD, Verification, Formal Verifications, BDD, Floating Point, FDD, BMD
1	Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura	On Decomposition of Kleene TDDs.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	decomposition, TDD, BDD, logic simulation
1	Luc Robert, Grégoire Malandain	Fast Binary Image Processing Using Binary Decision Diagrams.	CVPR	1997	DBLP DOI BibTeX RDF	binary image processing, mathematical morphology, BDD, digital topology
1	Jon T. Butler, David S. Herscovici, Tsutomu Sasao, Robert J. Barton III	Average an Worst Case Number of Nodes in Decision Diagrams of Symmetric Multiple-Valued Functions.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	average case, complexity, BDD, Decision diagrams, multiple-valued functions, symmetric functions, asymptotic approximation
1	Shin-ichi Minato	Generation of BDDs from hardware algorithm descriptions.	ICCAD	1996	DBLP DOI BibTeX RDF	LSI CAD, logic synthesis, BDD, design verification, hardware algorithm