Results 231 to 240 of about 9,378 (263)
Some of the next articles are maybe not open access.
Distributed binary decision diagrams for symbolic reachability
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017Decision diagrams are used in symbolic verification to concisely represent state spaces. A crucial symbolic verification algorithm is reachability: systematically exploring all reachable system states. Although both parallel and distributed reachability algorithms exist, a combined solution is relatively unexplored.
Wytse Oortwijn +2 more
openaire +3 more sources
2018
Binary decision diagrams provide a data structure for representing and manipulating Boolean functions in symbolic form. They have been especially effective as the algorithmic basis for symbolic model checkers. A binary decision diagram represents a Boolean function as a directed acyclic graph, corresponding to a compressed form of decision tree.
openaire +1 more source
Binary decision diagrams provide a data structure for representing and manipulating Boolean functions in symbolic form. They have been especially effective as the algorithmic basis for symbolic model checkers. A binary decision diagram represents a Boolean function as a directed acyclic graph, corresponding to a compressed form of decision tree.
openaire +1 more source
Binary superposed quantum decision diagrams
Quantum Information Processing, 2009The key theme of this work is the binary superposed decision diagrams or BSQDDs for short. The basic idea that lies behind BSQDDs is to represent a quantum superposition as a decision diagram where each node on each branch of a BSQDD corresponds to a gate.
openaire +2 more sources
2009 International Conference on Future Computer and Communication, 2009
the primary aim of computer science is invention of new data structures and algorithms. Those data structures and algorithms could significantly help us to solve unsolved problems or let us give much better solutions for the already solved problems. In this paper we introduce BDD (Binary Decision Diagram) and its variants OBDD (Ordered Binary Decision ...
Farnaz Towhidi +2 more
openaire +1 more source
the primary aim of computer science is invention of new data structures and algorithms. Those data structures and algorithms could significantly help us to solve unsolved problems or let us give much better solutions for the already solved problems. In this paper we introduce BDD (Binary Decision Diagram) and its variants OBDD (Ordered Binary Decision ...
Farnaz Towhidi +2 more
openaire +1 more source
On the Minimization of (Complete) Ordered Binary Decision Diagrams
Theory of Computing Systems, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
On the Width of Ordered Binary Decision Diagrams
2014Ordered binary decision diagrams (OBDDs) are a popular data structure for Boolean functions. One of its complexity measures is the width which has been investigated in several areas in computer science like machine learning, property testing, and the design and analysis of implicit graph algorithms.
openaire +2 more sources
Evasiveness Through Binary Decision Diagrams
2023Aransay, Jesús [0000-0002-4079-8307] +2 more
openaire +3 more sources
Adiar Binary Decision Diagrams in External Memory
Lecture Notes in Computer Science, 2022Steffan Sølvsten, J C Van De Pol
exaly