|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 46 occurrences of 46 keywords
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
168 | Scott J. Weber, Kurt Keutzer |
Using minimal minterms to represent programmability. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
Boolean function representation, instruction set extraction, Boolean satisfiability |
133 | Evan Tick, Bruce D'Ambrosio |
Evaluating Bayes nets with concurrent process networks. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
Bayes nets, concurrent process networks, total probability mass, leaf node, general Bayes network, ancestor nodes, high mass minterms, partial minterms, child nodes, KL1, parallel algorithms, computational complexity, computation complexity, probability, message passing, directed graphs, directed acyclic graphs, search problems, Bayes methods, conditional probabilities, concurrent algorithm |
57 | Hamed F. Dadgour, Muhammad Mustafa Hussain, Kaustav Banerjee |
A new paradigm in the design of energy-efficient digital circuits using laterally-actuated double-gate NEMs. |
ISLPED |
2010 |
DBLP DOI BibTeX RDF |
Boolean logic minimization, energy-efficient electronics, laterally-actuated NEMS, nanoelectromechanical switches, XOR gates |
54 | Nripendra N. Biswas |
On covering distant minterms by the camp algorithm. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
47 | Craig M. Files, Rolf Drechsler, Marek A. Perkowski |
Functional Decomposition of MVL Functions Using Multi-Valued Decision Diagrams. |
ISMVL |
1997 |
DBLP DOI BibTeX RDF |
learning samples, minterms, machine learning, learning (artificial intelligence), minimization, functional decomposition, multi-valued logic, multi-valued decision diagrams, problem complexity, MVL functions |
47 | Mohammad A. Ketabchi, Valdis Berzins |
Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
database partitioning, clustering concept, component aggregation, equivalent objects, minterms, stored views, design data, frequent access patterns, data structures, relational database, relational databases, CAD, database theory, Boolean algebra, assemblies, equivalence classes, composite objects, engineering databases |
38 | Krishna Prasad Raghuraman, Haibo Wang 0005, Spyros Tragoudas |
Minimizing FPGA Reconfiguration Data at Logic Level. |
ISQED |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Prathima Agrawal, Vishwani D. Agrawal, Nripendra N. Biswas |
Multiple output minimization. |
DAC |
1985 |
DBLP DOI BibTeX RDF |
|
35 | Hakan Akar |
Lojik fonksiyonlarda izole mintermlerin tespiti ve etkin bir sadeleştirme algoritmasının geliştirilmesi (Finding isolated minterms in logic functions and developing an efficient simplification algorithm) |
|
2020 |
RDF |
|
35 | Wenxiang Chen, L. Darrell Whitley, Adele E. Howe, Brian W. Goldman |
Stochastic Local Search over Minterms on Structured SAT Instances. |
SOCS |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Ehud Friedgut, Jeff Kahn 0001, Clara Shikhelman |
Thresholds and Expectation-Thresholds of Monotone Properties with Small Minterms. |
Electron. J. Comb. |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Bambang A. B. Sarif, Mostafa I. H. Abd-El-Barr |
The Use of Multiple Connected Pseudo Minterms in the Synthesis of MVL Functions. |
ISMVL |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Md. Mozammel Huq Azad Khan, Md. Shamsul Alam |
Algorithms for Conversion of Minterms to Positive Polarity Reed-Muller Coefficients and Vice Versa. |
Inf. Process. Lett. |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Sergiu Rudeanu |
Linear Boolean equations and generalized minterms. |
Discret. Math. |
1983 |
DBLP DOI BibTeX RDF |
|
28 | Shiyi Xu |
High-Order Syndrome Testing for VLSI Circuits. |
PRDC |
2005 |
DBLP DOI BibTeX RDF |
Syndrome Testing Minterms, Syndrome, Exhaustive Testing |
19 | Xinliang Zhang, Jing Xu, Jianji Dong, Dexiu Huang |
All-Optical Logic Gates Based on Semiconductor Optical Amplifiers and Tunable Filters. |
OSC |
2009 |
DBLP DOI BibTeX RDF |
all-optical logic gates, semiconductor optical amplifiers (SOAs), delay interferometer, bandpass filter |
19 | Martin Lukac, Marek A. Perkowski |
Projective Measurement-Based Logic Synthesis of Quantum Circuits. |
ISMVL |
2008 |
DBLP DOI BibTeX RDF |
Projective Measurement, Logic Synthesis, Quantum Circuits |
19 | Azam Beg, P. W. Chandana Prasad, Walid Ibrahim, Emad Abu Shama |
Utilizing synthesis to verify Boolean function models. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Kaviraj Chopra, Sarma B. K. Vrudhula |
Efficient Symbolic Algorithms for Computing the Minimum and Bounded Leakage States. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Kuo-Hua Wang, Jia-Hung Chen |
K-disjointness paradigm with application to symmetry detection for incompletely specified functions. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ferdinando Cicalese, Eduardo Sany Laber |
An Optimal Algorithm for Querying Priced Information: Monotone Boolean Functions and Game Trees. |
ESA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Krishna Prasad Raghuraman, Haibo Wang 0005, Spyros Tragoudas |
A Novel Approach to Minimizing Reconfiguration Cost for LUT-Based FPGAs. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Hafiz Md. Hasan Babu, Moinul Islam Zaber, Md. Rafiqul Islam 0001, Md. Mazder Rahman |
On the Minimization of Multiple-Valued Input Binary-Valued Output Functions. |
ISMVL |
2004 |
DBLP DOI BibTeX RDF |
Multiple-Valued Input Two-Valued Output Functions, Sum-of-Products (SOPs), Logic Minimization, Prime Implicant |
19 | Amparo Fúster-Sabater |
Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
run distribution, minterm, cryptography, stream cipher, Balancedness |
19 | Anzhela Yu. Matrosova, Vladimir Ostrovsky, Ilya Levin, K. Nikitin |
Designing FPGA based Self-Testing Checkers for m-out-of-n Codes. |
IOLTS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Bogdan J. Falkowski, Lip-San Lim |
Gray Scale Image Compression Based on Multiple-Valued Input Binary Functions, Walsh and Reed-Muller Spectra. |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
logic coding, multiple-valued input binary functions, Lossless compression, Gray scale images, Walsh transform, Reed-Muller transform |
19 | Stasys Jukna |
Combinatorics of Monotone Computations. |
Comb. |
1999 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (1991) Classes: 03D15, 05D15, 68R05, 05C65, 05B30 |
19 | Ilya Levin, Vladimir Sinelnikov |
Self-Checking of FPGA-Based Control Units. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Valeria Bertacco, Maurizio Damiani |
Boolean Function Representation Using Parallel-Access Diagrams. |
Great Lakes Symposium on VLSI |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Ney Laert Vilar Calazans |
Boolean constrained encoding: a new formulation and a case study. |
ICCAD |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Martin Helliwell, Marek A. Perkowski |
A Fast Algorithm to Minimize Multi-Output Mixed-Polarity Generalized Reed-Muller Forms. |
DAC |
1988 |
DBLP BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|