Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893723308> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2893723308 abstract "Summary Israeli‐Jalfon's self‐stabilization algorithm provides a solution to the problem of fault tolerance in distributed systems. To quantitatively evaluate the algorithm and discover the factors contributing to its performance, we used a probabilistic model checking technique to study the algorithm across different configurations. The mainstream probabilistic model checker PRISM assisted with our final assessment. We focus here on three aspects of the algorithm's performance: convergence, time complexity, and maximum execution time. Our experimental results show that time complexity is O (N^2) when N is less than 23, and we examine the factors contributing to this performance. These prove to be: the number of tokens, the number of processes, the probability of token transmission, and how tokens are spaced. Performance degrades as the number of tokens grows. For a certain number of processes, better performance can be obtained when the probability of token transmission is 0.5. Three tokens spaced evenly, meanwhile, yields the worst performance. The main contribution of this paper is its exhaustive quantitative performance analysis of Israeli‐Jalfon's algorithm and the presentation of accurate rather than approximate numerical results. Moreover, our assessment was undertaken in a reducible fashion, with stable states being set against a proper subset of the set of possible configurations rather than allowing two sets to coincide." @default.
- W2893723308 created "2018-10-05" @default.
- W2893723308 creator A5007229339 @default.
- W2893723308 date "2018-09-27" @default.
- W2893723308 modified "2023-10-14" @default.
- W2893723308 title "Performance analysis of Israeli‐Jalfon's algorithm using probabilistic model checking" @default.
- W2893723308 cites W121778973 @default.
- W2893723308 cites W1516757014 @default.
- W2893723308 cites W1544900635 @default.
- W2893723308 cites W1869355114 @default.
- W2893723308 cites W1967465461 @default.
- W2893723308 cites W1983293262 @default.
- W2893723308 cites W2010875998 @default.
- W2893723308 cites W2016403002 @default.
- W2893723308 cites W2027852742 @default.
- W2893723308 cites W2030895696 @default.
- W2893723308 cites W2090160477 @default.
- W2893723308 cites W2098920450 @default.
- W2893723308 cites W2104851058 @default.
- W2893723308 cites W2111132249 @default.
- W2893723308 cites W2150056141 @default.
- W2893723308 cites W2155568223 @default.
- W2893723308 cites W2175675860 @default.
- W2893723308 cites W2264857910 @default.
- W2893723308 cites W2282814746 @default.
- W2893723308 cites W2283741383 @default.
- W2893723308 cites W2294012738 @default.
- W2893723308 cites W23046901 @default.
- W2893723308 cites W2322211931 @default.
- W2893723308 cites W2801026249 @default.
- W2893723308 cites W641899672 @default.
- W2893723308 cites W86808666 @default.
- W2893723308 doi "https://doi.org/10.1002/cpe.4973" @default.
- W2893723308 hasPublicationYear "2018" @default.
- W2893723308 type Work @default.
- W2893723308 sameAs 2893723308 @default.
- W2893723308 citedByCount "2" @default.
- W2893723308 countsByYear W28937233082019 @default.
- W2893723308 crossrefType "journal-article" @default.
- W2893723308 hasAuthorship W2893723308A5007229339 @default.
- W2893723308 hasConcept C11413529 @default.
- W2893723308 hasConcept C120665830 @default.
- W2893723308 hasConcept C121332964 @default.
- W2893723308 hasConcept C154945302 @default.
- W2893723308 hasConcept C162324750 @default.
- W2893723308 hasConcept C177264268 @default.
- W2893723308 hasConcept C192209626 @default.
- W2893723308 hasConcept C199360897 @default.
- W2893723308 hasConcept C24404364 @default.
- W2893723308 hasConcept C2777303404 @default.
- W2893723308 hasConcept C31258907 @default.
- W2893723308 hasConcept C31691690 @default.
- W2893723308 hasConcept C41008148 @default.
- W2893723308 hasConcept C48145219 @default.
- W2893723308 hasConcept C49937458 @default.
- W2893723308 hasConcept C50522688 @default.
- W2893723308 hasConcept C761482 @default.
- W2893723308 hasConcept C76155785 @default.
- W2893723308 hasConceptScore W2893723308C11413529 @default.
- W2893723308 hasConceptScore W2893723308C120665830 @default.
- W2893723308 hasConceptScore W2893723308C121332964 @default.
- W2893723308 hasConceptScore W2893723308C154945302 @default.
- W2893723308 hasConceptScore W2893723308C162324750 @default.
- W2893723308 hasConceptScore W2893723308C177264268 @default.
- W2893723308 hasConceptScore W2893723308C192209626 @default.
- W2893723308 hasConceptScore W2893723308C199360897 @default.
- W2893723308 hasConceptScore W2893723308C24404364 @default.
- W2893723308 hasConceptScore W2893723308C2777303404 @default.
- W2893723308 hasConceptScore W2893723308C31258907 @default.
- W2893723308 hasConceptScore W2893723308C31691690 @default.
- W2893723308 hasConceptScore W2893723308C41008148 @default.
- W2893723308 hasConceptScore W2893723308C48145219 @default.
- W2893723308 hasConceptScore W2893723308C49937458 @default.
- W2893723308 hasConceptScore W2893723308C50522688 @default.
- W2893723308 hasConceptScore W2893723308C761482 @default.
- W2893723308 hasConceptScore W2893723308C76155785 @default.
- W2893723308 hasIssue "9" @default.
- W2893723308 hasLocation W28937233081 @default.
- W2893723308 hasOpenAccess W2893723308 @default.
- W2893723308 hasPrimaryLocation W28937233081 @default.
- W2893723308 hasRelatedWork W1903582155 @default.
- W2893723308 hasRelatedWork W2030292806 @default.
- W2893723308 hasRelatedWork W2109606716 @default.
- W2893723308 hasRelatedWork W2145856894 @default.
- W2893723308 hasRelatedWork W2160722702 @default.
- W2893723308 hasRelatedWork W2177346860 @default.
- W2893723308 hasRelatedWork W2189202191 @default.
- W2893723308 hasRelatedWork W2494523064 @default.
- W2893723308 hasRelatedWork W4241515365 @default.
- W2893723308 hasRelatedWork W830096938 @default.
- W2893723308 hasVolume "31" @default.
- W2893723308 isParatext "false" @default.
- W2893723308 isRetracted "false" @default.
- W2893723308 magId "2893723308" @default.
- W2893723308 workType "article" @default.