Matches in SemOpenAlex for { <https://semopenalex.org/work/W178702431> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W178702431 endingPage "364" @default.
- W178702431 startingPage "349" @default.
- W178702431 abstract "By following a rely-guarantee style of reasoning, we present a novel termination analysis for concurrent programs that, in order to prove termination of a considered loop, makes the assumption that the “shared-data that is involved in the termination proof of the loop is modified a finite number of times”. In a subsequent step, it proves that this assumption holds in all code whose execution might interleave with such loop. At the core of the analysis, we use a may-happen-in-parallel analysis to restrict the set of program points whose execution can interleave with the considered loop. Interestingly, the same kind of reasoning can be applied to infer upper bounds on the number of iterations of loops with concurrent interleavings. To the best of our knowledge, this is the first method to automatically bound the cost of such kind of loops." @default.
- W178702431 created "2016-06-24" @default.
- W178702431 creator A5009072348 @default.
- W178702431 creator A5014510097 @default.
- W178702431 creator A5028123043 @default.
- W178702431 creator A5091905437 @default.
- W178702431 date "2013-01-01" @default.
- W178702431 modified "2023-10-12" @default.
- W178702431 title "Termination and Cost Analysis of Loops with Concurrent Interleavings" @default.
- W178702431 cites W146234417 @default.
- W178702431 cites W1515621470 @default.
- W178702431 cites W1523037784 @default.
- W178702431 cites W1581908531 @default.
- W178702431 cites W1604442026 @default.
- W178702431 cites W1608799719 @default.
- W178702431 cites W178702431 @default.
- W178702431 cites W182717014 @default.
- W178702431 cites W1968428133 @default.
- W178702431 cites W2021978684 @default.
- W178702431 cites W2098400709 @default.
- W178702431 cites W2111366004 @default.
- W178702431 cites W2115969864 @default.
- W178702431 cites W2145062333 @default.
- W178702431 cites W2162544703 @default.
- W178702431 cites W25801494 @default.
- W178702431 cites W3136358674 @default.
- W178702431 cites W4251600813 @default.
- W178702431 cites W4256363426 @default.
- W178702431 doi "https://doi.org/10.1007/978-3-319-02444-8_25" @default.
- W178702431 hasPublicationYear "2013" @default.
- W178702431 type Work @default.
- W178702431 sameAs 178702431 @default.
- W178702431 citedByCount "16" @default.
- W178702431 countsByYear W1787024312013 @default.
- W178702431 countsByYear W1787024312014 @default.
- W178702431 countsByYear W1787024312015 @default.
- W178702431 countsByYear W1787024312016 @default.
- W178702431 countsByYear W1787024312017 @default.
- W178702431 crossrefType "book-chapter" @default.
- W178702431 hasAuthorship W178702431A5009072348 @default.
- W178702431 hasAuthorship W178702431A5014510097 @default.
- W178702431 hasAuthorship W178702431A5028123043 @default.
- W178702431 hasAuthorship W178702431A5091905437 @default.
- W178702431 hasConcept C11413529 @default.
- W178702431 hasConcept C114614502 @default.
- W178702431 hasConcept C134306372 @default.
- W178702431 hasConcept C173608175 @default.
- W178702431 hasConcept C177264268 @default.
- W178702431 hasConcept C184670325 @default.
- W178702431 hasConcept C199360897 @default.
- W178702431 hasConcept C2776760102 @default.
- W178702431 hasConcept C33923547 @default.
- W178702431 hasConcept C41008148 @default.
- W178702431 hasConcept C77553402 @default.
- W178702431 hasConcept C80444323 @default.
- W178702431 hasConcept C97686452 @default.
- W178702431 hasConceptScore W178702431C11413529 @default.
- W178702431 hasConceptScore W178702431C114614502 @default.
- W178702431 hasConceptScore W178702431C134306372 @default.
- W178702431 hasConceptScore W178702431C173608175 @default.
- W178702431 hasConceptScore W178702431C177264268 @default.
- W178702431 hasConceptScore W178702431C184670325 @default.
- W178702431 hasConceptScore W178702431C199360897 @default.
- W178702431 hasConceptScore W178702431C2776760102 @default.
- W178702431 hasConceptScore W178702431C33923547 @default.
- W178702431 hasConceptScore W178702431C41008148 @default.
- W178702431 hasConceptScore W178702431C77553402 @default.
- W178702431 hasConceptScore W178702431C80444323 @default.
- W178702431 hasConceptScore W178702431C97686452 @default.
- W178702431 hasLocation W1787024311 @default.
- W178702431 hasOpenAccess W178702431 @default.
- W178702431 hasPrimaryLocation W1787024311 @default.
- W178702431 hasRelatedWork W1509186321 @default.
- W178702431 hasRelatedWork W1577309527 @default.
- W178702431 hasRelatedWork W2036928080 @default.
- W178702431 hasRelatedWork W2060012464 @default.
- W178702431 hasRelatedWork W2104773116 @default.
- W178702431 hasRelatedWork W2112962394 @default.
- W178702431 hasRelatedWork W2117014006 @default.
- W178702431 hasRelatedWork W2118300983 @default.
- W178702431 hasRelatedWork W3137189469 @default.
- W178702431 hasRelatedWork W4243252198 @default.
- W178702431 isParatext "false" @default.
- W178702431 isRetracted "false" @default.
- W178702431 magId "178702431" @default.
- W178702431 workType "book-chapter" @default.