Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 30 for “"Decision diagrams"”.
-
EXOR-basierte Logiksynthese mit Kronecker Functional Decision Diagrams
In dieser Arbeit wird ein Syntheseverfahren zur Analyse der <br>Abhängigkeiten in KFDDs vorgestellt. <br>In KFDDs wird neben der Shannon Dekomposition auch die Davio <br>Dekomposition eingesetzt, die auf der EXOR-Operation basiert. <br>Daher wird die Verwendung von EXOR-Gattern in den …
-
Applying binary decision diagrams to learn hidden Markov models
… of BW, adapting it to operate on Binary Decision Diagrams (BDDs). The time and memory complexity of the algorithm is contingent on the size of the BDD, highlighting that the BDD’s size significantly depends on the variable ordering (a problem known to be NP-complete). Preliminary …
-
Artificial evolution with Binary Decision Diagrams: a study in evolvability in neutral spaces
… develops a new approach to evolving Binary Decision Diagrams, and uses it to study evolvability issues. For reasons that are not yet fully understood, current approaches to artificial evolution fail to exhibit the evolvability so readily exhibited in nature. To be able to apply evolvability …
-
Improving Approximate and Exact Approaches Based on Decision Diagrams and Dynamic Programming for Combinatorial Optimization
… and exact methodologies for CO by leveraging Decision Diagrams (DDs) and Dynamic Programming (DP). Decision Diagrams offer a powerful graphical representation of the solution space, enabling both over- and under-approximations, known as relaxed and restricted DDs, that yield dual and primal …
-
A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization
… ZQSAT is based on ZBDD: Zero-Suppressed Binary Decision Diagram , which is a variant of BDD, and an adopted version of the DPLL algorithm. It has been implemented in C using the CUDD: Colorado University Decision Diagram package. The capability of ZBDDs in storing sets of subsets efficiently …
-
Implementation of symbolic model checking for probabilistic systems
… are based on a data structure called binary decision diagrams (BDDs), we present an extension to the probabilistic case, using multi-terminal binary decision diagrams (MTBDDs). We demonstrate that MTBDDs can be used to perform probabilistic analysis of large, structured models with more than …
-
Symbolic methods for testing digital circuits
… of symbolic methods, realized by Boolean Decision Diagrams (BDDs), in the field of testing both combinational and synchronous sequential digital circuits at gate level. <br>Both major topics, fault simulation and automated test pattern generation (ATPG), have been examined, among others, …
-
Symbolic techniques for VLSI test and diagnosis
… Recently, due to the development of binary decision diagrams (BDDs), symbolic methods have become a practical means of handling the large sets encountered in these applications. In this thesis, several algorithms are presented which make use of BDDs to address problems in digital circuit …
-
Symbolic Approaches for Boolean Synthesis
… approaches, especially those using Binary Decision Diagrams (BDDs), an acyclic directed graph that maps the solutions for a boolean formula to its paths. Scalability challenges also rose as exponential memory blowups occurred in handling large-scale problems using BDDs, but it also becomes …
-
Symbolic techniques for the performance analysis of generalised stochastic petri nets
Binary Decision Diagrams (BDDs) have been successfully used in sequential circuit theory, VLSI, and model checking. They form a highly memory efficient canonical representation of a Boolean function. In this dissertation, following on the success of BDDs in other fields, we investiage the …
-
Analysis and optimization of digital circuit dynamic behavior
… the behavior graph analytically using binary decision diagrams (BDD). Based on this analytical timing-error-probability framework, a logic optimization algorithm is developed to utilize dual threshold voltage (dualVt) cells to optimize a circuit's throughput in such a way that the most …
-
Probabilistic Topologies with Applications in Security and Resilience of Multi-Robot Systems
… of an MRS. In our modeling, we use binary decision diagrams, convolutional neural networks, matroid theory and more to tackle the problems related to probabilistic security and resilience where we find exact solutions, calculate bounds, solve optimization problems, and compute informative …
-
Variant configuration and management : challenges and opportunities
… configurator" concepts. Use of "Binary Decision Diagrams" is recommended to achieve higher runtime performance when using interactive configurators for large modular systems and large teams. Also, I propose different visualization techniques to enable model designers to understand …
-
Model checking multi-agent systems
… methodologies based on Ordered Binary Decision Diagrams (OBDDS) for temporal logics to multi-modal logics for time, knowledge, correct behaviour, and strategies of agents. Complexity results for model checking these logics (and their symbolic representations). • Development of a …
-
Solving Hybrid Boolean SAT by Continuous Optimization
… its potential. The thesis presents to use binary decision diagrams (BDDs) to replace polynomials, which significantly accelerates the gradient computation both in theory and practice, meanwhile handling PB constraints. The thesis then proposes an approach for removing the requirement of supporting …
-
Policy Reasoning for Spectrum Agile Radios
… of a novel policy reasoner called Bi- nary Decision Diagram based Reasoner for processing Spectrum Access Policies (BRESAP). BRESAP processes spectrum policies efficiently by reframing the policy reasoning problem as a graph based Boolean function manipulation problem. BRESAP uses Binary …
-
Methodologies for Test and Diagnosis of Delay Defects in Integrated Circuits
… are stored in Zero Suppressed Binary Decision Diagrams. Experimental results on some of the largest ISCAS-89 and ITC-99 benchmarks shows that the proposed method is highly scalable and effective. Lastly, an approach to select a set of longest (highest critical) paths under a …
-
Analysis and Mitigation of Multiple Radiation Induced Errors in Modern Circuits
… exhaustive input pattern simulation or binary decision diagrams. The problem with both approaches is that simulation of the circuit can be intractably time consuming or can encounter memory blowup. To solve this issue, a simulation tool is proposed which employs partitioning to reduce the …
-
Practical verification of network planes
… verification. Our design is inspired by Binary Decision Diagrams, but is able to overcome some specific limitations of BDDs in the context of storing packet sets. We describe a set of benchmark traces for evaluating packet set data structures, and perform an experimental comparison of our …
Page 1 of 2