Matches in SemOpenAlex for { <https://semopenalex.org/work/W2148087029> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2148087029 abstract "In this paper, we present a new methodology towards performing high-level synthesis. During high-level synthesis an algorithmic description is mapped to a structure of hardware components. In our approach, high-level synthesis is performed via program transformations. All transformations are performed within a higher order logic theorem prover thus guaranteeing correctness. Our approach is not restricted to dataflow graphs but supports arbitrary computable functions, i.e. mixed control/data flow graphs. Furthermore, the treatment of algorithmic and interface descriptions is orthogonalised, allowing systematic reuse of designs." @default.
- W2148087029 created "2016-06-24" @default.
- W2148087029 creator A5009390966 @default.
- W2148087029 creator A5025372429 @default.
- W2148087029 date "2002-11-27" @default.
- W2148087029 modified "2023-10-16" @default.
- W2148087029 title "Performing high-level synthesis via program transformations within a theorem prover" @default.
- W2148087029 cites W1521083034 @default.
- W2148087029 cites W1567363020 @default.
- W2148087029 cites W1787297320 @default.
- W2148087029 cites W1843703445 @default.
- W2148087029 cites W1886250361 @default.
- W2148087029 cites W1959938515 @default.
- W2148087029 cites W2142575500 @default.
- W2148087029 cites W2148663017 @default.
- W2148087029 cites W2405399640 @default.
- W2148087029 cites W72090759 @default.
- W2148087029 doi "https://doi.org/10.1109/eurmic.1998.711771" @default.
- W2148087029 hasPublicationYear "2002" @default.
- W2148087029 type Work @default.
- W2148087029 sameAs 2148087029 @default.
- W2148087029 citedByCount "7" @default.
- W2148087029 countsByYear W21480870292015 @default.
- W2148087029 crossrefType "proceedings-article" @default.
- W2148087029 hasAuthorship W2148087029A5009390966 @default.
- W2148087029 hasAuthorship W2148087029A5025372429 @default.
- W2148087029 hasBestOaLocation W21480870292 @default.
- W2148087029 hasConcept C108710211 @default.
- W2148087029 hasConcept C11413529 @default.
- W2148087029 hasConcept C149635348 @default.
- W2148087029 hasConcept C159718280 @default.
- W2148087029 hasConcept C18903297 @default.
- W2148087029 hasConcept C199360897 @default.
- W2148087029 hasConcept C206588197 @default.
- W2148087029 hasConcept C206880738 @default.
- W2148087029 hasConcept C2524010 @default.
- W2148087029 hasConcept C2776937632 @default.
- W2148087029 hasConcept C33923547 @default.
- W2148087029 hasConcept C41008148 @default.
- W2148087029 hasConcept C42935608 @default.
- W2148087029 hasConcept C55439883 @default.
- W2148087029 hasConcept C58013763 @default.
- W2148087029 hasConcept C80444323 @default.
- W2148087029 hasConcept C86803240 @default.
- W2148087029 hasConcept C96324660 @default.
- W2148087029 hasConceptScore W2148087029C108710211 @default.
- W2148087029 hasConceptScore W2148087029C11413529 @default.
- W2148087029 hasConceptScore W2148087029C149635348 @default.
- W2148087029 hasConceptScore W2148087029C159718280 @default.
- W2148087029 hasConceptScore W2148087029C18903297 @default.
- W2148087029 hasConceptScore W2148087029C199360897 @default.
- W2148087029 hasConceptScore W2148087029C206588197 @default.
- W2148087029 hasConceptScore W2148087029C206880738 @default.
- W2148087029 hasConceptScore W2148087029C2524010 @default.
- W2148087029 hasConceptScore W2148087029C2776937632 @default.
- W2148087029 hasConceptScore W2148087029C33923547 @default.
- W2148087029 hasConceptScore W2148087029C41008148 @default.
- W2148087029 hasConceptScore W2148087029C42935608 @default.
- W2148087029 hasConceptScore W2148087029C55439883 @default.
- W2148087029 hasConceptScore W2148087029C58013763 @default.
- W2148087029 hasConceptScore W2148087029C80444323 @default.
- W2148087029 hasConceptScore W2148087029C86803240 @default.
- W2148087029 hasConceptScore W2148087029C96324660 @default.
- W2148087029 hasLocation W21480870291 @default.
- W2148087029 hasLocation W21480870292 @default.
- W2148087029 hasOpenAccess W2148087029 @default.
- W2148087029 hasPrimaryLocation W21480870291 @default.
- W2148087029 hasRelatedWork W1512952371 @default.
- W2148087029 hasRelatedWork W1515169568 @default.
- W2148087029 hasRelatedWork W1555960401 @default.
- W2148087029 hasRelatedWork W1789702989 @default.
- W2148087029 hasRelatedWork W1861293286 @default.
- W2148087029 hasRelatedWork W2206711905 @default.
- W2148087029 hasRelatedWork W2759631754 @default.
- W2148087029 hasRelatedWork W2950961618 @default.
- W2148087029 hasRelatedWork W4245884879 @default.
- W2148087029 hasRelatedWork W898277466 @default.
- W2148087029 isParatext "false" @default.
- W2148087029 isRetracted "false" @default.
- W2148087029 magId "2148087029" @default.
- W2148087029 workType "article" @default.