Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569496133> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1569496133 abstract "The paper presents our applicative approach of using fixed point induction principle to verify the correctness of systolic array designs. Fixed point induction exploits the repeatable, regular, and local attributes of systolic arrays in realizing recursive functions. The applicative language in denotational semantics improves proof efficiency by skipping the redundant search time and space that occurred in other techniques. Our approach, as well as an example of applying it to prove a systolic array for matrix inversion, are provided in the paper. >" @default.
- W1569496133 created "2016-06-24" @default.
- W1569496133 creator A5018686979 @default.
- W1569496133 creator A5081089928 @default.
- W1569496133 creator A5084969567 @default.
- W1569496133 date "2002-12-30" @default.
- W1569496133 modified "2023-09-22" @default.
- W1569496133 title "The use of fixed point induction in verifying systolic array designs: an applicative approach" @default.
- W1569496133 cites W1552663356 @default.
- W1569496133 cites W1964875728 @default.
- W1569496133 cites W2149249982 @default.
- W1569496133 cites W1534199557 @default.
- W1569496133 cites W3142979946 @default.
- W1569496133 doi "https://doi.org/10.1109/mwscas.1993.343224" @default.
- W1569496133 hasPublicationYear "2002" @default.
- W1569496133 type Work @default.
- W1569496133 sameAs 1569496133 @default.
- W1569496133 citedByCount "0" @default.
- W1569496133 crossrefType "proceedings-article" @default.
- W1569496133 hasAuthorship W1569496133A5018686979 @default.
- W1569496133 hasAuthorship W1569496133A5081089928 @default.
- W1569496133 hasAuthorship W1569496133A5084969567 @default.
- W1569496133 hasConcept C11413529 @default.
- W1569496133 hasConcept C134306372 @default.
- W1569496133 hasConcept C14580979 @default.
- W1569496133 hasConcept C149635348 @default.
- W1569496133 hasConcept C150741067 @default.
- W1569496133 hasConcept C156325763 @default.
- W1569496133 hasConcept C165696696 @default.
- W1569496133 hasConcept C184337299 @default.
- W1569496133 hasConcept C199360897 @default.
- W1569496133 hasConcept C207648694 @default.
- W1569496133 hasConcept C2524010 @default.
- W1569496133 hasConcept C28719098 @default.
- W1569496133 hasConcept C33923547 @default.
- W1569496133 hasConcept C38652104 @default.
- W1569496133 hasConcept C41008148 @default.
- W1569496133 hasConcept C55439883 @default.
- W1569496133 hasConcept C61445026 @default.
- W1569496133 hasConcept C80444323 @default.
- W1569496133 hasConceptScore W1569496133C11413529 @default.
- W1569496133 hasConceptScore W1569496133C134306372 @default.
- W1569496133 hasConceptScore W1569496133C14580979 @default.
- W1569496133 hasConceptScore W1569496133C149635348 @default.
- W1569496133 hasConceptScore W1569496133C150741067 @default.
- W1569496133 hasConceptScore W1569496133C156325763 @default.
- W1569496133 hasConceptScore W1569496133C165696696 @default.
- W1569496133 hasConceptScore W1569496133C184337299 @default.
- W1569496133 hasConceptScore W1569496133C199360897 @default.
- W1569496133 hasConceptScore W1569496133C207648694 @default.
- W1569496133 hasConceptScore W1569496133C2524010 @default.
- W1569496133 hasConceptScore W1569496133C28719098 @default.
- W1569496133 hasConceptScore W1569496133C33923547 @default.
- W1569496133 hasConceptScore W1569496133C38652104 @default.
- W1569496133 hasConceptScore W1569496133C41008148 @default.
- W1569496133 hasConceptScore W1569496133C55439883 @default.
- W1569496133 hasConceptScore W1569496133C61445026 @default.
- W1569496133 hasConceptScore W1569496133C80444323 @default.
- W1569496133 hasLocation W15694961331 @default.
- W1569496133 hasOpenAccess W1569496133 @default.
- W1569496133 hasPrimaryLocation W15694961331 @default.
- W1569496133 hasRelatedWork W1499731100 @default.
- W1569496133 hasRelatedWork W1563456403 @default.
- W1569496133 hasRelatedWork W1965844543 @default.
- W1569496133 hasRelatedWork W1999103908 @default.
- W1569496133 hasRelatedWork W2024231423 @default.
- W1569496133 hasRelatedWork W2066079847 @default.
- W1569496133 hasRelatedWork W2067231794 @default.
- W1569496133 hasRelatedWork W2094583661 @default.
- W1569496133 hasRelatedWork W2104918553 @default.
- W1569496133 hasRelatedWork W2122228234 @default.
- W1569496133 hasRelatedWork W2148126158 @default.
- W1569496133 hasRelatedWork W2150553244 @default.
- W1569496133 hasRelatedWork W2152830923 @default.
- W1569496133 hasRelatedWork W2166617295 @default.
- W1569496133 hasRelatedWork W2167718692 @default.
- W1569496133 hasRelatedWork W2230256814 @default.
- W1569496133 hasRelatedWork W2367889460 @default.
- W1569496133 hasRelatedWork W2392761602 @default.
- W1569496133 hasRelatedWork W2137719133 @default.
- W1569496133 hasRelatedWork W2145206562 @default.
- W1569496133 isParatext "false" @default.
- W1569496133 isRetracted "false" @default.
- W1569496133 magId "1569496133" @default.
- W1569496133 workType "article" @default.