Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384573107> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4384573107 endingPage "287" @default.
- W4384573107 startingPage "265" @default.
- W4384573107 abstract "Abstract Many parallel programming models guarantee that if all sequentially consistent (SC) executions of a program are free of data races, then all executions of the program will appear to be sequentially consistent. This greatly simplifies reasoning about the program, but leaves open the question of how to verify that all SC executions are race-free. In this paper, we show that with a few simple modifications, model checking can be an effective tool for verifying race-freedom. We explore this technique on a suite of C programs parallelized with OpenMP." @default.
- W4384573107 created "2023-07-18" @default.
- W4384573107 creator A5018679209 @default.
- W4384573107 creator A5021789649 @default.
- W4384573107 creator A5067040957 @default.
- W4384573107 creator A5072541207 @default.
- W4384573107 creator A5088598915 @default.
- W4384573107 date "2023-01-01" @default.
- W4384573107 modified "2023-10-18" @default.
- W4384573107 title "Model Checking Race-Freedom When “Sequential Consistency for Data-Race-Free Programs” is Guaranteed" @default.
- W4384573107 cites W1988888548 @default.
- W4384573107 cites W2017986260 @default.
- W4384573107 cites W2025819261 @default.
- W4384573107 cites W2045238089 @default.
- W4384573107 cites W2054739713 @default.
- W4384573107 cites W2063362342 @default.
- W4384573107 cites W2091085450 @default.
- W4384573107 cites W2093709900 @default.
- W4384573107 cites W2103412683 @default.
- W4384573107 cites W2108239731 @default.
- W4384573107 cites W2152885346 @default.
- W4384573107 cites W2170200862 @default.
- W4384573107 cites W2234512370 @default.
- W4384573107 cites W2488548811 @default.
- W4384573107 cites W2581223690 @default.
- W4384573107 cites W2749926371 @default.
- W4384573107 cites W2885472926 @default.
- W4384573107 cites W2912518303 @default.
- W4384573107 cites W2913879037 @default.
- W4384573107 cites W3082802377 @default.
- W4384573107 cites W3098882403 @default.
- W4384573107 cites W3113654566 @default.
- W4384573107 cites W3116800730 @default.
- W4384573107 cites W3129237446 @default.
- W4384573107 cites W3131091778 @default.
- W4384573107 cites W3212264743 @default.
- W4384573107 cites W4200036408 @default.
- W4384573107 cites W4230802661 @default.
- W4384573107 doi "https://doi.org/10.1007/978-3-031-37703-7_13" @default.
- W4384573107 hasPublicationYear "2023" @default.
- W4384573107 type Work @default.
- W4384573107 citedByCount "0" @default.
- W4384573107 crossrefType "book-chapter" @default.
- W4384573107 hasAuthorship W4384573107A5018679209 @default.
- W4384573107 hasAuthorship W4384573107A5021789649 @default.
- W4384573107 hasAuthorship W4384573107A5067040957 @default.
- W4384573107 hasAuthorship W4384573107A5072541207 @default.
- W4384573107 hasAuthorship W4384573107A5088598915 @default.
- W4384573107 hasBestOaLocation W43845731071 @default.
- W4384573107 hasConcept C154945302 @default.
- W4384573107 hasConcept C166957645 @default.
- W4384573107 hasConcept C173608175 @default.
- W4384573107 hasConcept C199360897 @default.
- W4384573107 hasConcept C2776436953 @default.
- W4384573107 hasConcept C37279795 @default.
- W4384573107 hasConcept C41008148 @default.
- W4384573107 hasConcept C55439883 @default.
- W4384573107 hasConcept C59822182 @default.
- W4384573107 hasConcept C76509639 @default.
- W4384573107 hasConcept C79581498 @default.
- W4384573107 hasConcept C80444323 @default.
- W4384573107 hasConcept C82029504 @default.
- W4384573107 hasConcept C86803240 @default.
- W4384573107 hasConcept C95457728 @default.
- W4384573107 hasConceptScore W4384573107C154945302 @default.
- W4384573107 hasConceptScore W4384573107C166957645 @default.
- W4384573107 hasConceptScore W4384573107C173608175 @default.
- W4384573107 hasConceptScore W4384573107C199360897 @default.
- W4384573107 hasConceptScore W4384573107C2776436953 @default.
- W4384573107 hasConceptScore W4384573107C37279795 @default.
- W4384573107 hasConceptScore W4384573107C41008148 @default.
- W4384573107 hasConceptScore W4384573107C55439883 @default.
- W4384573107 hasConceptScore W4384573107C59822182 @default.
- W4384573107 hasConceptScore W4384573107C76509639 @default.
- W4384573107 hasConceptScore W4384573107C79581498 @default.
- W4384573107 hasConceptScore W4384573107C80444323 @default.
- W4384573107 hasConceptScore W4384573107C82029504 @default.
- W4384573107 hasConceptScore W4384573107C86803240 @default.
- W4384573107 hasConceptScore W4384573107C95457728 @default.
- W4384573107 hasLocation W43845731071 @default.
- W4384573107 hasLocation W43845731072 @default.
- W4384573107 hasOpenAccess W4384573107 @default.
- W4384573107 hasPrimaryLocation W43845731071 @default.
- W4384573107 hasRelatedWork W1522611806 @default.
- W4384573107 hasRelatedWork W1604914670 @default.
- W4384573107 hasRelatedWork W2112962394 @default.
- W4384573107 hasRelatedWork W2117014006 @default.
- W4384573107 hasRelatedWork W2118300983 @default.
- W4384573107 hasRelatedWork W2946969590 @default.
- W4384573107 hasRelatedWork W2949499328 @default.
- W4384573107 hasRelatedWork W3137189469 @default.
- W4384573107 hasRelatedWork W4233815414 @default.
- W4384573107 hasRelatedWork W4243252198 @default.
- W4384573107 isParatext "false" @default.
- W4384573107 isRetracted "false" @default.
- W4384573107 workType "book-chapter" @default.