Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01402013
Contributor : Hal Ifip <>
Submitted on : Thursday, November 24, 2016 - 10:39:41 AM
Last modification on : Tuesday, February 26, 2019 - 10:55:14 AM
Long-term archiving on: : Monday, March 20, 2017 - 7:51:53 PM

File

978-3-662-44602-7_1_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

131

Files downloads

395