Search results for "minterms"

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