DocumentCode :
2550569
Title :
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY
Author :
Babar, Junaid ; Miner, Andrew
Author_Institution :
Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
fYear :
2010
fDate :
15-18 Sept. 2010
Firstpage :
195
Lastpage :
196
Abstract :
This paper introduces Meddly (Multi-terminal and Edge-valued Decision Diagram LibrarY), an open-source C/C++ library designed from its conception to support Multi-Terminal and Edge-Valued Decision Diagrams. We highlight Meddly´s simple and expert interfaces, its loosely-coupled architecture, and the operations available on decision diagrams and conclude with some performance data.
Keywords :
C++ language; decision diagrams; graph theory; C library; C++ library; Meddly library; edge-valued decision diagrams; multiterminal decision diagrams; open-source library; Arrays; Boolean functions; Libraries; Markov processes; Petri nets; Stochastic systems; Tools; decision diagrams;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the
Conference_Location :
Williamsburg, VA
Print_ISBN :
978-1-4244-8082-1
Type :
conf
DOI :
10.1109/QEST.2010.34
Filename :
5600388
Link To Document :
بازگشت