Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031669812> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2031669812 endingPage "180" @default.
- W2031669812 startingPage "133" @default.
- W2031669812 abstract "The refinement calculus and the action system formalism are combined to provide a uniform method for constructing parallel and distributed algorithms by stepwise refinement. It is shown that the sequencial refinement calculus can be used as such for most of the derivation steps. Parallelism is introduced during the derivation by refinement of atomicity. The approach is applied to the derivation of a parallel version of the Gaussian elimination method for solving simultaneous linear equation systems." @default.
- W2031669812 created "2016-06-24" @default.
- W2031669812 creator A5049657251 @default.
- W2031669812 creator A5082820370 @default.
- W2031669812 date "1990-05-01" @default.
- W2031669812 modified "2023-09-26" @default.
- W2031669812 title "Stepwise refinement of parallel algorithms" @default.
- W2031669812 cites W1977621687 @default.
- W2031669812 cites W2005952505 @default.
- W2031669812 cites W2011444209 @default.
- W2031669812 cites W2038814435 @default.
- W2031669812 cites W2077271799 @default.
- W2031669812 cites W2082724648 @default.
- W2031669812 cites W2087713039 @default.
- W2031669812 cites W2106085292 @default.
- W2031669812 cites W2154004999 @default.
- W2031669812 cites W2158525816 @default.
- W2031669812 cites W4211008702 @default.
- W2031669812 doi "https://doi.org/10.1016/0167-6423(90)90069-p" @default.
- W2031669812 hasPublicationYear "1990" @default.
- W2031669812 type Work @default.
- W2031669812 sameAs 2031669812 @default.
- W2031669812 citedByCount "72" @default.
- W2031669812 countsByYear W20316698122012 @default.
- W2031669812 countsByYear W20316698122014 @default.
- W2031669812 crossrefType "journal-article" @default.
- W2031669812 hasAuthorship W2031669812A5049657251 @default.
- W2031669812 hasAuthorship W2031669812A5082820370 @default.
- W2031669812 hasConcept C11413529 @default.
- W2031669812 hasConcept C121332964 @default.
- W2031669812 hasConcept C126312332 @default.
- W2031669812 hasConcept C142362112 @default.
- W2031669812 hasConcept C153349607 @default.
- W2031669812 hasConcept C163716315 @default.
- W2031669812 hasConcept C173608175 @default.
- W2031669812 hasConcept C188045909 @default.
- W2031669812 hasConcept C199360897 @default.
- W2031669812 hasConcept C2781172179 @default.
- W2031669812 hasConcept C41008148 @default.
- W2031669812 hasConcept C558565934 @default.
- W2031669812 hasConcept C62520636 @default.
- W2031669812 hasConcept C73301696 @default.
- W2031669812 hasConcept C75949130 @default.
- W2031669812 hasConcept C80444323 @default.
- W2031669812 hasConcept C90483712 @default.
- W2031669812 hasConceptScore W2031669812C11413529 @default.
- W2031669812 hasConceptScore W2031669812C121332964 @default.
- W2031669812 hasConceptScore W2031669812C126312332 @default.
- W2031669812 hasConceptScore W2031669812C142362112 @default.
- W2031669812 hasConceptScore W2031669812C153349607 @default.
- W2031669812 hasConceptScore W2031669812C163716315 @default.
- W2031669812 hasConceptScore W2031669812C173608175 @default.
- W2031669812 hasConceptScore W2031669812C188045909 @default.
- W2031669812 hasConceptScore W2031669812C199360897 @default.
- W2031669812 hasConceptScore W2031669812C2781172179 @default.
- W2031669812 hasConceptScore W2031669812C41008148 @default.
- W2031669812 hasConceptScore W2031669812C558565934 @default.
- W2031669812 hasConceptScore W2031669812C62520636 @default.
- W2031669812 hasConceptScore W2031669812C73301696 @default.
- W2031669812 hasConceptScore W2031669812C75949130 @default.
- W2031669812 hasConceptScore W2031669812C80444323 @default.
- W2031669812 hasConceptScore W2031669812C90483712 @default.
- W2031669812 hasIssue "2-3" @default.
- W2031669812 hasLocation W20316698121 @default.
- W2031669812 hasOpenAccess W2031669812 @default.
- W2031669812 hasPrimaryLocation W20316698121 @default.
- W2031669812 hasRelatedWork W1491899005 @default.
- W2031669812 hasRelatedWork W1578204257 @default.
- W2031669812 hasRelatedWork W1608806855 @default.
- W2031669812 hasRelatedWork W1850053445 @default.
- W2031669812 hasRelatedWork W1972912085 @default.
- W2031669812 hasRelatedWork W2023505575 @default.
- W2031669812 hasRelatedWork W2031669812 @default.
- W2031669812 hasRelatedWork W2047588290 @default.
- W2031669812 hasRelatedWork W3085352435 @default.
- W2031669812 hasRelatedWork W3095555187 @default.
- W2031669812 hasVolume "13" @default.
- W2031669812 isParatext "false" @default.
- W2031669812 isRetracted "false" @default.
- W2031669812 magId "2031669812" @default.
- W2031669812 workType "article" @default.