72,238 Hits in 5.3 sec

Implementations of two algorithms for the threshold synthesis problem

Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann
2012 International Symposium on Artificial Intelligence and Mathematics  
The problem of finding an LPB representation of a Boolean function if possible is called threshold recognition problem or threshold synthesis problem.  ...  Smaus has developed such a procedure for doing this, which works by decomposing the DNF and "counting" the variable occurrences in it. We have implemented both algorithms as a thesis project.  ...  Acknowledgements We thank Yves Crama and Utz-Uwe Haus for very fruitful discussions about this work.  ... 
dblp:conf/isaim/SmausSW12 fatcat:wovcesgneffxrm7syyow6rmvwy

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems [chapter]

Milan Češka, Petr Pilař, Nicola Paoletti, Luboš Brim, Marta Kwiatkowska
2016 Lecture Notes in Computer Science  
We redesign, in terms of matrix-vector operations, the recently formulated algorithms for precise parameter synthesis in order to enable effective dataparallel processing, which results in significant  ...  Our experiments on several biological and engineering case studies demonstrate an overall speedup of up to 31-fold on a single GPU compared to the sequential implementation.  ...  We consider two parameter synthesis problems: the threshold synthesis problem that, given a threshold ∼ r and a CSL path formula φ, asks for the parameter region where the probability of φ meets ∼ r; and  ... 
doi:10.1007/978-3-662-49674-9_21 fatcat:oyqgrliiqbhutfuvwndexcy5oa

Synthesis of threshold logic circuits using tree matching

Tejaswi Gowda, Samuel Leshner, Sarma Vrudhula, Goran Konjevod
2007 2007 18th European Conference on Circuit Theory and Design  
We present a novel synthesis algorithm for threshold circuits based on tree matching.  ...  However, due to the lack of efficient circuit implementations, threshold logic did not gain popularity until recently.  ...  An algorithm for synthesis of two-level TL networks with weights restricted to be ±1 is described in [2] .  ... 
doi:10.1109/ecctd.2007.4529730 dblp:conf/ecctd/GowdaLVK07 fatcat:t2hnadoykjetnpkdoq4yis4cda

Learning Concepts by Synthesizing Minimal Threshold Gate Networks [chapter]

Arlindo L. Oliveira, Alberto Sangiovanni-Vincentelli
1991 Machine Learning Proceedings 1991  
We propose a new methodology for the synthesis of two-level networks of threshold gates based on techniques related to the ones used in the logic synthesis of digital networks.  ...  The proposed approach starts with a large network that performs the desired mapping and reduces its size by applying transformations that preserve the functionality for all examples in the training set  ...  The authors would like to thank Gregory Sorkin who suggested the use of threshold gates in logic synthesis, Jaijeet Roychowdhury who introduced the concept of pyramids and Alan Kramer by stimulating discussions  ... 
doi:10.1016/b978-1-55860-200-7.50042-8 dblp:conf/icml/OliveiraS91 fatcat:zwzw6yibr5ccbpfm6t6422k4ua

A threshold logic synthesis tool for RTD circuits

M.J. Avedillo, J.M. Quintana
2004 Euromicro Symposium on Digital System Design, 2004. DSD 2004.  
This paper describes an efficient approach to the automatic design of networks of threshold gates from functional specifications.  ...  In particular they have proven to efficiently implement threshold gates which are a generalization of conventional boolean gates.  ...  Section II formally defines the concept of threshold logic and establish the formulation of the problem of logic synthesis for TGs on which our CAD tool relies.  ... 
doi:10.1109/dsd.2004.1333337 dblp:conf/dsd/AvedilloQ04 fatcat:k7jvaxchu5h5zb2uo3z6i63t6a

VLSI Implementation of Image Denoising Algorithm using Dual Tree Complex Wavelet Transform

S. K., K. V., K. Soundararajan
2018 International Journal of Computer Applications  
Two stage 2D-DTCWT based image denoising has been performed using soft thresholding method and then the hardware software co-simulation design has been synthesized in Xilinx ISE 14.5 and implemented on  ...  The proposed de-noising method mainly consists of three modules: a DTCWT, a thresholding, and inverse DTCWT modular circuits.  ...  The block diagram of proposed design for one level DTCWT 3.1 Implementation Process In this effort, a hardware-software co-simulation algorithm has been designed for denoising images and implemented on  ... 
doi:10.5120/ijca2018916280 fatcat:h2cfll4rqne47mdac7endolycq

Threshold network synthesis and optimization and its application to nanotechnologies

2005 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions.  ...  The novelty of this work lies in the introduction of the first comprehensive synthesis methodology and tool for general multi-level threshold logic design.  ...  Fig. 1 . 1 Example of two nanotechnologies that implement threshold gates. Fig. 3 . 3 An example to motivate the need for a threshold logic synthesis methodology.  ... 
doi:10.1109/tcad.2004.839468 fatcat:7wcjebdimbgknn4zrb2bje57ea

Optimal Synthesis of Boolean Functions by Threshold Functions [chapter]

