Filters








67,788 Hits in 3.1 sec

Implementation of GA with Position Based Crossover-PX Technique for Size Optimization of BDD Mapped Adder Circuits

2020 International Journal of Engineering and Advanced Technology  
Binary Decision Diagrams or BDD are data structure used to represent single and multi-output digital circuits.  ...  The main feature of position-based crossover technique is that it is suitable for order-based solution formation.  ...  is known as Reduced and Ordered Binary decision Diagram [4] .  ... 
doi:10.35940/ijeat.c6358.029320 fatcat:nasm4v5ozfamvlmuasabkfyi4u

On an optimization technique using Binary Decision Diagram [article]

Debajit Sensarma, Subhashis Banerjee, Krishnendu Basuli, Saptarshi Naskar, Samar Sen Sarma
2012 arXiv   pre-print
The application of Binary Decision Diagrams (BDDs) as an efficient approach for the minimization of Disjoint Sums-of-Products (DSOPs). DSOPs are a starting point for several applications.  ...  This paper represents a method of minimizing Boolean sum of products function with binary decision diagram and with disjoint sum of product minimization.  ...  The authors also thank the reviewers for their constructive and helpful comments and specially the Computer without which no work was possible.  ... 
arXiv:1203.2505v1 fatcat:hgdmt6q5afeelncmtizshb4vue

Ordered binary decision diagrams and minimal trellises

J. Lafferty, A. Vardy
1999 IEEE transactions on computers  
We would like to thank Randy Bryant for several helpful and informative discussions on binary decision diagrams.  ...  Biproper binary decision diagrams. Let V be an ordered binary decision diagram for a Boolean function f(xi,...,x n ).  ...  Sectionalized decision diagrams. Variable orderings for binary decision diagrams correspond to permutations of the time axis for binary codes.  ... 
doi:10.1109/12.795225 fatcat:72as4nzt7bbifhbgtvlab3ertu

A Firewall Application Using Binary Decision Diagram

Jun-feng ZHAO, Yuan-yi XIA, Gao-jian LV
2017 DEStech Transactions on Computer Science and Engineering  
In this paper, we present our work on the application of the binary decision diagram (BDD) on the design of firewalls. We use the BDD as the underlying data.  ...  In popular usage, the term BDD almost always refers to Reduced Ordered Binary Decision Diagram (ROBDD in the literature, used when the ordering and reduction aspects need to be emphasized).  ...  A simple decision diagram for (x1 ∨ x2) ∧ x3. Figure 2 . 2 Good variable ordering. Figure 3 . 3 Bad variable ordering. EndComputing Redundancy for the Original Firewall.  ... 
doi:10.12783/dtcse/cnsce2017/8909 fatcat:mw5letrpprd43ovhyi5agcrjiy

Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults [chapter]

Anna Bernasconi, Valentina Ciriani
2014 Lecture Notes in Computer Science  
This paper discusses the error resilience of Zero-Suppressed Binary Decision Diagrams (ZDDs), which are a particular family of Ordered Binary Decision Diagrams used for representing and manipulating combination  ...  More precisely, we design a new ZDD canonical form, called index-resilient reduced ZDD, such that a faulty index can be reconstructed in time O(k), where k is the number of nodes with a corrupted index  ...  The purpose of this paper is to discuss the error resilience of a data structure called Zero-Suppressed Binary Decision Diagrams (ZDDs) [17] , that are a particular type of Ordered Binary Decision Diagrams  ... 
doi:10.1007/978-3-662-44602-7_1 fatcat:uhzued2wsfcopch6fqlnyy6juq

Binary Decision Diagrams: from Tree Compaction to Sampling [article]

Julien Clément, Antoine Genitrini
2020 arXiv   pre-print
This yields the celebrated and widely used structure called reduced ordered binary decision diagram (ROBDD).  ...  Any Boolean function corresponds with a complete full binary decision tree.  ...  Fig. 1 . 1 Two Reduced Ordered Binary Decision Diagrams associated to the same Boolean function.  ... 
arXiv:1907.06743v3 fatcat:3mqx3ukvivgjtn6wwp2s6kfq6m

An efficient manipulation package for Biconditional Binary Decision Diagrams

Luca Amaru, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014  
Reduced and ordered BBDDs are remarkably compact and unique for a given Boolean function.  ...  Biconditional Binary Decision Diagrams (BBDDs) are a novel class of binary decision diagrams where the branching condition, and its associated logic expansion, is biconditional on two variables.  ...  Among traditional variable re-ordering techniques for binary decision diagrams, we extend Rudell's sifting algorithm [9] .  ... 
doi:10.7873/date.2014.309 dblp:conf/date/AmaruGM14 fatcat:uxzq4pxa2zcevacyer75kh6plm

Sylvan: Multi-Core Decision Diagrams [chapter]

Tom van Dijk, Jaco van de Pol
2015 Lecture Notes in Computer Science  
Decision diagrams such as binary decision diagrams and multivalued decision diagrams play an important role in various fields, including symbolic model checking.  ...  We implement parallel operations on list decision diagrams, a variant of multi-valued decision diagrams that is useful for symbolic model checking.  ...  Binary decision diagrams and multi-valued decision diagrams Binary decision diagrams (BDDs) were introduced by Akers [1] and developed by Bryant [5] . Definition 1 (Binary decision diagram).  ... 
doi:10.1007/978-3-662-46681-0_60 fatcat:47svdkgo75bgld46bk57lanngy

