Results 81 to 90 of about 3,622,400 (195)

Static and Dynamic Load-Triggered Cascading Failure Mitigation for Storage Area Networks [PDF]

International Journal of Mathematical, Engineering and Management Sciences
Storage area networks (SANs) are a widely used and dependable solution for data storage. Nevertheless, the occurrence of cascading failures caused by overloading has emerged as a significant risk to the reliability of SANs, impeding the delivery of the ...
Guixiang Lyu, Liudong Xing, Guilin Zhao
doaj   +1 more source

An efficient query learning algorithm for ordered binary decision diagrams [PDF]

, 2005
In this paper, we propose a new algorithm that exactly learns ordered binary decision diagrams (OBDDs) with a given variable ordering via equivalence and membership queries.
Nakamura, Atsuyoshi
core   +1 more source

A Library for Binary Decision Diagrams

, 2015
Efficient manipulation of Boolean functions is an important component of many computer-aided design task. As a data structure for representing and manipulating Boolean functions, Binary Decision Diagrams are commonly used.
Janků, Petr
core  

Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation

Journal of Applied Mathematics, 2015
We present on-the-fly degeneralization algorithm used to transform generalized Büchi automata (GBA) into Büchi Automata (BA) different from the standard degeneralization algorithm.
Laixiang Shan, Jun Qin, Mingshi Chen, Zheng Qin   +3 more
doaj   +1 more source

NEW EXPANSIONS OF BOOLEAN FUNCTIONS ON EXCLUSIVE OR OPERATION IN LOGICAL SYSTEMS DESIGN

Системный анализ и прикладная информатика, 2014
The Boolean function expansions and representation forms which are based on exclusive or operation are a key facility for design, test and diagnosis of digital systems and computer programs.
A. A. Prihozhy
doaj  

An Introduction to Binary Decision Diagrams

, 1996
This note is a short introduction to Binary Decision Diagrams (BDDs). It provides some background knowledge and describes the core algorithms.
Andersen, Henrik Reif, Henrik Reif Andersen   +1 more
core  

SPPsolver: a SAT-based algorithm for solving any stable paths problem correctly

Cybersecurity
The Stable Paths Problem (SPP) is a widely adopted model for analyzing the convergence of Border Gateway Protocol (BGP). Solving SPP correctly is of great significance for determining BGP convergence.
Wenwu Yan, Bo Hu, Weiqing Huang, Chao Ma, Xiaobin Tian, Min Yu   +5 more
doaj   +1 more source

Prover - Toward More Efficient Formal Verification of Masking in Probing Model

Transactions on Cryptographic Hardware and Embedded Systems
In recent years, formal verification has emerged as a crucial method for assessing security against Side-Channel attacks of masked implementations, owing to its remarkable versatility and high degree of automation.
Feng Zhou, Hua Chen, Limin Fan
doaj   +1 more source

Restructuring of Arithmetic Circuits with Biconditional Binary Decision Diagrams [PDF]

Biconditional Binary Decision Diagrams (BBDDs) are a novel class of canonical binary decision diagrams where the branching condition, and its associated logic expansion is biconditional on two variables.
De Micheli, Giovanni, Amarù, Luca, Balatsoukas Stimming, Alexios, Burg, Andreas, Gaillardon, Pierre-Emmanuel   +4 more
core   +1 more source

Removing $$\delta $$ δ -dependence in minimal interpretable model learning: distribution conditions and structural parameters

Journal of King Saud University: Computer and Information Sciences
Learning minimal interpretable models (e.g., decision trees, decision sets, and binary decision diagrams) is computationally challenging, yet increasingly important in high-stakes settings.
Zhigao Huang, Shiyan Zheng, Quanfa Li
doaj   +1 more source