José Luis Subirats, Iván Gómez, José M. Jerez, Leonardo Franco
2006 Lecture Notes in Computer Science  
The method is applied to the synthesis of circuits that implement a flip-flop circuit and a multi-configurable gate. The advantages and disadvantages of the method are analyzed.  ...  We introduce a new method for obtaining optimal architectures that implement arbitrary Boolean functions using threshold functions.  ...  Leonardo Franco acknowledges support from the Spanish Ministry of Education and Science through a Ramón y Cajal fellowship.  ... 
doi:10.1007/11840817_102 fatcat:eoakcfgzpjgvfdk6qcxad5m4bi

Heuristics for Quantum Compiling with a Continuous Gate Set [article]

Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu
2019 arXiv   pre-print
For a workload of circuits with complexity appropriate for the NISQ era, we produce solutions well within the best upper bounds published in literature and match or exceed hand tuned implementations, as  ...  We present an algorithm for compiling arbitrary unitaries into a sequence of gates native to a quantum processor.  ...  Formulation of Synthesis as a Tree Search Problem We first formulate the problem of synthesis as a graph search problem. We do this by constructing a tree of circuit structures.  ... 
arXiv:1912.02727v1 fatcat:36qhmrbp5bhybjg5lppdnf7k3u

Synthesis and Optimization of Threshold Logic Networks with Application to Nanotechnologies [chapter]

Rui Zhang, Pallav Gupta, Lin Zhong, Niraj K. Jha
2008 Design, Automation, and Test in Europe  
We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions.  ...  We have built the first such tool, ThrEshold Logic Synthesizer (TELS), on top of an existing Boolean logic synthesis tool.  ...  The algorithm for formulating the ILP problem and determining the weight-threshold vector for a threshold function is shown in Fig. 6 . The algorithm is best demonstrated by an example.  ... 
doi:10.1007/978-1-4020-6488-3_24 fatcat:fw4yotwwqjf2noahu5oi6di4rq

Sparse Analysis Recovery via Iterative Cosupport Detection Estimation

Heping Song, Xiaolong Ren, Yuping Lai, Hongying Meng
2021 IEEE Access  
Further, we propose effective implementations of ICDE equipped with an efficient thresholding strategy for cosupport detection.  ...  In this paper, we propose a new family of analysis pursuit algorithms for the sparse analysis recovery problem when the signals obey the cosparse analysis model, termed as iterative cosupport detection  ...  of the synthesis counterpart algorithms.  ... 
doi:10.1109/access.2021.3063798 fatcat:qjjhayhajrf35ebznxsadmwrgu

Page 1443 of Automation and Remote Control Vol. 37, Issue 9 [page]

1976 Automation and Remote Control  
Red'kin, "On the synthesis of circuits of depth two from threshold elements," Avtom. Telemekh., No, 2, 82 (1969). D. A.  ...  Conclusion The article discusses the problem of choosing out of two structural-design algorithms the one which most simply implements a given system of Boolean functions, This problem has been reduced  ... 

BM3D Frames and Variational Image Deblurring

A. Danielyan, V. Katkovnik, K. Egiazarian
2012 IEEE Transactions on Image Processing  
A family of the Block Matching 3-D (BM3D) algorithms for various imaging problems has been recently proposed within the framework of nonlocal patch-wise image modeling [1], [2].  ...  We consider two different formulations of the deblurring problem: one given by minimization of the single objective function and another based on the Nash equilibrium balance of two objective functions  ...  The last two statements are valid for all three considered algorithms, i.e., analysis and synthesis based, and IDD-BM3D.  ... 
doi:10.1109/tip.2011.2176954 pmid:22128008 fatcat:i6vi7uvsuzcutg4t6n4z5bu2me

Combinational equivalence checking for threshold logic circuits

Tejaswi Gowda, Sarma Vrudhula, Goran Konjevod
2007 Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '07  
So far there has been no efficient method to verify the synthesized circuits. In this work we address the problem of combinational equivalence checking for threshold circuits.  ...  The main reason for this trend is the availability of devices that implement these circuits efficiently (current mode, differential mode circuits), as well as the promise they hold for the future nano  ...  We also demonstrated the use of this algorithm to solve the problem of combination equivalence checking for threshold circuits.  ... 
doi:10.1145/1228784.1228813 dblp:conf/glvlsi/GowdaVK07 fatcat:nmn5xniarvau7plkykuebm2kha

A New Decomposition Algorithm for Threshold Synthesis and Generalization of Boolean Functions

J.L. Subirats, J.M. Jerez, L. Franco
2008 IEEE Transactions on Circuits and Systems Part 1: Regular Papers  
A new algorithm for obtaining efficient architectures composed of threshold gates that implement arbitrary Boolean functions is introduced.  ...  An extension of the method for partially defined functions is also introduced and the generalization ability of the method is analyzed.  ...  This problem is known as the threshold logic synthesis of Boolean functions and has been much studied since the 1960s [1] - [5] .  ... 
doi:10.1109/tcsi.2008.923432 fatcat:y23zou2h4ng3tkjlcuibfsrmle
« Previous Showing results 1 — 15 out of 72,238 results