Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000589007> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2000589007 endingPage "455" @default.
- W2000589007 startingPage "420" @default.
- W2000589007 abstract "Program transformations are proposed as a means of providing fair parallelism semantics for parallel programs with shared variables. The transformations are developed in two steps. First, abstract schedulers that implement the various fairness policies are introduced. These schedulers use random assignments z := ? to represent the unbounded nondeterminism induced by fairness. Concrete schedulers are derived by suitably refining the ?. The transformations are then obtained by embedding the abstract schedulers into the parallel programs. This embedding is proved correct on the basis of a simple transition semantics. Since the parallel structure of the original program is preserved, the transformations also provide a basis for syntax-directed proofs of total correctness under the fairness assumption. These proofs make use of infinite ordinals." @default.
- W2000589007 created "2016-06-24" @default.
- W2000589007 creator A5042418599 @default.
- W2000589007 creator A5084773409 @default.
- W2000589007 date "1988-07-01" @default.
- W2000589007 modified "2023-09-28" @default.
- W2000589007 title "Fairness in parallel programs: the transformational approach" @default.
- W2000589007 cites W1964727056 @default.
- W2000589007 cites W1970603830 @default.
- W2000589007 cites W1975595848 @default.
- W2000589007 cites W1994227664 @default.
- W2000589007 cites W2014552079 @default.
- W2000589007 cites W2025113826 @default.
- W2000589007 cites W2039025680 @default.
- W2000589007 cites W2070908350 @default.
- W2000589007 cites W2102484310 @default.
- W2000589007 cites W2132334337 @default.
- W2000589007 cites W2143417417 @default.
- W2000589007 cites W2147543351 @default.
- W2000589007 cites W2149325295 @default.
- W2000589007 cites W2166656159 @default.
- W2000589007 doi "https://doi.org/10.1145/44501.44504" @default.
- W2000589007 hasPublicationYear "1988" @default.
- W2000589007 type Work @default.
- W2000589007 sameAs 2000589007 @default.
- W2000589007 citedByCount "51" @default.
- W2000589007 countsByYear W20005890072012 @default.
- W2000589007 countsByYear W20005890072013 @default.
- W2000589007 countsByYear W20005890072014 @default.
- W2000589007 countsByYear W20005890072015 @default.
- W2000589007 countsByYear W20005890072016 @default.
- W2000589007 countsByYear W20005890072017 @default.
- W2000589007 countsByYear W20005890072019 @default.
- W2000589007 countsByYear W20005890072020 @default.
- W2000589007 crossrefType "journal-article" @default.
- W2000589007 hasAuthorship W2000589007A5042418599 @default.
- W2000589007 hasAuthorship W2000589007A5084773409 @default.
- W2000589007 hasBestOaLocation W20005890071 @default.
- W2000589007 hasConcept C108710211 @default.
- W2000589007 hasConcept C111472728 @default.
- W2000589007 hasConcept C118615104 @default.
- W2000589007 hasConcept C12426560 @default.
- W2000589007 hasConcept C138885662 @default.
- W2000589007 hasConcept C154945302 @default.
- W2000589007 hasConcept C162838799 @default.
- W2000589007 hasConcept C173608175 @default.
- W2000589007 hasConcept C184337299 @default.
- W2000589007 hasConcept C199360897 @default.
- W2000589007 hasConcept C2524010 @default.
- W2000589007 hasConcept C2780069185 @default.
- W2000589007 hasConcept C2780586882 @default.
- W2000589007 hasConcept C2781172179 @default.
- W2000589007 hasConcept C33923547 @default.
- W2000589007 hasConcept C41008148 @default.
- W2000589007 hasConcept C41608201 @default.
- W2000589007 hasConcept C55439883 @default.
- W2000589007 hasConcept C80444323 @default.
- W2000589007 hasConceptScore W2000589007C108710211 @default.
- W2000589007 hasConceptScore W2000589007C111472728 @default.
- W2000589007 hasConceptScore W2000589007C118615104 @default.
- W2000589007 hasConceptScore W2000589007C12426560 @default.
- W2000589007 hasConceptScore W2000589007C138885662 @default.
- W2000589007 hasConceptScore W2000589007C154945302 @default.
- W2000589007 hasConceptScore W2000589007C162838799 @default.
- W2000589007 hasConceptScore W2000589007C173608175 @default.
- W2000589007 hasConceptScore W2000589007C184337299 @default.
- W2000589007 hasConceptScore W2000589007C199360897 @default.
- W2000589007 hasConceptScore W2000589007C2524010 @default.
- W2000589007 hasConceptScore W2000589007C2780069185 @default.
- W2000589007 hasConceptScore W2000589007C2780586882 @default.
- W2000589007 hasConceptScore W2000589007C2781172179 @default.
- W2000589007 hasConceptScore W2000589007C33923547 @default.
- W2000589007 hasConceptScore W2000589007C41008148 @default.
- W2000589007 hasConceptScore W2000589007C41608201 @default.
- W2000589007 hasConceptScore W2000589007C55439883 @default.
- W2000589007 hasConceptScore W2000589007C80444323 @default.
- W2000589007 hasIssue "3" @default.
- W2000589007 hasLocation W20005890071 @default.
- W2000589007 hasLocation W20005890072 @default.
- W2000589007 hasOpenAccess W2000589007 @default.
- W2000589007 hasPrimaryLocation W20005890071 @default.
- W2000589007 hasRelatedWork W1504113557 @default.
- W2000589007 hasRelatedWork W1587224678 @default.
- W2000589007 hasRelatedWork W1822097810 @default.
- W2000589007 hasRelatedWork W1861107327 @default.
- W2000589007 hasRelatedWork W1966104371 @default.
- W2000589007 hasRelatedWork W201910966 @default.
- W2000589007 hasRelatedWork W2956679612 @default.
- W2000589007 hasRelatedWork W3215974943 @default.
- W2000589007 hasRelatedWork W4200407461 @default.
- W2000589007 hasRelatedWork W4312441394 @default.
- W2000589007 hasVolume "10" @default.
- W2000589007 isParatext "false" @default.
- W2000589007 isRetracted "false" @default.
- W2000589007 magId "2000589007" @default.
- W2000589007 workType "article" @default.