• 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
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2550569