Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152804907> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2152804907 abstract "PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time, avoids deadlocks and non-determinism. This paper presents two formal operational semantics for a C+PUB subset language using the Coq proof assistant, one for classical BSP operations and one that emphasises high performance primitives." @default.
- W2152804907 created "2016-06-24" @default.
- W2152804907 creator A5019555461 @default.
- W2152804907 creator A5030061310 @default.
- W2152804907 date "2009-01-01" @default.
- W2152804907 modified "2023-10-16" @default.
- W2152804907 title "Two Formal Semantics of a Subset of the Paderborn University BSPlib" @default.
- W2152804907 cites W1508641834 @default.
- W2152804907 cites W1509751206 @default.
- W2152804907 cites W1569198079 @default.
- W2152804907 cites W1582583636 @default.
- W2152804907 cites W1966332856 @default.
- W2152804907 cites W1973797056 @default.
- W2152804907 cites W1982866418 @default.
- W2152804907 cites W2007401773 @default.
- W2152804907 cites W2014019473 @default.
- W2152804907 cites W2097810778 @default.
- W2152804907 cites W2100808563 @default.
- W2152804907 cites W2110980218 @default.
- W2152804907 cites W2121082877 @default.
- W2152804907 cites W2121973741 @default.
- W2152804907 cites W2141236940 @default.
- W2152804907 cites W2496571351 @default.
- W2152804907 cites W2515190522 @default.
- W2152804907 cites W298807476 @default.
- W2152804907 doi "https://doi.org/10.1109/pdp.2009.49" @default.
- W2152804907 hasPublicationYear "2009" @default.
- W2152804907 type Work @default.
- W2152804907 sameAs 2152804907 @default.
- W2152804907 citedByCount "4" @default.
- W2152804907 countsByYear W21528049072015 @default.
- W2152804907 countsByYear W21528049072018 @default.
- W2152804907 countsByYear W21528049072021 @default.
- W2152804907 crossrefType "proceedings-article" @default.
- W2152804907 hasAuthorship W2152804907A5019555461 @default.
- W2152804907 hasAuthorship W2152804907A5030061310 @default.
- W2152804907 hasConcept C108710211 @default.
- W2152804907 hasConcept C111498074 @default.
- W2152804907 hasConcept C121332964 @default.
- W2152804907 hasConcept C146072743 @default.
- W2152804907 hasConcept C146499914 @default.
- W2152804907 hasConcept C156325763 @default.
- W2152804907 hasConcept C173608175 @default.
- W2152804907 hasConcept C184337299 @default.
- W2152804907 hasConcept C192183473 @default.
- W2152804907 hasConcept C199360897 @default.
- W2152804907 hasConcept C203265346 @default.
- W2152804907 hasConcept C2524010 @default.
- W2152804907 hasConcept C33923547 @default.
- W2152804907 hasConcept C41008148 @default.
- W2152804907 hasConcept C62520636 @default.
- W2152804907 hasConcept C75606506 @default.
- W2152804907 hasConcept C80444323 @default.
- W2152804907 hasConceptScore W2152804907C108710211 @default.
- W2152804907 hasConceptScore W2152804907C111498074 @default.
- W2152804907 hasConceptScore W2152804907C121332964 @default.
- W2152804907 hasConceptScore W2152804907C146072743 @default.
- W2152804907 hasConceptScore W2152804907C146499914 @default.
- W2152804907 hasConceptScore W2152804907C156325763 @default.
- W2152804907 hasConceptScore W2152804907C173608175 @default.
- W2152804907 hasConceptScore W2152804907C184337299 @default.
- W2152804907 hasConceptScore W2152804907C192183473 @default.
- W2152804907 hasConceptScore W2152804907C199360897 @default.
- W2152804907 hasConceptScore W2152804907C203265346 @default.
- W2152804907 hasConceptScore W2152804907C2524010 @default.
- W2152804907 hasConceptScore W2152804907C33923547 @default.
- W2152804907 hasConceptScore W2152804907C41008148 @default.
- W2152804907 hasConceptScore W2152804907C62520636 @default.
- W2152804907 hasConceptScore W2152804907C75606506 @default.
- W2152804907 hasConceptScore W2152804907C80444323 @default.
- W2152804907 hasLocation W21528049071 @default.
- W2152804907 hasOpenAccess W2152804907 @default.
- W2152804907 hasPrimaryLocation W21528049071 @default.
- W2152804907 hasRelatedWork W108810813 @default.
- W2152804907 hasRelatedWork W1531449390 @default.
- W2152804907 hasRelatedWork W1581092032 @default.
- W2152804907 hasRelatedWork W185714012 @default.
- W2152804907 hasRelatedWork W2035334563 @default.
- W2152804907 hasRelatedWork W2097810778 @default.
- W2152804907 hasRelatedWork W2107316249 @default.
- W2152804907 hasRelatedWork W2152804907 @default.
- W2152804907 hasRelatedWork W2156223462 @default.
- W2152804907 hasRelatedWork W3083890264 @default.
- W2152804907 isParatext "false" @default.
- W2152804907 isRetracted "false" @default.
- W2152804907 magId "2152804907" @default.
- W2152804907 workType "article" @default.