Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults

Abstract : This paper discusses the error resilience of Zero-Suppressed Binary Decision Diagrams (ZDDs), which are a particular family of Ordered Binary Decision Diagrams used for representing and manipulating combination sets. More precisely, we design a new ZDD canonical form, called index-resilient reduced ZDD, such that a faulty index can be reconstructed in time O(k), where k is the number of nodes with a corrupted index.
Type de document :
Communication dans un congrès
Josep Diaz; Ivan Lanese; Davide Sangiorgi. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. Springer, Lecture Notes in Computer Science, LNCS-8705, pp.1-12, 2014, Theoretical Computer Science. 〈10.1007/978-3-662-44602-7_1〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01402013
Contributeur : Hal Ifip <>
Soumis le : jeudi 24 novembre 2016 - 10:39:41
Dernière modification le : jeudi 24 novembre 2016 - 10:40:05
Document(s) archivé(s) le : lundi 20 mars 2017 - 19:51:53

Fichier

978-3-662-44602-7_1_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Anna Bernasconi, Valentina Ciriani. Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults. Josep Diaz; Ivan Lanese; Davide Sangiorgi. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. Springer, Lecture Notes in Computer Science, LNCS-8705, pp.1-12, 2014, Theoretical Computer Science. 〈10.1007/978-3-662-44602-7_1〉. 〈hal-01402013〉

Partager

Métriques

Consultations de la notice

53

Téléchargements de fichiers

59