Results 21 to 30 of about 3,800,996 (288)
Binary decision diagrams on modern hardware
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 2023 Binary decision diagrams (BDDs) are one of the fundamental data structures in formal methods and computer science in general. However, the performance of BDD-based algorithms greatly depends on memory latency due to the reliance on large hash tables and thus, by extension, on the speed of random memory access.
Samuel Pastva, Thomas A. Henzinger
openaire +1 more source
Efficient Set Sharing Using ZBDDs [PDF]
, 2008 Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about ...
Mario Méndez-Lojo +5 more
core +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
Topology planning for autonomous MMGs: an ordered binary decision diagram-based approach
IET Smart Grid, 2019 This paper finds its motivation from the perspective of utility planners, where the flexibility of choice while reconfiguring a distribution system into Multi-Micrgrids (MMGs) is critical.
Hafiz Anwar Ullah Khan +3 more
doaj +1 more source
Energies, 2019 The wind energy industry is expanding in order to be able to meet the current and future energy demand, and is supported by governments in that renewable energy investment has been made.
Fausto Pedro García Márquez +2 more
doaj +1 more source
Compressing Binary Decision Diagrams
, 2008 The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and compression will in many cases reduce the size of the BDD to 1-2 bits per node.
Hansen, Esben Rune +2 more
openaire +3 more sources
Informatika, 2021 In the systems of digital VLSI design (Very Large Integrated Circuits), the BDD (Binary Decision Diagram) is used for VLSI verification, as well as for technologically independent optimization as the first stage in the synthesis of logic circuits in ...
P. N. Bibilo, V. I. Romanov
doaj +1 more source
Efficient pairing-free CP-ABE based on ordered binary decision diagram
Tongxin xuebao, 2019 To improve the computational efficiency of ABE,its access structure was optimized and a pairing-free CP-ABE scheme based on ordered binary decision diagram (OBDD) was proposed.Based on the elliptic curve cryptography,the complex bilinear pairing ...
Sheng DING, Jin CAO, Hui LI
doaj +2 more sources
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees
, 2022 Ordered Multi-valued Decision Diagram (MDD) is a compact representation used to model various constraints, such as regular constraints and table constraints. It can be particularly useful for representing ad-hoc problem specific constraints.
Wang, Ruiwei, Yap, Roland H.C.
core +1 more source
Intelligent Loading and Unloading Algorithm for Signal Processing Tasks Based on OBDD [PDF]
Jisuanji gongcheng, 2019 In order to realize the fast dynamic loading,unloading and intelligent switching for application tasks in the signal processing platform,an intelligent loading and unloading algorithm based on Ordered Binary Decision Diagram (OBDD) is proposed.Based on ...
XIE Zongfu, GAO Bo, YUE Chunsheng
doaj +1 more source