Results 11 to 20 of about 50,489 (260)
Binary Decision Diagrams by Shared Rewriting [PDF]
, 2000 In this paper we propose a uniform description of basic BDD theory and algorithms by means of term rewriting. Since a BDD is a DAG instead of a tree we need a notion of shared rewriting and develop appropriate theory. A rewriting system is presented by which canonical forms can be obtained. Various reduction strategies give rise to different algorithms.
Pol, J. van de, Zantema, H.
openaire +4 more sources
Reasoning with ordered binary decision diagrams
Discrete Applied Mathematics, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Takashi Horiyama, Toshihide Ibaraki
openaire +1 more source
A Ciphertext-Policy Attribute-Based Encryption Based on an Ordered Binary Decision Diagram
IEEE Access, 2017 Ciphertext-policy attribute-based encryption (CP-ABE) is widely used in many cyber physical systems and the Internet of Things for guaranteeing information security.
Long Li +5 more
doaj +1 more source
Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts
IEEE Access, 2020 Formal Concept Analysis (FCA) is an applied mathematical technique for data analysis, in which the relations between objects and attributes are identified.
Julio C. V. Neves +5 more
doaj +1 more source
IET Computers & Digital Techniques, 2021 Memristors are two‐terminal nano‐electronic devices that make it possible to design non‐volatile memory and logic circuits with high integration density.
Anindita Chakraborty +5 more
doaj +1 more source
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
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
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