Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ SoftwareXarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
SoftwareX
Article . 2024 . Peer-reviewed
License: CC BY
Data sources: Crossref
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
SoftwareX
Article . 2024
Data sources: DOAJ
https://doi.org/10.2139/ssrn.4...
Article . 2023 . Peer-reviewed
Data sources: Crossref
DBLP
Article . 2024
Data sources: DBLP
versions View all 4 versions
addClaim

TeDDy: Templated Decision Diagram Library

Authors: Michal Mrena; Miroslav Kvassay; Elena Zaitseva;

TeDDy: Templated Decision Diagram Library

Abstract

Discrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation. A very effective representation is decision diagrams, which are suitable for software processing. In the paper, we present the Templated Decision Diagram Library (TeDDy), which implements Binary Decision Diagrams and Multi-valued Decision Diagrams. These allow the efficient representation of Boolean functions, Multiple-valued logic functions, and integer functions. The library’s core uses C++ language templates that enable a universal implementation for all types of diagrams offered without loss of runtime efficiency or duplication of code. The library consists of a module for the general manipulation of decision diagrams and a module that contains algorithms aimed at reliability analysis based on decision diagrams. Compared to other libraries, the added value of our library is in the second module dedicated to reliability analysis.

Related Organizations
Keywords

Multi-valued decision diagram, Binary decision diagram, QA76.75-76.765, Boolean function, Discrete function, Computer software, Reliability analysis, Integer function

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    6
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Top 10%
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Top 10%
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
6
Top 10%
Average
Top 10%
gold