Matches in SemOpenAlex for { <https://semopenalex.org/work/W1775543359> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1775543359 endingPage "166" @default.
- W1775543359 startingPage "151" @default.
- W1775543359 abstract "Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated an operational semantics and proved sound a concurrent separation logic to reason about multithreaded programs that communicate asynchronously through channels and share memory. Our logic supports shared channel endpoints (multiple producers and consumers) and introduces histories to overcome limitations with local reasoning. We demonstrate how to transform a sequential proof into a parallelized proof that targets the output of the parallelizing optimization DSWP (Decoupled Software Pipelining)." @default.
- W1775543359 created "2016-06-24" @default.
- W1775543359 creator A5004766305 @default.
- W1775543359 creator A5048423261 @default.
- W1775543359 creator A5049454219 @default.
- W1775543359 date "2010-01-01" @default.
- W1775543359 modified "2023-10-18" @default.
- W1775543359 title "Concurrent Separation Logic for Pipelined Parallelization" @default.
- W1775543359 cites W1549217957 @default.
- W1775543359 cites W1606028453 @default.
- W1775543359 cites W1775543359 @default.
- W1775543359 cites W2131296609 @default.
- W1775543359 cites W2132761501 @default.
- W1775543359 cites W2148687959 @default.
- W1775543359 cites W2155032935 @default.
- W1775543359 cites W3148731126 @default.
- W1775543359 cites W3149553891 @default.
- W1775543359 cites W4236400344 @default.
- W1775543359 cites W4252176599 @default.
- W1775543359 doi "https://doi.org/10.1007/978-3-642-15769-1_10" @default.
- W1775543359 hasPublicationYear "2010" @default.
- W1775543359 type Work @default.
- W1775543359 sameAs 1775543359 @default.
- W1775543359 citedByCount "15" @default.
- W1775543359 countsByYear W17755433592012 @default.
- W1775543359 countsByYear W17755433592014 @default.
- W1775543359 countsByYear W17755433592015 @default.
- W1775543359 countsByYear W17755433592016 @default.
- W1775543359 countsByYear W17755433592020 @default.
- W1775543359 countsByYear W17755433592021 @default.
- W1775543359 countsByYear W17755433592022 @default.
- W1775543359 countsByYear W17755433592023 @default.
- W1775543359 crossrefType "book-chapter" @default.
- W1775543359 hasAuthorship W1775543359A5004766305 @default.
- W1775543359 hasAuthorship W1775543359A5048423261 @default.
- W1775543359 hasAuthorship W1775543359A5049454219 @default.
- W1775543359 hasBestOaLocation W17755433592 @default.
- W1775543359 hasConcept C118524514 @default.
- W1775543359 hasConcept C133875982 @default.
- W1775543359 hasConcept C151319957 @default.
- W1775543359 hasConcept C169590947 @default.
- W1775543359 hasConcept C173608175 @default.
- W1775543359 hasConcept C199360897 @default.
- W1775543359 hasConcept C31258907 @default.
- W1775543359 hasConcept C41008148 @default.
- W1775543359 hasConcept C78766204 @default.
- W1775543359 hasConceptScore W1775543359C118524514 @default.
- W1775543359 hasConceptScore W1775543359C133875982 @default.
- W1775543359 hasConceptScore W1775543359C151319957 @default.
- W1775543359 hasConceptScore W1775543359C169590947 @default.
- W1775543359 hasConceptScore W1775543359C173608175 @default.
- W1775543359 hasConceptScore W1775543359C199360897 @default.
- W1775543359 hasConceptScore W1775543359C31258907 @default.
- W1775543359 hasConceptScore W1775543359C41008148 @default.
- W1775543359 hasConceptScore W1775543359C78766204 @default.
- W1775543359 hasLocation W17755433591 @default.
- W1775543359 hasLocation W17755433592 @default.
- W1775543359 hasOpenAccess W1775543359 @default.
- W1775543359 hasPrimaryLocation W17755433591 @default.
- W1775543359 hasRelatedWork W1497385637 @default.
- W1775543359 hasRelatedWork W1508811940 @default.
- W1775543359 hasRelatedWork W1511134614 @default.
- W1775543359 hasRelatedWork W1764185321 @default.
- W1775543359 hasRelatedWork W2192862863 @default.
- W1775543359 hasRelatedWork W2348711589 @default.
- W1775543359 hasRelatedWork W2372170743 @default.
- W1775543359 hasRelatedWork W2765260302 @default.
- W1775543359 hasRelatedWork W2986158660 @default.
- W1775543359 hasRelatedWork W2479014312 @default.
- W1775543359 isParatext "false" @default.
- W1775543359 isRetracted "false" @default.
- W1775543359 magId "1775543359" @default.
- W1775543359 workType "book-chapter" @default.