Use of Binary Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors

2019 14th International Conference on Advanced Technologies, Systems and Services in Telecommunications (TELSIKS) ◽

10.1109/telsiks46999.2019.9002349 ◽

2019 ◽

Author(s):

Miroslav Kvassay ◽

Patrik Rusnak ◽

Radomir S. Stankovic ◽

Andrej Forgac

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Minimal Cut ◽

Importance Analysis

Download Full-text

Minimal Cut Sets and Path Sets in Binary Decision Diagrams and logical differential calculus

The 10th International Conference on Digital Technologies 2014 ◽

10.1109/dt.2014.6868712 ◽

2014 ◽

Author(s):

Miroslav Kvassay ◽

Jozef Kostolny

Keyword(s):

Differential Calculus ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Minimal Cut Sets ◽

Download Full-text

Application of Logic Differential Calculus and Binary Decision Diagrams in Detection of Minimal Cut Vectors

Proceedings of the 29th European Safety and Reliability Conference (ESREL) ◽

10.3850/978-981-11-2724-3_0447-cd ◽

2019 ◽

Author(s):

Miroslav Kvassay ◽

Patrik Rusnak ◽

Elena Zaitseva ◽

Jozef Kostolny

Keyword(s):

Differential Calculus ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Download Full-text

The importance analysis of componments in the aviation system using the binary decision diagrams

2008 IEEE Conference on Cybernetics and Intelligent Systems ◽

10.1109/iccis.2008.4694787 ◽

2008 ◽

Author(s):

Xu Hengcheng ◽

Chen Pu ◽

Zhang Jianguo

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Importance Analysis

Download Full-text

Fault-tolerant network reliability and importance analysis using binary decision diagrams

Annual Symposium Reliability and Maintainability, 2004 - RAMS ◽

10.1109/rams.2004.1285434 ◽

2004 ◽

Author(s):

Liudong Xing

Keyword(s):

Fault Tolerant ◽

Network Reliability ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Importance Analysis

Download Full-text

Software Library for Teaching Applications of Binary Decision Diagrams in Reliability Analysis

2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA) ◽

10.1109/iceta51985.2020.9379170 ◽

2020 ◽

Author(s):

Michal Mrena ◽

Miroslav Kvassay ◽

Radomir S. Stankovic

Keyword(s):

Reliability Analysis ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Software Library ◽

Binary Decision

Download Full-text

Method of input variable partitioning in functional decomposition based on evolutionary algorithm and binary decision diagrams

2008 Conference on Human System Interactions ◽

10.1109/hsi.2008.4581408 ◽

2008 ◽

Author(s):

Pawel Morawiecki ◽

Mariusz Rawski

Keyword(s):

Evolutionary Algorithm ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Functional Decomposition

Download Full-text

Binary Decision Diagrams: From Abstract Representations to Physical Implementations

20th Design Automation Conference Proceedings ◽

10.1109/dac.1983.1585710 ◽

1983 ◽

Author(s):

J.S. Matos ◽

J.V. Oldfield

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Abstract Representations

Download Full-text

On variable ordering of binary decision diagrams for the application of multi-level logic synthesis

10.1109/edac.1991.206358 ◽

2002 ◽

Author(s):

M. Fujita ◽

Y. Matsunaga ◽

T. Kakuda

Keyword(s):

Binary Decision Diagrams ◽

Logic Synthesis ◽

Decision Diagrams ◽

Binary Decision ◽

Variable Ordering ◽

Download Full-text

On the Minimization of (Complete) Ordered Binary Decision Diagrams

Theory of Computing Systems ◽

10.1007/s00224-015-9657-x ◽

2015 ◽

Vol 59 (3) ◽

pp. 532-559 ◽

Author(s):

Beate Bollig

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Ordered Binary Decision Diagrams ◽

Binary Decision

Download Full-text

Numerical Function Generators Using Edge-Valued Binary Decision Diagrams

2007 Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.2007.358041 ◽

2007 ◽

Author(s):

Shinobu Nagayama ◽

Tsutomu Sasao ◽

Jon T. Butler

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Numerical Function ◽

Binary Decision ◽

Function Generators

Download Full-text