Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170227938> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2170227938 endingPage "89" @default.
- W2170227938 startingPage "72" @default.
- W2170227938 abstract "A may-happen-in-parallel (MHP) analysis computes pairs of program points that may execute in parallel across different distributed components. This information has been proven to be essential to infer both safety properties (e.g., deadlock freedom) and liveness properties (e.g., termination and resource boundedness) of asynchronous programs. Existing MHP analyses take advantage of the synchronization points to learn that one task has finished and thus will not happen in parallel with other tasks that are still active. Our starting point is an existing MHP analysis developed for intra-procedural synchronization, i.e., it only allows synchronizing with tasks that have been spawned inside the current task. This paper leverages such MHP analysis to handle inter-procedural synchronization, i.e., a task spawned by one task can be awaited within a different task. This is challenging because task synchronization goes beyond the boundaries of methods, and thus the inference of MHP relations requires novel extensions to capture inter-procedural dependencies. The analysis has been implemented and it can be tried online." @default.
- W2170227938 created "2016-06-24" @default.
- W2170227938 creator A5007062130 @default.
- W2170227938 creator A5014510097 @default.
- W2170227938 creator A5091905437 @default.
- W2170227938 date "2015-01-01" @default.
- W2170227938 modified "2023-09-30" @default.
- W2170227938 title "May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization" @default.
- W2170227938 cites W155556605 @default.
- W2170227938 cites W1581908531 @default.
- W2170227938 cites W1604442026 @default.
- W2170227938 cites W172516910 @default.
- W2170227938 cites W178702431 @default.
- W2170227938 cites W2000116086 @default.
- W2170227938 cites W2023168372 @default.
- W2170227938 cites W2098400709 @default.
- W2170227938 cites W2110544919 @default.
- W2170227938 cites W2127959721 @default.
- W2170227938 cites W25801494 @default.
- W2170227938 cites W3026878770 @default.
- W2170227938 cites W4251600813 @default.
- W2170227938 doi "https://doi.org/10.1007/978-3-662-48288-9_5" @default.
- W2170227938 hasPublicationYear "2015" @default.
- W2170227938 type Work @default.
- W2170227938 sameAs 2170227938 @default.
- W2170227938 citedByCount "8" @default.
- W2170227938 countsByYear W21702279382015 @default.
- W2170227938 countsByYear W21702279382016 @default.
- W2170227938 countsByYear W21702279382017 @default.
- W2170227938 countsByYear W21702279382022 @default.
- W2170227938 countsByYear W21702279382023 @default.
- W2170227938 crossrefType "book-chapter" @default.
- W2170227938 hasAuthorship W2170227938A5007062130 @default.
- W2170227938 hasAuthorship W2170227938A5014510097 @default.
- W2170227938 hasAuthorship W2170227938A5091905437 @default.
- W2170227938 hasBestOaLocation W21702279382 @default.
- W2170227938 hasConcept C120314980 @default.
- W2170227938 hasConcept C127162648 @default.
- W2170227938 hasConcept C151319957 @default.
- W2170227938 hasConcept C15569618 @default.
- W2170227938 hasConcept C159023740 @default.
- W2170227938 hasConcept C162324750 @default.
- W2170227938 hasConcept C162932704 @default.
- W2170227938 hasConcept C187736073 @default.
- W2170227938 hasConcept C199360897 @default.
- W2170227938 hasConcept C2524010 @default.
- W2170227938 hasConcept C2778562939 @default.
- W2170227938 hasConcept C2780451532 @default.
- W2170227938 hasConcept C28719098 @default.
- W2170227938 hasConcept C31258907 @default.
- W2170227938 hasConcept C33923547 @default.
- W2170227938 hasConcept C41008148 @default.
- W2170227938 hasConcept C761482 @default.
- W2170227938 hasConcept C76155785 @default.
- W2170227938 hasConcept C95203288 @default.
- W2170227938 hasConceptScore W2170227938C120314980 @default.
- W2170227938 hasConceptScore W2170227938C127162648 @default.
- W2170227938 hasConceptScore W2170227938C151319957 @default.
- W2170227938 hasConceptScore W2170227938C15569618 @default.
- W2170227938 hasConceptScore W2170227938C159023740 @default.
- W2170227938 hasConceptScore W2170227938C162324750 @default.
- W2170227938 hasConceptScore W2170227938C162932704 @default.
- W2170227938 hasConceptScore W2170227938C187736073 @default.
- W2170227938 hasConceptScore W2170227938C199360897 @default.
- W2170227938 hasConceptScore W2170227938C2524010 @default.
- W2170227938 hasConceptScore W2170227938C2778562939 @default.
- W2170227938 hasConceptScore W2170227938C2780451532 @default.
- W2170227938 hasConceptScore W2170227938C28719098 @default.
- W2170227938 hasConceptScore W2170227938C31258907 @default.
- W2170227938 hasConceptScore W2170227938C33923547 @default.
- W2170227938 hasConceptScore W2170227938C41008148 @default.
- W2170227938 hasConceptScore W2170227938C761482 @default.
- W2170227938 hasConceptScore W2170227938C76155785 @default.
- W2170227938 hasConceptScore W2170227938C95203288 @default.
- W2170227938 hasLocation W21702279381 @default.
- W2170227938 hasLocation W21702279382 @default.
- W2170227938 hasOpenAccess W2170227938 @default.
- W2170227938 hasPrimaryLocation W21702279381 @default.
- W2170227938 hasRelatedWork W1596735499 @default.
- W2170227938 hasRelatedWork W1942028061 @default.
- W2170227938 hasRelatedWork W2007793605 @default.
- W2170227938 hasRelatedWork W2037973311 @default.
- W2170227938 hasRelatedWork W2141223633 @default.
- W2170227938 hasRelatedWork W2147711412 @default.
- W2170227938 hasRelatedWork W2170227938 @default.
- W2170227938 hasRelatedWork W2342049434 @default.
- W2170227938 hasRelatedWork W3011751313 @default.
- W2170227938 hasRelatedWork W96967322 @default.
- W2170227938 isParatext "false" @default.
- W2170227938 isRetracted "false" @default.
- W2170227938 magId "2170227938" @default.
- W2170227938 workType "book-chapter" @default.