Matches in SemOpenAlex for { <https://semopenalex.org/work/W1679307720> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1679307720 endingPage "33" @default.
- W1679307720 startingPage "11" @default.
- W1679307720 abstract "An Ordered Binary Decision Diagram (OBDD) is a data structure that is used in an increasing number of fields of Computer Science (e.g., logic synthesis, program verification, data mining, bioinformatics, and data protection) for representing and manipulating discrete structures and Boolean functions. The purpose of this paper is to study the error resilience of OBDDs and to design a resilient version of this data structure, i.e., a self-repairing OBDD. In particular, we describe some strategies that make reduced ordered OBDDs resilient to errors in the indices, that are associated to the input variables, or in the pointers (i.e., OBDD edges) of the nodes. These strategies exploit the inherent redundancy of the data structure, as well as the redundancy introduced by its efficient implementations. The solutions we propose allow the exact restoring of the original OBDD and are suitable to be applied to classical software packages for the manipulation of OBDDs currently in use. Another result of the paper is the definition of a new canonical OBDD model, called Index-Resilient Reduced OBDD , which guarantees that a node with a faulty index has a reconstruction cost O ( r ) , where r is the number of nodes with corrupted index. Experimental results on a classical benchmark suite validate the proposed approaches." @default.
- W1679307720 created "2016-06-24" @default.
- W1679307720 creator A5032558381 @default.
- W1679307720 creator A5035339557 @default.
- W1679307720 creator A5076933640 @default.
- W1679307720 date "2015-08-01" @default.
- W1679307720 modified "2023-09-26" @default.
- W1679307720 title "On the error resilience of ordered binary decision diagrams" @default.
- W1679307720 cites W1969213433 @default.
- W1679307720 cites W1994143452 @default.
- W1679307720 cites W2002214793 @default.
- W1679307720 cites W2030224590 @default.
- W1679307720 cites W2036645083 @default.
- W1679307720 cites W2058699483 @default.
- W1679307720 cites W2080267935 @default.
- W1679307720 cites W2099251677 @default.
- W1679307720 cites W2140026235 @default.
- W1679307720 cites W2155010807 @default.
- W1679307720 cites W2158292008 @default.
- W1679307720 cites W2158498837 @default.
- W1679307720 doi "https://doi.org/10.1016/j.tcs.2015.05.050" @default.
- W1679307720 hasPublicationYear "2015" @default.
- W1679307720 type Work @default.
- W1679307720 sameAs 1679307720 @default.
- W1679307720 citedByCount "6" @default.
- W1679307720 countsByYear W16793077202014 @default.
- W1679307720 countsByYear W16793077202016 @default.
- W1679307720 countsByYear W16793077202018 @default.
- W1679307720 countsByYear W16793077202022 @default.
- W1679307720 crossrefType "journal-article" @default.
- W1679307720 hasAuthorship W1679307720A5032558381 @default.
- W1679307720 hasAuthorship W1679307720A5035339557 @default.
- W1679307720 hasAuthorship W1679307720A5076933640 @default.
- W1679307720 hasBestOaLocation W16793077202 @default.
- W1679307720 hasConcept C111919701 @default.
- W1679307720 hasConcept C11413529 @default.
- W1679307720 hasConcept C13280743 @default.
- W1679307720 hasConcept C152124472 @default.
- W1679307720 hasConcept C162319229 @default.
- W1679307720 hasConcept C185798385 @default.
- W1679307720 hasConcept C187455244 @default.
- W1679307720 hasConcept C199360897 @default.
- W1679307720 hasConcept C205649164 @default.
- W1679307720 hasConcept C3309909 @default.
- W1679307720 hasConcept C33923547 @default.
- W1679307720 hasConcept C41008148 @default.
- W1679307720 hasConcept C48372109 @default.
- W1679307720 hasConcept C7545210 @default.
- W1679307720 hasConcept C77088390 @default.
- W1679307720 hasConcept C80444323 @default.
- W1679307720 hasConcept C94375191 @default.
- W1679307720 hasConceptScore W1679307720C111919701 @default.
- W1679307720 hasConceptScore W1679307720C11413529 @default.
- W1679307720 hasConceptScore W1679307720C13280743 @default.
- W1679307720 hasConceptScore W1679307720C152124472 @default.
- W1679307720 hasConceptScore W1679307720C162319229 @default.
- W1679307720 hasConceptScore W1679307720C185798385 @default.
- W1679307720 hasConceptScore W1679307720C187455244 @default.
- W1679307720 hasConceptScore W1679307720C199360897 @default.
- W1679307720 hasConceptScore W1679307720C205649164 @default.
- W1679307720 hasConceptScore W1679307720C3309909 @default.
- W1679307720 hasConceptScore W1679307720C33923547 @default.
- W1679307720 hasConceptScore W1679307720C41008148 @default.
- W1679307720 hasConceptScore W1679307720C48372109 @default.
- W1679307720 hasConceptScore W1679307720C7545210 @default.
- W1679307720 hasConceptScore W1679307720C77088390 @default.
- W1679307720 hasConceptScore W1679307720C80444323 @default.
- W1679307720 hasConceptScore W1679307720C94375191 @default.
- W1679307720 hasFunder F4320321873 @default.
- W1679307720 hasLocation W16793077201 @default.
- W1679307720 hasLocation W16793077202 @default.
- W1679307720 hasLocation W16793077203 @default.
- W1679307720 hasLocation W16793077204 @default.
- W1679307720 hasOpenAccess W1679307720 @default.
- W1679307720 hasPrimaryLocation W16793077201 @default.
- W1679307720 hasRelatedWork W1480394019 @default.
- W1679307720 hasRelatedWork W1484924878 @default.
- W1679307720 hasRelatedWork W1581041950 @default.
- W1679307720 hasRelatedWork W1679307720 @default.
- W1679307720 hasRelatedWork W1999396918 @default.
- W1679307720 hasRelatedWork W2161939275 @default.
- W1679307720 hasRelatedWork W2950656530 @default.
- W1679307720 hasRelatedWork W3203050793 @default.
- W1679307720 hasRelatedWork W4299592794 @default.
- W1679307720 hasRelatedWork W2112121293 @default.
- W1679307720 hasVolume "595" @default.
- W1679307720 isParatext "false" @default.
- W1679307720 isRetracted "false" @default.
- W1679307720 magId "1679307720" @default.
- W1679307720 workType "article" @default.