Implicit GSPN reachability set generation using decision diagrams

Performance Evaluation ◽

10.1016/j.peva.2003.07.005 ◽

2004 ◽

Vol 56 (1-4) ◽

pp. 145-165 ◽

Author(s):

Andrew S. Miner

Keyword(s):

Decision Diagrams ◽

Reachability Set

Download Full-text

Efficient Reachability Set Generation and Storage Using Decision Diagrams

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1999 ◽

10.1007/3-540-48745-x_2 ◽

1999 ◽

pp. 6-25 ◽

Author(s):

Andrew S. Miner ◽

Gianfranco Ciardo

Keyword(s):

Decision Diagrams ◽

Reachability Set ◽

Download Full-text

Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e97.a.1171 ◽

2014 ◽

Vol E97.A (6) ◽

pp. 1171-1179

Author(s):

Yuma INOUE ◽

Takahisa TODA ◽

Shin-ichi MINATO

Keyword(s):

Decision Diagrams ◽

Pattern Avoiding Permutations

Download Full-text

Analyzing fault tolerance using DREDD (Dependability and Risk Evaluation using Decision Diagrams)

10.2514/6.1995-952 ◽

1995 ◽

Author(s):

Stacy Doyle ◽

Joanne Dugan

Keyword(s):

Fault Tolerance ◽

Risk Evaluation ◽

Decision Diagrams

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

Dynamic minimization of bi-kronecker functional decision diagrams

Proceedings of the 39th International Conference on Computer-Aided Design ◽

10.1145/3400302.3415618 ◽

2020 ◽

Author(s):

Xuanxiang Huang ◽

Haipeng Che ◽

Liangda Fang ◽

Qingliang Chen ◽

Quanlong Guan ◽

...

Keyword(s):

Decision Diagrams

Download Full-text

Approximation of Quantum States Using Decision Diagrams

2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC) ◽

10.1109/asp-dac47756.2020.9045454 ◽

2020 ◽

Author(s):

Alwin Zulehner ◽

Stefan Hillmich ◽

Igor L. Markov ◽

Robert Wille

Keyword(s):

Quantum States ◽

Decision Diagrams

Download Full-text

Probabilistic equivalence checking based on high-level decision diagrams

14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems ◽

10.1109/ddecs.2011.5783130 ◽

2011 ◽

Author(s):

Anton Karputkin ◽

Raimund Ubar ◽

Mati Tombak ◽

Jaan Raik

Keyword(s):

Equivalence Checking ◽

Decision Diagrams ◽

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