Results 1 to 10 of about 11,440 (300)
A Kamm’s Circle-Based Potential Risk Estimation Scheme in the Local Dynamic Map Computation Enhanced by Binary Decision Diagrams [PDF]
Sensors, 2022 Autonomous vehicles (AV) are a hot topic for safe mobility, which inevitably requires sensors to achieve autonomy, but relying too heavily on sensors will be a risk factor.
Arvind Kumar, Hiroaki Wagatsuma
doaj +2 more sources
Reliability Dynamic Analysis by Fault Trees and Binary Decision Diagrams
Information, 2020 New wind turbines are becoming more complex and reliability analysis of them rising in complexity. The systems are composed of many components. Fault tree is used as an useful tool to analyze these interrelations and provide a scheme of the wind turbine,
Fausto Pedro García Márquez +3 more
doaj +3 more sources
Optimization Bounds from Binary Decision Diagrams
INFORMS Journal on Computing, 2014 We explore the idea of obtaining bounds on the value of an optimization problem from a discrete relaxation based on binary decision diagrams (BDDs). We show how to construct a BDD that represents a relaxation of a 0-1 optimization problem, and how to obtain a bound for a separable objective function by solving a shortest (or longest) path problem in ...
David Bergman +2 more
exaly +3 more sources
Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams
IEEE Access, 2023 Recently, through the progress achieved in the study of computer science, automated test assemblies of parallel test forms, for which each form has equivalent measurement accuracy but with a different set of items, have emerged as a new standard tool. An
Kazuma Fuchimoto +2 more
doaj +1 more source
Practical Data-in-Use Protection Using Binary Decision Diagrams
IEEE Access, 2020 Protection of data-in-use, contrary to the protection of data-at-rest or data-in-transit, remains a challenge. Cryptography advances such as Fully Homomorphic Encryption (FHE) provide theoretical, albeit impractical, solutions to functionally-complete ...
Oleg Mazonka +4 more
doaj +1 more source
IEEE Access, 2020 With the continuous shrinkage of transistor sizes in very large scale integrated circuits, power consumption forms a serious concern to be tackled. With their ability to allow for zero energy dissipation, reversible circuits have been considered as ...
Baker K. Abdalhaq +2 more
doaj +1 more source
Equational Binary Decision Diagrams [PDF]
, 2007 We allow equations in binary decision diagrams (BDD). The resulting objects are called EQ-BDDs. A straightforward notion of reduced ordered EQ-BDDs (EQ-OBDD) is defined, and it is proved that each EQ-BDD is logically equivalent to an EQ-OBDD. Moreover, on EQOBDDs satisfiability and tautology checking can be done in constant time.
J.F. Groote (Jan Friso) +1 more
openaire +4 more sources
AbsSynthe: abstract synthesis from succinct safety specifications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this paper, we describe a synthesis algorithm for safety specifications described as circuits. Our algorithm is based on fixpoint computations, abstraction and refinement, it uses binary decision diagrams as symbolic data structure.
Romain Brenguier +3 more
doaj +1 more source
Synthesis of quantum circuits based on incompletely specified functions and if-decision diagrams
Журнал Белорусского государственного университета: Математика, информатика, 2021 The problem of synthesis and optimisation of logical reversible and quantum circuits from functional descriptions represented as decision diagrams is considered.
Anatoly A. Prihozhy
doaj +1 more source
Synthesis of parallel adders from if-decision diagrams
Системный анализ и прикладная информатика, 2020 Addition is one of the timing critical operations in most of modern processing units. For decades, extensive research has been done devoted to designing higher speed and less complex adder architectures, and to developing advanced adder implementation ...
A. A. Prihozhy
doaj +1 more source