Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003828460> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2003828460 abstract "Abstract A distributed parallel algorithm is viewed as a collection of message-driven entities that communicate via channels of infinite (unbounded) capacity. Translating such an algorithm into an OCCAM program in such a way that the algorithm's correctness and liveness properties are preserved can be a complex problem, especially in view of the zero-capacity channels offered by the language. We describe a methodology and software environment for performing this property-preserving translation automatically, by use of information provided by the programmer on the algorithm's processing and communication loads and message-buffering requirements. Our proposal is centered around a succession of refinements whereby an initial OCCAM program, written as if channels had infinite capacity, is transformed into an OCCAM program that can be readily executed. The program is modified to accommodate appropriate message buffering and reflect an efficient allocation of tasks to processors. The environment includes software for relatively complex communication operations, as store-and-forward and circuit-switched point-to-point message delivery, and various group communication functions." @default.
- W2003828460 created "2016-06-24" @default.
- W2003828460 creator A5042007393 @default.
- W2003828460 creator A5071494175 @default.
- W2003828460 creator A5080706511 @default.
- W2003828460 date "1994-09-01" @default.
- W2003828460 modified "2023-09-23" @default.
- W2003828460 title "From distributed algorithms to OCCAM programs by successive refinements" @default.
- W2003828460 cites W1502318811 @default.
- W2003828460 cites W1535558663 @default.
- W2003828460 cites W1584545477 @default.
- W2003828460 cites W1732665368 @default.
- W2003828460 cites W1857327297 @default.
- W2003828460 cites W1966983073 @default.
- W2003828460 cites W1970603830 @default.
- W2003828460 cites W1994885630 @default.
- W2003828460 cites W2000302396 @default.
- W2003828460 cites W2010526455 @default.
- W2003828460 cites W2025257258 @default.
- W2003828460 cites W2028155031 @default.
- W2003828460 cites W2049937229 @default.
- W2003828460 cites W2052504823 @default.
- W2003828460 cites W2058696974 @default.
- W2003828460 cites W2066210260 @default.
- W2003828460 cites W2092534058 @default.
- W2003828460 cites W2109053145 @default.
- W2003828460 cites W2154323564 @default.
- W2003828460 cites W2161373029 @default.
- W2003828460 cites W2613173048 @default.
- W2003828460 cites W3144368627 @default.
- W2003828460 cites W83500588 @default.
- W2003828460 doi "https://doi.org/10.1016/0164-1212(94)90016-7" @default.
- W2003828460 hasPublicationYear "1994" @default.
- W2003828460 type Work @default.
- W2003828460 sameAs 2003828460 @default.
- W2003828460 citedByCount "2" @default.
- W2003828460 crossrefType "journal-article" @default.
- W2003828460 hasAuthorship W2003828460A5042007393 @default.
- W2003828460 hasAuthorship W2003828460A5071494175 @default.
- W2003828460 hasAuthorship W2003828460A5080706511 @default.
- W2003828460 hasConcept C111472728 @default.
- W2003828460 hasConcept C11413529 @default.
- W2003828460 hasConcept C120314980 @default.
- W2003828460 hasConcept C138885662 @default.
- W2003828460 hasConcept C15569618 @default.
- W2003828460 hasConcept C159023740 @default.
- W2003828460 hasConcept C189950617 @default.
- W2003828460 hasConcept C199360897 @default.
- W2003828460 hasConcept C2777904410 @default.
- W2003828460 hasConcept C2778514511 @default.
- W2003828460 hasConcept C41008148 @default.
- W2003828460 hasConcept C55439883 @default.
- W2003828460 hasConcept C78469957 @default.
- W2003828460 hasConcept C854659 @default.
- W2003828460 hasConceptScore W2003828460C111472728 @default.
- W2003828460 hasConceptScore W2003828460C11413529 @default.
- W2003828460 hasConceptScore W2003828460C120314980 @default.
- W2003828460 hasConceptScore W2003828460C138885662 @default.
- W2003828460 hasConceptScore W2003828460C15569618 @default.
- W2003828460 hasConceptScore W2003828460C159023740 @default.
- W2003828460 hasConceptScore W2003828460C189950617 @default.
- W2003828460 hasConceptScore W2003828460C199360897 @default.
- W2003828460 hasConceptScore W2003828460C2777904410 @default.
- W2003828460 hasConceptScore W2003828460C2778514511 @default.
- W2003828460 hasConceptScore W2003828460C41008148 @default.
- W2003828460 hasConceptScore W2003828460C55439883 @default.
- W2003828460 hasConceptScore W2003828460C78469957 @default.
- W2003828460 hasConceptScore W2003828460C854659 @default.
- W2003828460 hasLocation W20038284601 @default.
- W2003828460 hasOpenAccess W2003828460 @default.
- W2003828460 hasPrimaryLocation W20038284601 @default.
- W2003828460 hasRelatedWork W116239965 @default.
- W2003828460 hasRelatedWork W1513956100 @default.
- W2003828460 hasRelatedWork W1589595839 @default.
- W2003828460 hasRelatedWork W1602115506 @default.
- W2003828460 hasRelatedWork W194942224 @default.
- W2003828460 hasRelatedWork W1971782746 @default.
- W2003828460 hasRelatedWork W1979823255 @default.
- W2003828460 hasRelatedWork W2031677185 @default.
- W2003828460 hasRelatedWork W2041609173 @default.
- W2003828460 hasRelatedWork W2055295051 @default.
- W2003828460 hasRelatedWork W2064625489 @default.
- W2003828460 hasRelatedWork W2168488307 @default.
- W2003828460 hasRelatedWork W2189257662 @default.
- W2003828460 hasRelatedWork W2358236718 @default.
- W2003828460 hasRelatedWork W2406003837 @default.
- W2003828460 hasRelatedWork W2413001351 @default.
- W2003828460 hasRelatedWork W2943904246 @default.
- W2003828460 hasRelatedWork W82137051 @default.
- W2003828460 hasRelatedWork W1891040718 @default.
- W2003828460 hasRelatedWork W2103620821 @default.
- W2003828460 isParatext "false" @default.
- W2003828460 isRetracted "false" @default.
- W2003828460 magId "2003828460" @default.
- W2003828460 workType "article" @default.