Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults

Résumé

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.
Fichier principal
Vignette du fichier
978-3-662-44602-7_1_Chapter.pdf (289.93 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01402013 , version 1 (24-11-2016)

Licence

Identifiants

Citer

Anna Bernasconi, Valentina Ciriani. Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.1-12, ⟨10.1007/978-3-662-44602-7_1⟩. ⟨hal-01402013⟩
76 Consultations
279 Téléchargements

Altmetric

Partager

More