An Improved Algorithm for Network Reliability Evaluation

Mohammad Ghasemzadeh
2013 Journal of Artificial Intelligence and Data Mining  
In this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using CUDD - Colorado University Decision Diagram.  ...  Using Binary decision diagram in network reliability analysis has already been investigated by some researchers.  ...  The CUDD package provides functions to manipulate Binary Decision Diagram (BDD), Algebraic Decision Diagram (ADD), and Zerosuppressed Binary Decision Diagram (ZDD).  ... 
doi:10.22044/jadm.2013.111 doaj:bc0ac296c94c40129ed724f04808ec91 fatcat:acikt7hgxvexdn3l2c7cta7ki4

Decision diagrams in machine learning: an empirical study on real-life credit-risk data

Christophe Mues, Bart Baesens, Craig M. Files, Jan Vanthienen
2004 Expert systems with applications  
Alternatively, decision diagrams, a generalization of decision trees taking on the form of a rooted, acyclic digraph instead of a tree, have occasionally been suggested as a potentially more compact representation  ...  Therefore, in this paper, starting from a series of rule sets extracted from three real-life credit-scoring data sets, we will empirically assess to what extent decision diagrams are able to provide a  ...  Especially binary decision diagrams (BDDs) have, since the work of Bryant [Bryant, 1986] , who defined the canonical subclass of reduced ordered binary decision diagrams, pervaded virtually every subfield  ... 
doi:10.1016/j.eswa.2004.02.001 fatcat:kf46majsdvgd3g4kknk5udy3mi

Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data [chapter]

Christophe Mues, Bart Baesens, Craig M. Files, Jan Vanthienen
2004 Lecture Notes in Computer Science  
Alternatively, decision diagrams, a generalization of decision trees taking on the form of a rooted, acyclic digraph instead of a tree, have occasionally been suggested as a potentially more compact representation  ...  Therefore, in this paper, starting from a series of rule sets extracted from three real-life credit-scoring data sets, we will empirically assess to what extent decision diagrams are able to provide a  ...  Especially binary decision diagrams (BDDs) have, since the work of Bryant [Bryant, 1986] , who defined the canonical subclass of reduced ordered binary decision diagrams, pervaded virtually every subfield  ... 
doi:10.1007/978-3-540-25931-2_49 fatcat:jteqm2iyj5gkvccnnsegryu5tu

Multi-Terminal Binary Decision Diagrams and Hybrid Decision Diagrams [chapter]

Edmund M. Clarke, Masahiro Fujita, Xudong Zhao
1996 Representations of Discrete Functions  
We demonstrate how multi-terminal binary decision diagrams (MTBDDs) can be used to represent such functions concisely.  ...  Bryant and Chen have proposed binary moment diagrams (BMDs) for representing the class of functions that we have considered.  ...  Ordered binary decision diagrams (BDDs) are a canonical representation for binary valued functions proposed by Bryant [41.  ... 
doi:10.1007/978-1-4613-1385-4_4 fatcat:6zn4lmakljb3tdlasppoapz4s4

Multi-objective Binary Search Optimisation [chapter]

Evan J. Hughes
2003 Lecture Notes in Computer Science  
This paper introduces a new algorithm that aims to provide controllable exploration and exploitation of the decision space with a very limited number of function evaluations.  ...  The paper compares the performance of the algorithm to a typical evolutionary approach.  ...  Unfortunately, with long simulation times, either small population sizes must be used within an evolutionary algorithm, or the algorithm must be run for a reduced number of generations in order to keep  ... 
doi:10.1007/3-540-36970-8_8 fatcat:zjchwdaqivb4vka5bqnd62aaea

A New Approach for Finding the various Optimal Variable Ordering to Generate the Binary Decision Diagrams 'BDD' of a Computer Communication Network

Manoj Singhal, Dr. Girish Sharma, Dr. R. K. Chauhan
2011 International Journal of Computer Applications  
In this paper we have adopted a new approach for finding the various optimal ordering to generate the binary decision diagrams of a computer communication network.  ...  If two binary decision diagrams have the same size and representing the same Boolean function, then these binary decision diagrams are known as dual binary decision diagrams, because they are dual of each  ...  Fig 3: Reduced BDD Ordered Binary Decision Diagrams For an ordered BDD (OBDD), we impose a total ordering ≺ over the set of variables and require that for any vertex u, and either non terminal child  ... 
doi:10.5120/3801-2502 fatcat:6i6x3xscqfeexhn7jcebomdlaa

Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form

Luca Amaru, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
2014 IEEE Journal on Emerging and Selected Topics in Circuits and Systems  
In this paper, we present biconditional binary decision diagrams (BBDDs), a novel canonical representation form for Boolean functions.  ...  BBDDs are binary decision diagrams where the branching condition, and its associated logic expansion, is biconditional on two variables.  ...  Such feature improves the logic expressive power of the binary decision diagram.  ... 
doi:10.1109/jetcas.2014.2361058 fatcat:odgpqsnwrncwbogbnbilvshdiq
« Previous Showing results 1 — 15 out of 67,788 results