Matches in SemOpenAlex for { <https://semopenalex.org/work/W4212969489> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4212969489 endingPage "231" @default.
- W4212969489 startingPage "215" @default.
- W4212969489 abstract "This paper proves properties of the vectorized code generated by the SPIRAL system for implementing, optimizing, and tuning fast signal transforms. In particular, it is shown that the generated code is correct and fully vectorized. The SPIRAL system uses multiple rewrite systems with varying levels of abstraction to generate, optimize, parallelize and implement code. The proofs proceed by showing that the rules preserve semantics and lead to code with guaranteed performance and correctness properties. Unlike more general approaches, much of the work is done at a higher level incorporating the underlying mathematics. This shifts much of the verification from proving equivalence of programs to proving equivalence of mathematical expressions. Furthermore, the proofs incorporate domain specific knowledge leading to stronger guarantees than could be obtained for a more general vectorizing compiler." @default.
- W4212969489 created "2022-02-24" @default.
- W4212969489 creator A5012193803 @default.
- W4212969489 creator A5068650358 @default.
- W4212969489 date "2022-01-01" @default.
- W4212969489 modified "2023-09-27" @default.
- W4212969489 title "Verification of Vectorization of Signal Transforms" @default.
- W4212969489 cites W1528855243 @default.
- W4212969489 cites W1543833969 @default.
- W4212969489 cites W1579661906 @default.
- W4212969489 cites W2002479196 @default.
- W4212969489 cites W2023035194 @default.
- W4212969489 cites W2072277531 @default.
- W4212969489 cites W2108556169 @default.
- W4212969489 cites W2123991163 @default.
- W4212969489 cites W2136952590 @default.
- W4212969489 cites W2146236588 @default.
- W4212969489 cites W2151716725 @default.
- W4212969489 cites W2581746901 @default.
- W4212969489 cites W2595625343 @default.
- W4212969489 cites W2898200251 @default.
- W4212969489 cites W2987907651 @default.
- W4212969489 cites W3015276542 @default.
- W4212969489 doi "https://doi.org/10.1007/978-3-030-95953-1_15" @default.
- W4212969489 hasPublicationYear "2022" @default.
- W4212969489 type Work @default.
- W4212969489 citedByCount "0" @default.
- W4212969489 crossrefType "book-chapter" @default.
- W4212969489 hasAuthorship W4212969489A5012193803 @default.
- W4212969489 hasAuthorship W4212969489A5068650358 @default.
- W4212969489 hasConcept C108710211 @default.
- W4212969489 hasConcept C111472728 @default.
- W4212969489 hasConcept C11413529 @default.
- W4212969489 hasConcept C118615104 @default.
- W4212969489 hasConcept C124304363 @default.
- W4212969489 hasConcept C138885662 @default.
- W4212969489 hasConcept C169590947 @default.
- W4212969489 hasConcept C173608175 @default.
- W4212969489 hasConcept C177264268 @default.
- W4212969489 hasConcept C184337299 @default.
- W4212969489 hasConcept C199360897 @default.
- W4212969489 hasConcept C2524010 @default.
- W4212969489 hasConcept C2776760102 @default.
- W4212969489 hasConcept C2780069185 @default.
- W4212969489 hasConcept C33923547 @default.
- W4212969489 hasConcept C41008148 @default.
- W4212969489 hasConcept C55439883 @default.
- W4212969489 hasConcept C80444323 @default.
- W4212969489 hasConceptScore W4212969489C108710211 @default.
- W4212969489 hasConceptScore W4212969489C111472728 @default.
- W4212969489 hasConceptScore W4212969489C11413529 @default.
- W4212969489 hasConceptScore W4212969489C118615104 @default.
- W4212969489 hasConceptScore W4212969489C124304363 @default.
- W4212969489 hasConceptScore W4212969489C138885662 @default.
- W4212969489 hasConceptScore W4212969489C169590947 @default.
- W4212969489 hasConceptScore W4212969489C173608175 @default.
- W4212969489 hasConceptScore W4212969489C177264268 @default.
- W4212969489 hasConceptScore W4212969489C184337299 @default.
- W4212969489 hasConceptScore W4212969489C199360897 @default.
- W4212969489 hasConceptScore W4212969489C2524010 @default.
- W4212969489 hasConceptScore W4212969489C2776760102 @default.
- W4212969489 hasConceptScore W4212969489C2780069185 @default.
- W4212969489 hasConceptScore W4212969489C33923547 @default.
- W4212969489 hasConceptScore W4212969489C41008148 @default.
- W4212969489 hasConceptScore W4212969489C55439883 @default.
- W4212969489 hasConceptScore W4212969489C80444323 @default.
- W4212969489 hasLocation W42129694891 @default.
- W4212969489 hasOpenAccess W4212969489 @default.
- W4212969489 hasPrimaryLocation W42129694891 @default.
- W4212969489 hasRelatedWork W137976737 @default.
- W4212969489 hasRelatedWork W1504651774 @default.
- W4212969489 hasRelatedWork W1538072621 @default.
- W4212969489 hasRelatedWork W1798364377 @default.
- W4212969489 hasRelatedWork W2047793074 @default.
- W4212969489 hasRelatedWork W2170986672 @default.
- W4212969489 hasRelatedWork W2973978040 @default.
- W4212969489 hasRelatedWork W3048095579 @default.
- W4212969489 hasRelatedWork W3119305140 @default.
- W4212969489 hasRelatedWork W74180852 @default.
- W4212969489 isParatext "false" @default.
- W4212969489 isRetracted "false" @default.
- W4212969489 workType "book-chapter" @default.