Results 31 to 40 of about 3,622,400 (195)
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
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
Influence of Load on Reliability of Storage Area Networks [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2021 During the coronavirus pandemic, telecommuting is widely required, making remote data access grow significantly. This requires highly reliable data storage solutions. Storage area networks (SANs) are one of such solutions.
Guixiang Lv, Liudong Xing
doaj +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
Compression with wildcards: All exact or all minimal hitting sets
Open Mathematics, 2023 Our objective is the compressed enumeration (based on wildcards) of all minimal hitting sets of general hypergraphs. To the author’s best knowledge, the only previous attempt towards compression, due to Toda, is based on binary decision diagrams and much
Wild Marcel
doaj +1 more source
Approximate BDD Minimization by Weighted A* [PDF]
, 2008 Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synthesis. The size of BDDs depends on a chosen variable ordering, i.e.
Rudiger Ebendt +3 more
core +2 more sources
Informatika, 2023 Objectives. The problem of circuit implementation of incompletely specified (partial) k-valued logic functions given by tabular representations is considered.
P. N. Bibilo
doaj +1 more source
Novel Reduction Methods for Decision Diagrams
IEEE Access, 2023 We propose a novel method of reduction for binary-based decision diagrams (DD) exploiting the similarities between Boolean functions. Conventional methods are able to remove redundant parts of DD that adhere to (or represent) identical structures.
Jan Lucansky, Ivan Kotuliak
doaj +1 more source
Masking of Internal Nodes Faults Based on Applying of Incompletely Specified Boolean Functions [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2020 Combinational circuits (combinational parts of sequential circuits) are considered. Masking of internal nodes faults with applying sub-circuit, inputs of which are connected to the circuit inputs and outputs — to the circuit proper internal nodes, is ...
Matrosova, Angela Yu. +2 more
doaj +1 more source
Optimization of Binary Decision Diagrams by Single-Grid Cellular Genetic Algorithm
MathematicsThis paper presents a new approach based on cellular genetic algorithms for the problem of optimizing the variable ordering of binary decision diagrams.
Iulian Furdu +2 more
doaj +1 more source