Results 21 to 30 of about 97,350 (281)
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
On oblivious branching programs with bounded repetition that cannot efficiently compute CNFs of bounded treewidth [PDF]
, 2016 In this paper we study complexity of an extension of ordered binary decision diagrams (OBDDs) called c-OBDDs on CNFs of bounded (primal graph) treewidth.
A Borodin +8 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
Fast binary image processing using binary decision diagrams [PDF]
Proceedings of IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1998 Summary: This article describes an approach for automatically generating efficient code for region-based binary image processing algorithms. Inspired from techniques used in digital system design, this approach can be applied to any binary image processing algorithm which evaluates a discrete function over small regions of the image (e.g., discrete ...
Robert, Luc, Malandain, Grégoire
openaire +5 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
A reliability analysis method using binary decision diagrams in phased mission planning [PDF]
, 2009 The use of autonomous systems is becoming increasingly common in many fields. A significant example of this is the ambition to deploy UAVs (unmanned aerial vehicles) for both civil and military applications.
Andrews, John +4 more
core +3 more sources
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
OBDD-Based Representation of Interval Graphs [PDF]
, 2013 A graph $G = (V,E)$ can be described by the characteristic function of the edge set $\chi_E$ which maps a pair of binary encoded nodes to 1 iff the nodes are adjacent. Using \emph{Ordered Binary Decision Diagrams} (OBDDs) to store $\chi_E$ can lead to a (
B. Bollig +22 more
core +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