Specification of Decision Diagram Operations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Specification of Decision Diagram Operations

Alexandre Hamez
  • Fonction : Auteur
Steve Hostettler
  • Fonction : Auteur
Alban Linard
  • Fonction : Auteur
Alexis Marechal
  • Fonction : Auteur
Emmanuel Paviot-Adet
  • Fonction : Auteur
  • PersonId : 971651
Matteo Risoldi
  • Fonction : Auteur

Résumé

Decision Diagrams (DDs) are a well populated family of data structures, used for efficient representation and manipulation of huge data sets. Typically a given application requires choosing one particular category of DDs, like Binary Decision Diagrams (BDDs) or Data Decision Diagrams (DDDs), and sticking with it. Each category provides a language to specify its operations. For instance, the operation language of BDDs provides if-then-else, apply, etc. We focus on two main kinds of operation languages: BDD-like and DDD-like. They overlap: some operations can be expressed in both kinds of languages, while others are only available in one kind. We propose in this article a critical comparison of BDD-like and DDD-like languages. From the identified problems, we also propose a unified language for DD operations. It covers both BDD-like and DDD-like languages, and even some operations that cannot be expressed in either.
Fichier non déposé

Dates et versions

hal-01293792 , version 1 (25-03-2016)

Identifiants

  • HAL Id : hal-01293792 , version 1

Citer

Alexandre Hamez, Steve Hostettler, Alban Linard, Alexis Marechal, Emmanuel Paviot-Adet, et al.. Specification of Decision Diagram Operations. International Workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo'2010 associated with Petri Nets 2010), Jun 2010, Braga, Portugal. pp.437-451. ⟨hal-01293792⟩
99 Consultations
0 Téléchargements

Partager

More