Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151878555> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2151878555 endingPage "569" @default.
- W2151878555 startingPage "525" @default.
- W2151878555 abstract "We develop an algebraic theory of threads, synchronous cooperation of threads and interaction of threads with Maurer machines, and investigate program parallelization using the resulting theory. Program parallelization underlies techniques for speeding up instruction processing on a computer that make use of the abilities of the computer to process instructions simultaneously in cases where the state changes involved do no influence each other. One of our findings is that a strong induction principle is needed when proving theorems about sufficient conditions for the correctness of program parallelizations. The induction principle introduced has brought us to construct a projective limit model for the theory developed." @default.
- W2151878555 created "2016-06-24" @default.
- W2151878555 creator A5000183100 @default.
- W2151878555 creator A5032380170 @default.
- W2151878555 date "2007-09-22" @default.
- W2151878555 modified "2023-09-25" @default.
- W2151878555 title "Synchronous cooperation for explicit multi-threading" @default.
- W2151878555 cites W1972478730 @default.
- W2151878555 cites W2044965190 @default.
- W2151878555 cites W2046566580 @default.
- W2151878555 cites W2050952165 @default.
- W2151878555 cites W2088090496 @default.
- W2151878555 cites W2103914654 @default.
- W2151878555 cites W2114247177 @default.
- W2151878555 cites W2129965117 @default.
- W2151878555 cites W2140920629 @default.
- W2151878555 cites W2145022480 @default.
- W2151878555 cites W2154456298 @default.
- W2151878555 cites W2165072244 @default.
- W2151878555 cites W2165563109 @default.
- W2151878555 cites W2171380900 @default.
- W2151878555 cites W4210540924 @default.
- W2151878555 doi "https://doi.org/10.1007/s00236-007-0057-9" @default.
- W2151878555 hasPublicationYear "2007" @default.
- W2151878555 type Work @default.
- W2151878555 sameAs 2151878555 @default.
- W2151878555 citedByCount "6" @default.
- W2151878555 countsByYear W21518785552013 @default.
- W2151878555 countsByYear W21518785552014 @default.
- W2151878555 crossrefType "journal-article" @default.
- W2151878555 hasAuthorship W2151878555A5000183100 @default.
- W2151878555 hasAuthorship W2151878555A5032380170 @default.
- W2151878555 hasBestOaLocation W21518785551 @default.
- W2151878555 hasConcept C173608175 @default.
- W2151878555 hasConcept C199360897 @default.
- W2151878555 hasConcept C24858836 @default.
- W2151878555 hasConcept C2780801425 @default.
- W2151878555 hasConcept C41008148 @default.
- W2151878555 hasConcept C55439883 @default.
- W2151878555 hasConcept C80444323 @default.
- W2151878555 hasConcept C98045186 @default.
- W2151878555 hasConceptScore W2151878555C173608175 @default.
- W2151878555 hasConceptScore W2151878555C199360897 @default.
- W2151878555 hasConceptScore W2151878555C24858836 @default.
- W2151878555 hasConceptScore W2151878555C2780801425 @default.
- W2151878555 hasConceptScore W2151878555C41008148 @default.
- W2151878555 hasConceptScore W2151878555C55439883 @default.
- W2151878555 hasConceptScore W2151878555C80444323 @default.
- W2151878555 hasConceptScore W2151878555C98045186 @default.
- W2151878555 hasIssue "7-8" @default.
- W2151878555 hasLocation W21518785551 @default.
- W2151878555 hasLocation W21518785552 @default.
- W2151878555 hasLocation W21518785553 @default.
- W2151878555 hasOpenAccess W2151878555 @default.
- W2151878555 hasPrimaryLocation W21518785551 @default.
- W2151878555 hasRelatedWork W1984885776 @default.
- W2151878555 hasRelatedWork W1985198438 @default.
- W2151878555 hasRelatedWork W2074923340 @default.
- W2151878555 hasRelatedWork W2079977998 @default.
- W2151878555 hasRelatedWork W2126815079 @default.
- W2151878555 hasRelatedWork W2134672896 @default.
- W2151878555 hasRelatedWork W2768544685 @default.
- W2151878555 hasRelatedWork W3003496213 @default.
- W2151878555 hasRelatedWork W3046485619 @default.
- W2151878555 hasRelatedWork W4238823939 @default.
- W2151878555 hasVolume "44" @default.
- W2151878555 isParatext "false" @default.
- W2151878555 isRetracted "false" @default.
- W2151878555 magId "2151878555" @default.
- W2151878555 workType "article" @default.