Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

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.
Fichier principal
Vignette du fichier
978-3-662-44602-7_1_Chapter.pdf (289.93 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩
62 View
260 Download

Altmetric

Share

Gmail Facebook X LinkedIn More