The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1995-1999 (16) 2000-2022 (15)
Publication types (Num. hits)
article(4) inproceedings(27)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 30 occurrences of 22 keywords

Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
92Christoph Scholl 0001, Marc Herbstritt, Bernd Becker 0001 Exploiting don't cares to minimize *BMDs. Search on Bibsonomy ISCAS (5) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
92Abhijit Ghosh, Ranga Vemuri Formal Verification of Synthesized Mixed Signal Designs Using *BMDs. Search on Bibsonomy VLSI Design The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
77Randal E. Bryant, Yirng-An Chen Verification of arithmetic circuits using binary moment diagrams. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Formal verification, Computer arithmetic, Decision diagrams
71Stefan Höreth, Rolf Drechsler Dynamic Minimization of Word-Level Decision Diagrams. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF word-level, variable exchange, hybrid graph manipulation, K*BMDs, sifting, decision diagrams, reordering
71Edmund M. Clarke, Masahiro Fujita, Xudong Zhao 0005 Hybrid decision diagrams. Search on Bibsonomy ICCAD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF MTBDDs, arithmetic circuits verification, boolean vectors, hybrid decision diagrams, linear expressions, multi-terminal binary decision diagrams, symbolic model checking algorithms, computational complexity, time complexity, digital arithmetic, binary decision diagrams, circuit analysis computing, integers, BMDs
58Tsutomu Sasao, Shinobu Nagayama Representations of Elementary Functions Using Binary Moment Diagrams. Search on Bibsonomy ISMVL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
58Yirng-An Chen, Randal E. Bryant PHDD: an efficient graph representation for floating point circuit verification. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF KFDD, *BMD, HDD, K*BMD, Verification, Formal Verifications, BDD, Floating Point, FDD, BMD
38Wolfgang Günther 0001, Rolf Drechsler, Stefan Höreth Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation. Search on Bibsonomy ICCD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Sandro Wefel, Paul Molitor Prove that a faulty multiplier is faulty!? Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38H. Fujimori, Hiroaki Shirai, Hisatoshi Suzuki, Yasushi Kuno, Kazuhiko Tsuda, Takao Terano Business game development toolkit for the WWW environment. Search on Bibsonomy KES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Rolf Drechsler, Marc Herbstritt, Bernd Becker 0001 Grouping heuristics for word-level decision diagrams. Search on Bibsonomy ISCAS (1) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Philip B. Stark, Ran Xie They May Look and Look, Yet Not See: BMDs Cannot be Tested Adequately. Search on Bibsonomy E-Vote-ID The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Jingwei Liu, Mingli Wu, Rong Sun, Xiaojiang Du, Mohsen Guizani BMDS: A Blockchain-based Medical Data Sharing Scheme with Attribute-Based Searchable Encryption. Search on Bibsonomy ICC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Longyue Li, Fuxian Liu, Guangzheng Long, Pengsong Guo, Xiaofeng Bie Modified particle swarm optimization for BMDS interceptor resource planning. Search on Bibsonomy Appl. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Christoph Scholl 0001, Marc Herbstritt, Bernd Becker 0001 Don't Care Minimization of BMDs: Complexity and Algorithms. Search on Bibsonomy MBMV (1) The full citation details ... 2001 DBLP  BibTeX  RDF
34Rolf Drechsler, Stefan Höreth Manipulation of *BMDs. Search on Bibsonomy ASP-DAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Rolf Drechsler, Bernd Becker 0001, Stefan Ruppertz Manipulation Algorithms for K*BMDs. Search on Bibsonomy TACAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
34Rolf Drechsler, Bernd Becker 0001, Stefan Ruppertz K*BMDs: A New Data Structure for Verification. Search on Bibsonomy ED&TC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
34Laurent Arditi BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions. Search on Bibsonomy FMCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Shinobu Nagayama, Tsutomu Sasao Complexities of Graph-Based Representations for Elementary Functions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Shinobu Nagayama, Tsutomu Sasao Representations of Two-Variable Elementary Functions Using EVMDDs and their Applications to Function Generators. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF EVMDD, EVBDD, two-variable elementary functions, l-restricted Mp-monotone increasing functions, function generators
19Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler SWORD: A SAT like prover using word level information. Search on Bibsonomy VLSI-SoC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Shinobu Nagayama, Tsutomu Sasao Representations of Elementary Functions Using Edge-Valued MDDs. Search on Bibsonomy ISMVL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Kenji Nakano, Takao Terano From Gaming Simulation to Case Method - Empirical Study on Business Game Development and Evaluation. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Jayram S. Thathachar On the Limitations of Ordered Representations of Functions. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Rolf Drechsler, Bernd Becker 0001, Stefan Ruppertz The K*BMD: A Verification Data Structure. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Rolf Drechsler, Martin Keim, Bernd Becker 0001 Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF KBMD, decision diagrams, symmetric functions
19Martin Keim, Michael Martin 0002, Bernd Becker 0001, Rolf Drechsler, Paul Molitor Polynomial Formal Verification of Multipliers. Search on Bibsonomy VTS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Binary Moment Diagram (BMD), Verification, Multiplier
19Yirng-An Chen, Randal E. Bryant ACV: an arithmetic circuit verifier. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Binary Moment Diagram, Formal Verification, Arithmetic circuit, BMD, Hierarchical Verification
19Randal E. Bryant Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract). Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
19Kiyoharu Hamaguchi, Akihito Morita, Shuzo Yajima Efficient construction of binary moment diagrams for verifying arithmetic circuits. Search on Bibsonomy ICCAD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF word-level verification, binary moment diagram, arithmetic circuit, design verification
Displaying result #1 - #31 of 31 (100 per page; Change: )
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