JINC: a multi-threaded library for higher-order weighted decision diagram manipulation
@inproceedings{Ossowski2009JINCAM,
title={JINC: a multi-threaded library for higher-order weighted decision diagram manipulation},
author={J{\"o}rn Ossowski},
year={2009}
}Ordered Binary Decision Diagrams (OBDDs) have been proven to be an efficient data structure for symbolic algorithms. The efficiency of the symbolic methods depends on the underlying OBDD library. Available OBDD libraries are based on the standard concepts and so far only differ in implementation details. This thesis introduces new techniques to increase run-time and space-efficiency of an OBDD library. This thesis introduces the framework of Higher-Order Weighted Decision Diagrams (HOWDDs) to… CONTINUE READING
Figures, Tables, and Topics from this paper
Figures and Tables
figure 2.1 
figure 2.2 
figure 2.3 
figure 2.4 
figure 2.5 
figure 2.6 
figure 2.7 
figure 2.8 
figure 3.1 
figure 3.2 
figure 3.3 
figure 3.4 
figure 4.1 
figure 4.10 
figure 4.11 
figure 4.12 
figure 4.13 
figure 4.14 
figure 4.15 
figure 4.16 
figure 4.17 
figure 4.2 
figure 4.3 
figure 4.4 
figure 4.5 
figure 4.6 
figure 4.7 
figure 4.8 
figure 4.9 
figure 5.1 
figure 5.2 
table 5.2 
figure 5.3 
figure 5.4 
figure 5.5 
figure 5.6 
figure 6.1 
figure 6.10 
figure 6.11 
figure 6.12 
figure 6.13 
figure 6.2 
figure 6.3 
figure 6.4 
figure 6.5 
figure 6.6 
figure 6.7 
figure 6.8 
figure 6.9 
table 7.1 
figure 7.1 
table 7.2 
figure 7.2 
table 7.3 
figure 7.3 
table 7.4 
figure 7.4 
table 7.5 
figure 7.5 
table 7.6 
figure 7.6 
table 7.7
11 Citations
Sylvan: multi-core framework for decision diagrams
- Computer Science
- International Journal on Software Tools for Technology Transfer
- 2016
- 24
- PDF
Multi-Core BDD Operations for Symbolic Reachability
- Computer Science
- Electron. Notes Theor. Comput. Sci.
- 2013
- 30
- PDF
A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems
- Mathematics, Computer Science
- SCSS
- 2017
- 5
- PDF
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
- Computer Science
- 2012
- 6
- PDF
References
SHOWING 1-10 OF 180 REFERENCES
A uniform framework for weighted decision diagrams and its implementation
- Computer Science
- International Journal on Software Tools for Technology Transfer
- 2008
- 10
- PDF
Interleaving based variable ordering methods for ordered binary decision diagrams
- Computer Science
- ICCAD
- 1993
- 112
A data parallel algorithm for Boolean function manipulation
- Computer Science
- Proceedings Frontiers '95. The Fifth Symposium on the Frontiers of Massively Parallel Computation
- 1995
- 12
Bottom-up evaluation of logic programs using binary decision diagrams
- Computer Science
- Proceedings of the Eleventh International Conference on Data Engineering
- 1995
- 14