Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124156934> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2124156934 abstract "Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to solve consensus. Specifically, we model check a distributed algorithm that implements a communication predicate, which is an alternative system abstraction to failure detectors. This model checking problem is challenging because it involves both continuous time and unbounded integers. We solve the problem by reducing it to the satisfiability problem of linear arithmetic constraints over real and integer variables. The proposed method can be used to determine the length of a synchronous period required for implementing a communication predicate for solving consensus." @default.
- W2124156934 created "2016-06-24" @default.
- W2124156934 creator A5080844364 @default.
- W2124156934 creator A5085290695 @default.
- W2124156934 date "2007-12-01" @default.
- W2124156934 modified "2023-10-18" @default.
- W2124156934 title "An Automatic Real-Time Analysis of the Time to Reach Consensus" @default.
- W2124156934 cites W140859114 @default.
- W2124156934 cites W1489049849 @default.
- W2124156934 cites W1495553336 @default.
- W2124156934 cites W1699048963 @default.
- W2124156934 cites W1819209966 @default.
- W2124156934 cites W1985453879 @default.
- W2124156934 cites W1989746243 @default.
- W2124156934 cites W1990531271 @default.
- W2124156934 cites W2000947342 @default.
- W2124156934 cites W2003214215 @default.
- W2124156934 cites W2035362408 @default.
- W2124156934 cites W2070328005 @default.
- W2124156934 cites W2079738668 @default.
- W2124156934 cites W2086103456 @default.
- W2124156934 cites W2100043398 @default.
- W2124156934 cites W2101508170 @default.
- W2124156934 cites W2137164359 @default.
- W2124156934 cites W2145278925 @default.
- W2124156934 cites W2152262240 @default.
- W2124156934 cites W2166752259 @default.
- W2124156934 doi "https://doi.org/10.1109/prdc.2007.10" @default.
- W2124156934 hasPublicationYear "2007" @default.
- W2124156934 type Work @default.
- W2124156934 sameAs 2124156934 @default.
- W2124156934 citedByCount "2" @default.
- W2124156934 crossrefType "proceedings-article" @default.
- W2124156934 hasAuthorship W2124156934A5080844364 @default.
- W2124156934 hasAuthorship W2124156934A5085290695 @default.
- W2124156934 hasBestOaLocation W21241569342 @default.
- W2124156934 hasConcept C107107730 @default.
- W2124156934 hasConcept C110251889 @default.
- W2124156934 hasConcept C111472728 @default.
- W2124156934 hasConcept C11413529 @default.
- W2124156934 hasConcept C120314980 @default.
- W2124156934 hasConcept C124304363 @default.
- W2124156934 hasConcept C138885662 @default.
- W2124156934 hasConcept C140146324 @default.
- W2124156934 hasConcept C152062344 @default.
- W2124156934 hasConcept C154945302 @default.
- W2124156934 hasConcept C168773769 @default.
- W2124156934 hasConcept C199360897 @default.
- W2124156934 hasConcept C2779907942 @default.
- W2124156934 hasConcept C2983222225 @default.
- W2124156934 hasConcept C41008148 @default.
- W2124156934 hasConcept C41550386 @default.
- W2124156934 hasConcept C63540848 @default.
- W2124156934 hasConcept C80444323 @default.
- W2124156934 hasConcept C97137487 @default.
- W2124156934 hasConceptScore W2124156934C107107730 @default.
- W2124156934 hasConceptScore W2124156934C110251889 @default.
- W2124156934 hasConceptScore W2124156934C111472728 @default.
- W2124156934 hasConceptScore W2124156934C11413529 @default.
- W2124156934 hasConceptScore W2124156934C120314980 @default.
- W2124156934 hasConceptScore W2124156934C124304363 @default.
- W2124156934 hasConceptScore W2124156934C138885662 @default.
- W2124156934 hasConceptScore W2124156934C140146324 @default.
- W2124156934 hasConceptScore W2124156934C152062344 @default.
- W2124156934 hasConceptScore W2124156934C154945302 @default.
- W2124156934 hasConceptScore W2124156934C168773769 @default.
- W2124156934 hasConceptScore W2124156934C199360897 @default.
- W2124156934 hasConceptScore W2124156934C2779907942 @default.
- W2124156934 hasConceptScore W2124156934C2983222225 @default.
- W2124156934 hasConceptScore W2124156934C41008148 @default.
- W2124156934 hasConceptScore W2124156934C41550386 @default.
- W2124156934 hasConceptScore W2124156934C63540848 @default.
- W2124156934 hasConceptScore W2124156934C80444323 @default.
- W2124156934 hasConceptScore W2124156934C97137487 @default.
- W2124156934 hasLocation W21241569341 @default.
- W2124156934 hasLocation W21241569342 @default.
- W2124156934 hasOpenAccess W2124156934 @default.
- W2124156934 hasPrimaryLocation W21241569341 @default.
- W2124156934 hasRelatedWork W1511759343 @default.
- W2124156934 hasRelatedWork W1804882692 @default.
- W2124156934 hasRelatedWork W2098376757 @default.
- W2124156934 hasRelatedWork W2124156934 @default.
- W2124156934 hasRelatedWork W2149977550 @default.
- W2124156934 hasRelatedWork W2951913576 @default.
- W2124156934 hasRelatedWork W3046732854 @default.
- W2124156934 hasRelatedWork W4256174789 @default.
- W2124156934 hasRelatedWork W4298483060 @default.
- W2124156934 hasRelatedWork W2181384782 @default.
- W2124156934 isParatext "false" @default.
- W2124156934 isRetracted "false" @default.
- W2124156934 magId "2124156934" @default.
- W2124156934 workType "article" @default.