Matches in SemOpenAlex for { <https://semopenalex.org/work/W4221031485> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4221031485 endingPage "6" @default.
- W4221031485 startingPage "1" @default.
- W4221031485 abstract "Fork/Join is a simple but effective technique for exploiting the parallelism. When developing a parallel program using Fork/Join, one of the main things is how a large task is decomposed into subtasks whose results can be combined as a final result. In this paper we show how to develop Fork/Join parallel programs through refinement and decomposition. We take Fork/Join style task decomposition as a refinement which we call Fork/Join refinement. Proof obligations of refinement can ensure the correctness of decomposition. For practical application, we provide a refinement pattern for the Fork/Join refinement and extend an atomicity decomposition diagram to illustrate it. Our approach provides a good framework for modeling Fork/Join parallel programs and showing proof obligations of correctness for such programs. We illustrate the approach by applying it on a small case." @default.
- W4221031485 created "2022-04-03" @default.
- W4221031485 creator A5032614380 @default.
- W4221031485 creator A5039790890 @default.
- W4221031485 creator A5052745028 @default.
- W4221031485 creator A5088421513 @default.
- W4221031485 date "2022-02-18" @default.
- W4221031485 modified "2023-10-18" @default.
- W4221031485 title "An Event-B Approach to the Development of Fork/Join Parallel Programs" @default.
- W4221031485 doi "https://doi.org/10.4108/airo.v1i.16" @default.
- W4221031485 hasPublicationYear "2022" @default.
- W4221031485 type Work @default.
- W4221031485 citedByCount "0" @default.
- W4221031485 crossrefType "journal-article" @default.
- W4221031485 hasAuthorship W4221031485A5032614380 @default.
- W4221031485 hasAuthorship W4221031485A5039790890 @default.
- W4221031485 hasAuthorship W4221031485A5052745028 @default.
- W4221031485 hasAuthorship W4221031485A5088421513 @default.
- W4221031485 hasBestOaLocation W42210314851 @default.
- W4221031485 hasConcept C111919701 @default.
- W4221031485 hasConcept C114614502 @default.
- W4221031485 hasConcept C124444977 @default.
- W4221031485 hasConcept C124681953 @default.
- W4221031485 hasConcept C128220111 @default.
- W4221031485 hasConcept C160403385 @default.
- W4221031485 hasConcept C162324750 @default.
- W4221031485 hasConcept C173608175 @default.
- W4221031485 hasConcept C187736073 @default.
- W4221031485 hasConcept C188045909 @default.
- W4221031485 hasConcept C18903297 @default.
- W4221031485 hasConcept C199360897 @default.
- W4221031485 hasConcept C2776124973 @default.
- W4221031485 hasConcept C2780451532 @default.
- W4221031485 hasConcept C33923547 @default.
- W4221031485 hasConcept C40523978 @default.
- W4221031485 hasConcept C41008148 @default.
- W4221031485 hasConcept C55439883 @default.
- W4221031485 hasConcept C75949130 @default.
- W4221031485 hasConcept C80444323 @default.
- W4221031485 hasConcept C86803240 @default.
- W4221031485 hasConceptScore W4221031485C111919701 @default.
- W4221031485 hasConceptScore W4221031485C114614502 @default.
- W4221031485 hasConceptScore W4221031485C124444977 @default.
- W4221031485 hasConceptScore W4221031485C124681953 @default.
- W4221031485 hasConceptScore W4221031485C128220111 @default.
- W4221031485 hasConceptScore W4221031485C160403385 @default.
- W4221031485 hasConceptScore W4221031485C162324750 @default.
- W4221031485 hasConceptScore W4221031485C173608175 @default.
- W4221031485 hasConceptScore W4221031485C187736073 @default.
- W4221031485 hasConceptScore W4221031485C188045909 @default.
- W4221031485 hasConceptScore W4221031485C18903297 @default.
- W4221031485 hasConceptScore W4221031485C199360897 @default.
- W4221031485 hasConceptScore W4221031485C2776124973 @default.
- W4221031485 hasConceptScore W4221031485C2780451532 @default.
- W4221031485 hasConceptScore W4221031485C33923547 @default.
- W4221031485 hasConceptScore W4221031485C40523978 @default.
- W4221031485 hasConceptScore W4221031485C41008148 @default.
- W4221031485 hasConceptScore W4221031485C55439883 @default.
- W4221031485 hasConceptScore W4221031485C75949130 @default.
- W4221031485 hasConceptScore W4221031485C80444323 @default.
- W4221031485 hasConceptScore W4221031485C86803240 @default.
- W4221031485 hasLocation W42210314851 @default.
- W4221031485 hasOpenAccess W4221031485 @default.
- W4221031485 hasPrimaryLocation W42210314851 @default.
- W4221031485 hasRelatedWork W137988016 @default.
- W4221031485 hasRelatedWork W1615630783 @default.
- W4221031485 hasRelatedWork W2004812593 @default.
- W4221031485 hasRelatedWork W2093074882 @default.
- W4221031485 hasRelatedWork W2153903112 @default.
- W4221031485 hasRelatedWork W2161462353 @default.
- W4221031485 hasRelatedWork W2413414728 @default.
- W4221031485 hasRelatedWork W2885879993 @default.
- W4221031485 hasRelatedWork W4221031485 @default.
- W4221031485 hasRelatedWork W618449037 @default.
- W4221031485 hasVolume "1" @default.
- W4221031485 isParatext "false" @default.
- W4221031485 isRetracted "false" @default.
- W4221031485 workType "article" @default.