Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504263310> ?p ?o ?g. }
- W1504263310 abstract "In the absence of a unifying model to describe parallel algorithms, existing architectures have served as the models. The resulting algorithms, expressed as sets of sequential processes which communicate via shared memory or message passing, are non-portable, and the component processes cannot be implemented according to an input-output specification alone. Determining the set of computations represented by such an algorithm often requires no less than simulating their execution. This dissertation develops a model, F-Nets, for expressing parallel algorithms in a manner which avoids many of these difficulties. Both high- and low-latency communication are efficiently accomodated, and processes can be implemented in any deterministic language. The possible effects of each process is completely determined by the input-output mapping it implements. Computations are defined as partial orderings of these process executions, and algorithms are represented graphically as folded computations. A formal axiomatic semantics is provided for unfolding algorithms into computations, as is an operational semantics which is used to describe efficient implementations of the model on various architectures. Some final observations and predictions are made for future work based on the model." @default.
- W1504263310 created "2016-06-24" @default.
- W1504263310 creator A5058246487 @default.
- W1504263310 date "1992-01-01" @default.
- W1504263310 modified "2023-10-16" @default.
- W1504263310 title "A formal model for architecture-independent parallel software engineering" @default.
- W1504263310 cites W1513772907 @default.
- W1504263310 cites W1534582519 @default.
- W1504263310 cites W1535347731 @default.
- W1504263310 cites W1543308214 @default.
- W1504263310 cites W1551170326 @default.
- W1504263310 cites W1857327297 @default.
- W1504263310 cites W1965498649 @default.
- W1504263310 cites W1973387129 @default.
- W1504263310 cites W1974445177 @default.
- W1504263310 cites W1991199257 @default.
- W1504263310 cites W1991716724 @default.
- W1504263310 cites W2006125863 @default.
- W1504263310 cites W2014479576 @default.
- W1504263310 cites W2029398467 @default.
- W1504263310 cites W2043582386 @default.
- W1504263310 cites W2049937229 @default.
- W1504263310 cites W2072355121 @default.
- W1504263310 cites W2085596722 @default.
- W1504263310 cites W2089416779 @default.
- W1504263310 cites W2092309910 @default.
- W1504263310 cites W2102584610 @default.
- W1504263310 cites W2112942538 @default.
- W1504263310 cites W2135736783 @default.
- W1504263310 cites W2137865376 @default.
- W1504263310 cites W2138537116 @default.
- W1504263310 cites W2144430894 @default.
- W1504263310 cites W2148789894 @default.
- W1504263310 cites W2150320481 @default.
- W1504263310 cites W2154774499 @default.
- W1504263310 cites W2157169937 @default.
- W1504263310 cites W2157847546 @default.
- W1504263310 cites W3144368627 @default.
- W1504263310 cites W378839807 @default.
- W1504263310 cites W84410244 @default.
- W1504263310 hasPublicationYear "1992" @default.
- W1504263310 type Work @default.
- W1504263310 sameAs 1504263310 @default.
- W1504263310 citedByCount "3" @default.
- W1504263310 crossrefType "journal-article" @default.
- W1504263310 hasAuthorship W1504263310A5058246487 @default.
- W1504263310 hasConcept C11413529 @default.
- W1504263310 hasConcept C121332964 @default.
- W1504263310 hasConcept C12186640 @default.
- W1504263310 hasConcept C133875982 @default.
- W1504263310 hasConcept C155214134 @default.
- W1504263310 hasConcept C156325763 @default.
- W1504263310 hasConcept C167729594 @default.
- W1504263310 hasConcept C168167062 @default.
- W1504263310 hasConcept C173608175 @default.
- W1504263310 hasConcept C177264268 @default.
- W1504263310 hasConcept C184337299 @default.
- W1504263310 hasConcept C199360897 @default.
- W1504263310 hasConcept C2524010 @default.
- W1504263310 hasConcept C26713055 @default.
- W1504263310 hasConcept C33923547 @default.
- W1504263310 hasConcept C41008148 @default.
- W1504263310 hasConcept C45374587 @default.
- W1504263310 hasConcept C80444323 @default.
- W1504263310 hasConcept C854659 @default.
- W1504263310 hasConcept C97355855 @default.
- W1504263310 hasConcept C98045186 @default.
- W1504263310 hasConceptScore W1504263310C11413529 @default.
- W1504263310 hasConceptScore W1504263310C121332964 @default.
- W1504263310 hasConceptScore W1504263310C12186640 @default.
- W1504263310 hasConceptScore W1504263310C133875982 @default.
- W1504263310 hasConceptScore W1504263310C155214134 @default.
- W1504263310 hasConceptScore W1504263310C156325763 @default.
- W1504263310 hasConceptScore W1504263310C167729594 @default.
- W1504263310 hasConceptScore W1504263310C168167062 @default.
- W1504263310 hasConceptScore W1504263310C173608175 @default.
- W1504263310 hasConceptScore W1504263310C177264268 @default.
- W1504263310 hasConceptScore W1504263310C184337299 @default.
- W1504263310 hasConceptScore W1504263310C199360897 @default.
- W1504263310 hasConceptScore W1504263310C2524010 @default.
- W1504263310 hasConceptScore W1504263310C26713055 @default.
- W1504263310 hasConceptScore W1504263310C33923547 @default.
- W1504263310 hasConceptScore W1504263310C41008148 @default.
- W1504263310 hasConceptScore W1504263310C45374587 @default.
- W1504263310 hasConceptScore W1504263310C80444323 @default.
- W1504263310 hasConceptScore W1504263310C854659 @default.
- W1504263310 hasConceptScore W1504263310C97355855 @default.
- W1504263310 hasConceptScore W1504263310C98045186 @default.
- W1504263310 hasLocation W15042633101 @default.
- W1504263310 hasOpenAccess W1504263310 @default.
- W1504263310 hasPrimaryLocation W15042633101 @default.
- W1504263310 hasRelatedWork W149444165 @default.
- W1504263310 hasRelatedWork W171025713 @default.
- W1504263310 hasRelatedWork W2171325515 @default.
- W1504263310 hasRelatedWork W2184408126 @default.
- W1504263310 hasRelatedWork W2230757399 @default.
- W1504263310 hasRelatedWork W2240017591 @default.
- W1504263310 hasRelatedWork W2285482832 @default.
- W1504263310 hasRelatedWork W2403840518 @default.
- W1504263310 hasRelatedWork W2469539114 @default.