Matches in SemOpenAlex for { <https://semopenalex.org/work/W2785488818> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2785488818 endingPage "93" @default.
- W2785488818 startingPage "77" @default.
- W2785488818 abstract "Designers of distributed database systems face the choice between stronger consistency guarantees and better performance. A number of applications only require read atomicity (RA) and prevention of lost updates (PLU). Existing distributed database systems that meet these requirements also provide additional stronger consistency guarantees (such as causal consistency), and therefore incur lower performance. In this paper we define a new distributed transaction protocol, ROLA, that targets applications where only RA and PLU are needed. We formally model ROLA in Maude. We then perform model checking to analyze both the correctness and the performance of ROLA. For correctness, we use standard model checking to analyze ROLA’s satisfaction of RA and PLU. To analyze performance we: (a) use statistical model checking to analyze key performance properties; and (b) compare these performance results with those obtained by analyzing in Maude the well-known protocol Walter. Our results show that ROLA outperforms Walter." @default.
- W2785488818 created "2018-02-23" @default.
- W2785488818 creator A5007839082 @default.
- W2785488818 creator A5015195367 @default.
- W2785488818 creator A5026521456 @default.
- W2785488818 creator A5027240302 @default.
- W2785488818 creator A5041331302 @default.
- W2785488818 creator A5078403066 @default.
- W2785488818 date "2018-01-01" @default.
- W2785488818 modified "2023-09-30" @default.
- W2785488818 title "ROLA: A New Distributed Transaction Protocol and Its Formal Analysis" @default.
- W2785488818 cites W142727657 @default.
- W2785488818 cites W1533572394 @default.
- W2785488818 cites W157143398 @default.
- W2785488818 cites W1969925795 @default.
- W2785488818 cites W1973938051 @default.
- W2785488818 cites W1976195354 @default.
- W2785488818 cites W2067971887 @default.
- W2785488818 cites W207324510 @default.
- W2785488818 cites W2085422792 @default.
- W2785488818 cites W2106265536 @default.
- W2785488818 cites W2114158268 @default.
- W2785488818 cites W2480339434 @default.
- W2785488818 cites W2497521232 @default.
- W2785488818 cites W2613098920 @default.
- W2785488818 cites W2785140982 @default.
- W2785488818 cites W329665467 @default.
- W2785488818 cites W4234315090 @default.
- W2785488818 cites W72749565 @default.
- W2785488818 doi "https://doi.org/10.1007/978-3-319-89363-1_5" @default.
- W2785488818 hasPublicationYear "2018" @default.
- W2785488818 type Work @default.
- W2785488818 sameAs 2785488818 @default.
- W2785488818 citedByCount "8" @default.
- W2785488818 countsByYear W27854888182018 @default.
- W2785488818 countsByYear W27854888182019 @default.
- W2785488818 countsByYear W27854888182020 @default.
- W2785488818 countsByYear W27854888182021 @default.
- W2785488818 crossrefType "book-chapter" @default.
- W2785488818 hasAuthorship W2785488818A5007839082 @default.
- W2785488818 hasAuthorship W2785488818A5015195367 @default.
- W2785488818 hasAuthorship W2785488818A5026521456 @default.
- W2785488818 hasAuthorship W2785488818A5027240302 @default.
- W2785488818 hasAuthorship W2785488818A5041331302 @default.
- W2785488818 hasAuthorship W2785488818A5078403066 @default.
- W2785488818 hasBestOaLocation W27854888181 @default.
- W2785488818 hasConcept C120314980 @default.
- W2785488818 hasConcept C142724271 @default.
- W2785488818 hasConcept C199360897 @default.
- W2785488818 hasConcept C204787440 @default.
- W2785488818 hasConcept C25185021 @default.
- W2785488818 hasConcept C2780385302 @default.
- W2785488818 hasConcept C41008148 @default.
- W2785488818 hasConcept C71924100 @default.
- W2785488818 hasConcept C72108876 @default.
- W2785488818 hasConcept C75606506 @default.
- W2785488818 hasConcept C75949130 @default.
- W2785488818 hasConcept C80444323 @default.
- W2785488818 hasConceptScore W2785488818C120314980 @default.
- W2785488818 hasConceptScore W2785488818C142724271 @default.
- W2785488818 hasConceptScore W2785488818C199360897 @default.
- W2785488818 hasConceptScore W2785488818C204787440 @default.
- W2785488818 hasConceptScore W2785488818C25185021 @default.
- W2785488818 hasConceptScore W2785488818C2780385302 @default.
- W2785488818 hasConceptScore W2785488818C41008148 @default.
- W2785488818 hasConceptScore W2785488818C71924100 @default.
- W2785488818 hasConceptScore W2785488818C72108876 @default.
- W2785488818 hasConceptScore W2785488818C75606506 @default.
- W2785488818 hasConceptScore W2785488818C75949130 @default.
- W2785488818 hasConceptScore W2785488818C80444323 @default.
- W2785488818 hasLocation W27854888181 @default.
- W2785488818 hasOpenAccess W2785488818 @default.
- W2785488818 hasPrimaryLocation W27854888181 @default.
- W2785488818 hasRelatedWork W1492142481 @default.
- W2785488818 hasRelatedWork W1600762122 @default.
- W2785488818 hasRelatedWork W1706290598 @default.
- W2785488818 hasRelatedWork W1975981657 @default.
- W2785488818 hasRelatedWork W2002355645 @default.
- W2785488818 hasRelatedWork W2318097057 @default.
- W2785488818 hasRelatedWork W2360584187 @default.
- W2785488818 hasRelatedWork W2361375420 @default.
- W2785488818 hasRelatedWork W2392871943 @default.
- W2785488818 hasRelatedWork W64845527 @default.
- W2785488818 isParatext "false" @default.
- W2785488818 isRetracted "false" @default.
- W2785488818 magId "2785488818" @default.
- W2785488818 workType "book-chapter" @default.