FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1984688105> ?p ?o ?g. }

• W1984688105 endingPage "49" @default.
• W1984688105 startingPage "1" @default.
• W1984688105 abstract "The complexity of designing programs that simultaneously tolerate multiple classes of faults, called multitolerant programs, is in part due to the conflicting nature of the fault tolerance requirements that must be met by a multitolerant program when different types of faults occur. To facilitate the design of multitolerant programs, we present sound and (deterministically) complete algorithms for stepwise design of two families of multitolerant programs in a high atomicity program model, where a process can read and write all program variables in an atomic step. We illustrate that if one needs to design failsafe (respectively, nonmasking) fault tolerance for one class of faults and masking fault tolerance for another class of faults, then a multitolerant program can be designed in separate polynomial-time (in the state space of the fault-intolerant program) steps regardless of the order of addition. This result has a significant methodological implication in that designers need not be concerned about unknown fault tolerance requirements that may arise due to unanticipated types of faults. Further, we illustrate that if one needs to design failsafe fault tolerance for one class of faults and nonmasking fault tolerance for a different class of faults, then the resulting problem is NP-complete in program state space. This is a counterintuitive result in that designing failsafe and nonmasking fault tolerance for the same class of faults can be done in polynomial time. We also present sufficient conditions for polynomial-time design of failsafe-nonmasking multitolerance. Finally, we demonstrate the stepwise design of multitolerance for a stable disk storage system, a token ring network protocol and a repetitive agreement protocol that tolerates Byzantine and transient faults. Our automatic approach decreases the design time from days to a few hours for the token ring program that is our largest example with 200 million reachable states and 8 processes." @default.
• W1984688105 created "2016-06-24" @default.
• W1984688105 creator A5072787717 @default.
• W1984688105 creator A5086886157 @default.
• W1984688105 date "2011-12-01" @default.
• W1984688105 modified "2023-10-10" @default.
• W1984688105 title "Feasibility of Stepwise Design of Multitolerant Programs" @default.
• W1984688105 cites W1481109946 @default.
• W1984688105 cites W1489967307 @default.
• W1984688105 cites W1495119494 @default.
• W1984688105 cites W1560629098 @default.
• W1984688105 cites W1783469492 @default.
• W1984688105 cites W1969320647 @default.
• W1984688105 cites W1970577612 @default.
• W1984688105 cites W1974482940 @default.
• W1984688105 cites W1996431954 @default.
• W1984688105 cites W1997521442 @default.
• W1984688105 cites W1998021290 @default.
• W1984688105 cites W2001233105 @default.
• W1984688105 cites W2012351729 @default.
• W1984688105 cites W2012703646 @default.
• W1984688105 cites W2016206563 @default.
• W1984688105 cites W2039065451 @default.
• W1984688105 cites W2040127143 @default.
• W1984688105 cites W2048355938 @default.
• W1984688105 cites W2050232108 @default.
• W1984688105 cites W2059057465 @default.
• W1984688105 cites W2063163522 @default.
• W1984688105 cites W2068839623 @default.
• W1984688105 cites W2070369873 @default.
• W1984688105 cites W2074810448 @default.
• W1984688105 cites W2080267935 @default.
• W1984688105 cites W2081756744 @default.
• W1984688105 cites W2095425626 @default.
• W1984688105 cites W2097905940 @default.
• W1984688105 cites W2100969324 @default.
• W1984688105 cites W2101153553 @default.
• W1984688105 cites W2109499652 @default.
• W1984688105 cites W2111132249 @default.
• W1984688105 cites W2111313582 @default.
• W1984688105 cites W2112178465 @default.
• W1984688105 cites W2115309705 @default.
• W1984688105 cites W2128131381 @default.
• W1984688105 cites W2130587077 @default.
• W1984688105 cites W2131622054 @default.
• W1984688105 cites W2145071552 @default.
• W1984688105 cites W2154920174 @default.
• W1984688105 cites W2161296409 @default.
• W1984688105 cites W2165810979 @default.
• W1984688105 cites W2166904088 @default.
• W1984688105 cites W2171110406 @default.
• W1984688105 cites W2171480813 @default.
• W1984688105 cites W2914206182 @default.
• W1984688105 cites W3137092842 @default.
• W1984688105 cites W4239002028 @default.
• W1984688105 cites W2157302395 @default.
• W1984688105 doi "https://doi.org/10.1145/2063239.2063240" @default.
• W1984688105 hasPublicationYear "2011" @default.
• W1984688105 type Work @default.
• W1984688105 sameAs 1984688105 @default.
• W1984688105 citedByCount "12" @default.
• W1984688105 countsByYear W19846881052013 @default.
• W1984688105 countsByYear W19846881052014 @default.
• W1984688105 countsByYear W19846881052015 @default.
• W1984688105 countsByYear W19846881052016 @default.
• W1984688105 countsByYear W19846881052017 @default.
• W1984688105 countsByYear W19846881052018 @default.
• W1984688105 crossrefType "journal-article" @default.
• W1984688105 hasAuthorship W1984688105A5072787717 @default.
• W1984688105 hasAuthorship W1984688105A5086886157 @default.
• W1984688105 hasBestOaLocation W19846881051 @default.
• W1984688105 hasConcept C101097943 @default.
• W1984688105 hasConcept C111472728 @default.
• W1984688105 hasConcept C120314980 @default.
• W1984688105 hasConcept C127313418 @default.
• W1984688105 hasConcept C127413603 @default.
• W1984688105 hasConcept C138885662 @default.
• W1984688105 hasConcept C154945302 @default.
• W1984688105 hasConcept C165205528 @default.
• W1984688105 hasConcept C175551986 @default.
• W1984688105 hasConcept C200601418 @default.
• W1984688105 hasConcept C2777212361 @default.
• W1984688105 hasConcept C41008148 @default.
• W1984688105 hasConcept C50712370 @default.
• W1984688105 hasConcept C63540848 @default.
• W1984688105 hasConceptScore W1984688105C101097943 @default.
• W1984688105 hasConceptScore W1984688105C111472728 @default.
• W1984688105 hasConceptScore W1984688105C120314980 @default.
• W1984688105 hasConceptScore W1984688105C127313418 @default.
• W1984688105 hasConceptScore W1984688105C127413603 @default.
• W1984688105 hasConceptScore W1984688105C138885662 @default.
• W1984688105 hasConceptScore W1984688105C154945302 @default.
• W1984688105 hasConceptScore W1984688105C165205528 @default.
• W1984688105 hasConceptScore W1984688105C175551986 @default.
• W1984688105 hasConceptScore W1984688105C200601418 @default.
• W1984688105 hasConceptScore W1984688105C2777212361 @default.
• W1984688105 hasConceptScore W1984688105C41008148 @default.
• W1984688105 hasConceptScore W1984688105C50712370 @default.

• next