Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098906299> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2098906299 abstract "This paper presents the formal verification of a new protocol for online distributed diagnosis for the SPIDER family of architectures. An instance of the Scalable Processor-Independent Design for Electromagnetic Resilience (SPIDER) architecture consists of a collection of processing elements communicating over a Reliable Optical Bus (ROBUS). The ROBUS is a specialized fault-tolerant device that guarantees Interactive Consistency, Distributed Diagnosis (Group Membership), and Synchronization in the presence of a bounded number of physical faults. Formal verification of the original SPIDER diagnosis protocol provided a detailed understanding that led to the discovery of a significantly more efficient protocol. The original protocol was adapted from the formally verified protocol used in the MAFT architecture. It required O(N) message exchanges per defendant to correctly diagnose failures in a system with N nodes. The new protocol achieves the same diagnostic fidelity, but only requires O(1) exchanges per defendant. This paper presents this new diagnosis protocol and a formal proof of its correctness using PVS." @default.
- W2098906299 created "2016-06-24" @default.
- W2098906299 creator A5019314446 @default.
- W2098906299 creator A5087711750 @default.
- W2098906299 date "2013-06-27" @default.
- W2098906299 modified "2023-09-27" @default.
- W2098906299 title "A New On-Line Diagnosis Protocol for the Spider Family of Byzantine Fault Tolerant Architectures" @default.
- W2098906299 cites W1545238651 @default.
- W2098906299 cites W1841224788 @default.
- W2098906299 cites W2095343473 @default.
- W2098906299 cites W2113486906 @default.
- W2098906299 cites W2123630423 @default.
- W2098906299 cites W2143159398 @default.
- W2098906299 cites W2162405843 @default.
- W2098906299 cites W2170194695 @default.
- W2098906299 cites W164350277 @default.
- W2098906299 hasPublicationYear "2013" @default.
- W2098906299 type Work @default.
- W2098906299 sameAs 2098906299 @default.
- W2098906299 citedByCount "10" @default.
- W2098906299 countsByYear W20989062992013 @default.
- W2098906299 crossrefType "book" @default.
- W2098906299 hasAuthorship W2098906299A5019314446 @default.
- W2098906299 hasAuthorship W2098906299A5087711750 @default.
- W2098906299 hasConcept C111919701 @default.
- W2098906299 hasConcept C120314980 @default.
- W2098906299 hasConcept C123657996 @default.
- W2098906299 hasConcept C142362112 @default.
- W2098906299 hasConcept C142724271 @default.
- W2098906299 hasConcept C153349607 @default.
- W2098906299 hasConcept C159023740 @default.
- W2098906299 hasConcept C199360897 @default.
- W2098906299 hasConcept C204787440 @default.
- W2098906299 hasConcept C2780385302 @default.
- W2098906299 hasConcept C31258907 @default.
- W2098906299 hasConcept C41008148 @default.
- W2098906299 hasConcept C48044578 @default.
- W2098906299 hasConcept C55439883 @default.
- W2098906299 hasConcept C63540848 @default.
- W2098906299 hasConcept C71924100 @default.
- W2098906299 hasConceptScore W2098906299C111919701 @default.
- W2098906299 hasConceptScore W2098906299C120314980 @default.
- W2098906299 hasConceptScore W2098906299C123657996 @default.
- W2098906299 hasConceptScore W2098906299C142362112 @default.
- W2098906299 hasConceptScore W2098906299C142724271 @default.
- W2098906299 hasConceptScore W2098906299C153349607 @default.
- W2098906299 hasConceptScore W2098906299C159023740 @default.
- W2098906299 hasConceptScore W2098906299C199360897 @default.
- W2098906299 hasConceptScore W2098906299C204787440 @default.
- W2098906299 hasConceptScore W2098906299C2780385302 @default.
- W2098906299 hasConceptScore W2098906299C31258907 @default.
- W2098906299 hasConceptScore W2098906299C41008148 @default.
- W2098906299 hasConceptScore W2098906299C48044578 @default.
- W2098906299 hasConceptScore W2098906299C55439883 @default.
- W2098906299 hasConceptScore W2098906299C63540848 @default.
- W2098906299 hasConceptScore W2098906299C71924100 @default.
- W2098906299 hasLocation W20989062991 @default.
- W2098906299 hasOpenAccess W2098906299 @default.
- W2098906299 hasPrimaryLocation W20989062991 @default.
- W2098906299 hasRelatedWork W1554416002 @default.
- W2098906299 hasRelatedWork W1841224788 @default.
- W2098906299 hasRelatedWork W1891288873 @default.
- W2098906299 hasRelatedWork W1985518501 @default.
- W2098906299 hasRelatedWork W2000614590 @default.
- W2098906299 hasRelatedWork W2038769172 @default.
- W2098906299 hasRelatedWork W2047613235 @default.
- W2098906299 hasRelatedWork W2123630423 @default.
- W2098906299 hasRelatedWork W2135113696 @default.
- W2098906299 hasRelatedWork W2147243385 @default.
- W2098906299 hasRelatedWork W2163655750 @default.
- W2098906299 hasRelatedWork W2167771638 @default.
- W2098906299 hasRelatedWork W2234718507 @default.
- W2098906299 hasRelatedWork W2292106967 @default.
- W2098906299 hasRelatedWork W2790340769 @default.
- W2098906299 hasRelatedWork W2954959112 @default.
- W2098906299 hasRelatedWork W2978891979 @default.
- W2098906299 hasRelatedWork W2982377743 @default.
- W2098906299 hasRelatedWork W3099630286 @default.
- W2098906299 hasRelatedWork W3118807191 @default.
- W2098906299 isParatext "false" @default.
- W2098906299 isRetracted "false" @default.
- W2098906299 magId "2098906299" @default.
- W2098906299 workType "book" @default.