Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007394041> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2007394041 endingPage "350" @default.
- W2007394041 startingPage "338" @default.
- W2007394041 abstract "This paper investigates the complexity of adding nonmasking fault tolerance, where a nonmasking fault-tolerant program guarantees recovery from states reached due to the occurrence of faults to states from where its specifications are satisfied. We first demonstrate that adding nonmasking fault tolerance to low atomicity programs-where processes have read/write restrictions with respect to the variables of other processes--is NP-complete (in the size of the state space) on an unfair or weakly fair scheduler. Then, we establish a surprising result that even under strong fairness, addition of nonmasking fault tolerance remains NP-hard! The NP-hardness of adding nonmasking fault tolerance is based on a polynomial-time reduction from the 3-SAT problem to the problem of designing self-stabilizing programs from their non-stabilizing versions, which is a special case of adding nonmasking fault tolerance. While it is known that designing self-stabilization under the assumption of strong fairness is polynomial, we demonstrate that adding self-stabilization to non-stabilizing programs is NP-hard under weak fairness." @default.
- W2007394041 created "2016-06-24" @default.
- W2007394041 creator A5012299696 @default.
- W2007394041 creator A5086886157 @default.
- W2007394041 date "2015-05-01" @default.
- W2007394041 modified "2023-09-26" @default.
- W2007394041 title "On the Hardness of Adding Nonmasking Fault Tolerance" @default.
- W2007394041 cites W1492062136 @default.
- W2007394041 cites W1495119494 @default.
- W2007394041 cites W1586053457 @default.
- W2007394041 cites W1929373254 @default.
- W2007394041 cites W1969320647 @default.
- W2007394041 cites W1974482940 @default.
- W2007394041 cites W1996431954 @default.
- W2007394041 cites W2000676183 @default.
- W2007394041 cites W2095425626 @default.
- W2007394041 cites W2111132249 @default.
- W2007394041 cites W2145071552 @default.
- W2007394041 cites W2154920174 @default.
- W2007394041 cites W2294415147 @default.
- W2007394041 cites W2914206182 @default.
- W2007394041 doi "https://doi.org/10.1109/tdsc.2014.2315191" @default.
- W2007394041 hasPublicationYear "2015" @default.
- W2007394041 type Work @default.
- W2007394041 sameAs 2007394041 @default.
- W2007394041 citedByCount "8" @default.
- W2007394041 countsByYear W20073940412014 @default.
- W2007394041 countsByYear W20073940412015 @default.
- W2007394041 countsByYear W20073940412016 @default.
- W2007394041 countsByYear W20073940412018 @default.
- W2007394041 countsByYear W20073940412020 @default.
- W2007394041 countsByYear W20073940412021 @default.
- W2007394041 crossrefType "journal-article" @default.
- W2007394041 hasAuthorship W2007394041A5012299696 @default.
- W2007394041 hasAuthorship W2007394041A5086886157 @default.
- W2007394041 hasConcept C111335779 @default.
- W2007394041 hasConcept C11413529 @default.
- W2007394041 hasConcept C120314980 @default.
- W2007394041 hasConcept C134306372 @default.
- W2007394041 hasConcept C173608175 @default.
- W2007394041 hasConcept C188045909 @default.
- W2007394041 hasConcept C199360897 @default.
- W2007394041 hasConcept C2524010 @default.
- W2007394041 hasConcept C311688 @default.
- W2007394041 hasConcept C33923547 @default.
- W2007394041 hasConcept C41008148 @default.
- W2007394041 hasConcept C50712370 @default.
- W2007394041 hasConcept C63540848 @default.
- W2007394041 hasConcept C71112949 @default.
- W2007394041 hasConcept C75949130 @default.
- W2007394041 hasConcept C90119067 @default.
- W2007394041 hasConceptScore W2007394041C111335779 @default.
- W2007394041 hasConceptScore W2007394041C11413529 @default.
- W2007394041 hasConceptScore W2007394041C120314980 @default.
- W2007394041 hasConceptScore W2007394041C134306372 @default.
- W2007394041 hasConceptScore W2007394041C173608175 @default.
- W2007394041 hasConceptScore W2007394041C188045909 @default.
- W2007394041 hasConceptScore W2007394041C199360897 @default.
- W2007394041 hasConceptScore W2007394041C2524010 @default.
- W2007394041 hasConceptScore W2007394041C311688 @default.
- W2007394041 hasConceptScore W2007394041C33923547 @default.
- W2007394041 hasConceptScore W2007394041C41008148 @default.
- W2007394041 hasConceptScore W2007394041C50712370 @default.
- W2007394041 hasConceptScore W2007394041C63540848 @default.
- W2007394041 hasConceptScore W2007394041C71112949 @default.
- W2007394041 hasConceptScore W2007394041C75949130 @default.
- W2007394041 hasConceptScore W2007394041C90119067 @default.
- W2007394041 hasFunder F4320306076 @default.
- W2007394041 hasIssue "3" @default.
- W2007394041 hasLocation W20073940411 @default.
- W2007394041 hasOpenAccess W2007394041 @default.
- W2007394041 hasPrimaryLocation W20073940411 @default.
- W2007394041 hasRelatedWork W1513409726 @default.
- W2007394041 hasRelatedWork W2007394041 @default.
- W2007394041 hasRelatedWork W2019951338 @default.
- W2007394041 hasRelatedWork W2026436197 @default.
- W2007394041 hasRelatedWork W2027487876 @default.
- W2007394041 hasRelatedWork W2074386378 @default.
- W2007394041 hasRelatedWork W2138593013 @default.
- W2007394041 hasRelatedWork W3102160464 @default.
- W2007394041 hasRelatedWork W3102446781 @default.
- W2007394041 hasRelatedWork W82467714 @default.
- W2007394041 hasVolume "12" @default.
- W2007394041 isParatext "false" @default.
- W2007394041 isRetracted "false" @default.
- W2007394041 magId "2007394041" @default.
- W2007394041 workType "article" @default.