Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519487726> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1519487726 abstract "The well known snapshot primitive in concurrent programming allows for n-asynchronous processes to write values to an array of single-writer registers and, for each process, to take a snapshot of these registers. In this paper we provide a formulation of the well known linearizability condition for snapshot algorithms in terms of the existence of certain mathematical functions. In addition, we identify a simplifying property of snapshot implementations we call schedule-based algorithms. This property is natural to assume in the sense that as far as we know, every published snapshot algorithm is schedule-based. Based on this, we prove that when dealing with schedule-based algorithms, it suffices to consider only a small class of very simple executions to prove or disprove correctness in terms of linearizability. We believe that the ideas developed in this paper may help to design automatic verification of snapshot algorithms. Since verifying linearizability was recently proved to be EXPSPACE-complete, focusing on unique objects (snapshot in our case) can potentially lead to designing restricted, but feasible verification methods." @default.
- W1519487726 created "2016-06-24" @default.
- W1519487726 creator A5026812393 @default.
- W1519487726 creator A5027466010 @default.
- W1519487726 creator A5061541941 @default.
- W1519487726 date "2015-02-10" @default.
- W1519487726 modified "2023-10-17" @default.
- W1519487726 title "Simple Executions of Snapshot Implementations" @default.
- W1519487726 cites W1498432697 @default.
- W1519487726 cites W1503130891 @default.
- W1519487726 cites W1526359699 @default.
- W1519487726 cites W1527710292 @default.
- W1519487726 cites W1867941603 @default.
- W1519487726 cites W1886217751 @default.
- W1519487726 cites W1982100000 @default.
- W1519487726 cites W1993805917 @default.
- W1519487726 cites W2036712892 @default.
- W1519487726 cites W2054739713 @default.
- W1519487726 cites W2095126777 @default.
- W1519487726 cites W2101939036 @default.
- W1519487726 cites W2107834524 @default.
- W1519487726 cites W2114925953 @default.
- W1519487726 cites W2135057262 @default.
- W1519487726 cites W2145919405 @default.
- W1519487726 cites W2147760702 @default.
- W1519487726 cites W2149074552 @default.
- W1519487726 cites W2166580349 @default.
- W1519487726 cites W2169289247 @default.
- W1519487726 cites W2586154859 @default.
- W1519487726 cites W2672830324 @default.
- W1519487726 cites W2911618284 @default.
- W1519487726 cites W2952737328 @default.
- W1519487726 cites W71333976 @default.
- W1519487726 doi "https://doi.org/10.48550/arxiv.1502.02991" @default.
- W1519487726 hasPublicationYear "2015" @default.
- W1519487726 type Work @default.
- W1519487726 sameAs 1519487726 @default.
- W1519487726 citedByCount "0" @default.
- W1519487726 crossrefType "posted-content" @default.
- W1519487726 hasAuthorship W1519487726A5026812393 @default.
- W1519487726 hasAuthorship W1519487726A5027466010 @default.
- W1519487726 hasAuthorship W1519487726A5061541941 @default.
- W1519487726 hasBestOaLocation W15194877261 @default.
- W1519487726 hasConcept C111919701 @default.
- W1519487726 hasConcept C11413529 @default.
- W1519487726 hasConcept C120314980 @default.
- W1519487726 hasConcept C151319957 @default.
- W1519487726 hasConcept C173608175 @default.
- W1519487726 hasConcept C199360897 @default.
- W1519487726 hasConcept C20528329 @default.
- W1519487726 hasConcept C26713055 @default.
- W1519487726 hasConcept C31258907 @default.
- W1519487726 hasConcept C41008148 @default.
- W1519487726 hasConcept C55282118 @default.
- W1519487726 hasConcept C55439883 @default.
- W1519487726 hasConcept C80444323 @default.
- W1519487726 hasConceptScore W1519487726C111919701 @default.
- W1519487726 hasConceptScore W1519487726C11413529 @default.
- W1519487726 hasConceptScore W1519487726C120314980 @default.
- W1519487726 hasConceptScore W1519487726C151319957 @default.
- W1519487726 hasConceptScore W1519487726C173608175 @default.
- W1519487726 hasConceptScore W1519487726C199360897 @default.
- W1519487726 hasConceptScore W1519487726C20528329 @default.
- W1519487726 hasConceptScore W1519487726C26713055 @default.
- W1519487726 hasConceptScore W1519487726C31258907 @default.
- W1519487726 hasConceptScore W1519487726C41008148 @default.
- W1519487726 hasConceptScore W1519487726C55282118 @default.
- W1519487726 hasConceptScore W1519487726C55439883 @default.
- W1519487726 hasConceptScore W1519487726C80444323 @default.
- W1519487726 hasLocation W15194877261 @default.
- W1519487726 hasOpenAccess W1519487726 @default.
- W1519487726 hasPrimaryLocation W15194877261 @default.
- W1519487726 hasRelatedWork W2048634445 @default.
- W1519487726 hasRelatedWork W2052995264 @default.
- W1519487726 hasRelatedWork W2104603305 @default.
- W1519487726 hasRelatedWork W2364921833 @default.
- W1519487726 hasRelatedWork W2776953575 @default.
- W1519487726 hasRelatedWork W2932425787 @default.
- W1519487726 hasRelatedWork W2950415228 @default.
- W1519487726 hasRelatedWork W4242837953 @default.
- W1519487726 hasRelatedWork W4302368459 @default.
- W1519487726 hasRelatedWork W84123355 @default.
- W1519487726 isParatext "false" @default.
- W1519487726 isRetracted "false" @default.
- W1519487726 magId "1519487726" @default.
- W1519487726 workType "article" @default.