Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048397483> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3048397483 abstract "In this paper, we argue that there are two fundamental ways of defining correctness of concurrent objects on the weak memory models of multicore processors: we can abstract from concurrent interleaving and weak memory effects at the specification level, or we can abstract from concurrent interleaving only, leaving weak memory effects at the specification level. The first allows us to employ standard linearizability as the correctness criterion; a result proved in earlier work. The second requires a weakening of linearizability. We provide such a weakening and prove it sound and complete with respect to this notion of correctness." @default.
- W3048397483 created "2020-08-18" @default.
- W3048397483 creator A5006104972 @default.
- W3048397483 creator A5020664307 @default.
- W3048397483 date "2020-01-01" @default.
- W3048397483 modified "2023-09-27" @default.
- W3048397483 title "Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors" @default.
- W3048397483 cites W136533073 @default.
- W3048397483 cites W146875869 @default.
- W3048397483 cites W1489503486 @default.
- W3048397483 cites W1525350307 @default.
- W3048397483 cites W1541118615 @default.
- W3048397483 cites W2054983537 @default.
- W3048397483 cites W2101939036 @default.
- W3048397483 cites W2111858071 @default.
- W3048397483 cites W2138074470 @default.
- W3048397483 cites W2139533136 @default.
- W3048397483 cites W2246674664 @default.
- W3048397483 cites W2295006414 @default.
- W3048397483 cites W2481004494 @default.
- W3048397483 cites W2769194423 @default.
- W3048397483 cites W2775466596 @default.
- W3048397483 cites W2896400991 @default.
- W3048397483 cites W2907766023 @default.
- W3048397483 cites W3124453239 @default.
- W3048397483 cites W4214820317 @default.
- W3048397483 cites W4236284099 @default.
- W3048397483 cites W4248180156 @default.
- W3048397483 cites W51997033 @default.
- W3048397483 cites W85669090 @default.
- W3048397483 doi "https://doi.org/10.1007/978-3-030-54997-8_22" @default.
- W3048397483 hasPublicationYear "2020" @default.
- W3048397483 type Work @default.
- W3048397483 sameAs 3048397483 @default.
- W3048397483 citedByCount "0" @default.
- W3048397483 crossrefType "book-chapter" @default.
- W3048397483 hasAuthorship W3048397483A5006104972 @default.
- W3048397483 hasAuthorship W3048397483A5020664307 @default.
- W3048397483 hasConcept C111919701 @default.
- W3048397483 hasConcept C133875982 @default.
- W3048397483 hasConcept C173608175 @default.
- W3048397483 hasConcept C199360897 @default.
- W3048397483 hasConcept C20528329 @default.
- W3048397483 hasConcept C28034677 @default.
- W3048397483 hasConcept C37279795 @default.
- W3048397483 hasConcept C41008148 @default.
- W3048397483 hasConcept C55439883 @default.
- W3048397483 hasConcept C78766204 @default.
- W3048397483 hasConcept C80444323 @default.
- W3048397483 hasConcept C82029504 @default.
- W3048397483 hasConceptScore W3048397483C111919701 @default.
- W3048397483 hasConceptScore W3048397483C133875982 @default.
- W3048397483 hasConceptScore W3048397483C173608175 @default.
- W3048397483 hasConceptScore W3048397483C199360897 @default.
- W3048397483 hasConceptScore W3048397483C20528329 @default.
- W3048397483 hasConceptScore W3048397483C28034677 @default.
- W3048397483 hasConceptScore W3048397483C37279795 @default.
- W3048397483 hasConceptScore W3048397483C41008148 @default.
- W3048397483 hasConceptScore W3048397483C55439883 @default.
- W3048397483 hasConceptScore W3048397483C78766204 @default.
- W3048397483 hasConceptScore W3048397483C80444323 @default.
- W3048397483 hasConceptScore W3048397483C82029504 @default.
- W3048397483 hasLocation W30483974831 @default.
- W3048397483 hasOpenAccess W3048397483 @default.
- W3048397483 hasPrimaryLocation W30483974831 @default.
- W3048397483 hasRelatedWork W1486290150 @default.
- W3048397483 hasRelatedWork W1543180701 @default.
- W3048397483 hasRelatedWork W1739259251 @default.
- W3048397483 hasRelatedWork W2109717427 @default.
- W3048397483 hasRelatedWork W2131041673 @default.
- W3048397483 hasRelatedWork W2174306348 @default.
- W3048397483 hasRelatedWork W2481004494 @default.
- W3048397483 hasRelatedWork W2547570521 @default.
- W3048397483 hasRelatedWork W2785691727 @default.
- W3048397483 hasRelatedWork W2888480412 @default.
- W3048397483 hasRelatedWork W2899230041 @default.
- W3048397483 hasRelatedWork W2904048443 @default.
- W3048397483 hasRelatedWork W2951282943 @default.
- W3048397483 hasRelatedWork W2974504688 @default.
- W3048397483 hasRelatedWork W2976188080 @default.
- W3048397483 hasRelatedWork W3037400639 @default.
- W3048397483 hasRelatedWork W3037666222 @default.
- W3048397483 hasRelatedWork W3206116901 @default.
- W3048397483 hasRelatedWork W51997033 @default.
- W3048397483 hasRelatedWork W85669090 @default.
- W3048397483 isParatext "false" @default.
- W3048397483 isRetracted "false" @default.
- W3048397483 magId "3048397483" @default.
- W3048397483 workType "book-chapter" @default.