Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556078275> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1556078275 endingPage "470" @default.
- W1556078275 startingPage "467" @default.
- W1556078275 abstract "SystemC is a system-level modeling language and offers support for concurrency and arbitrary-width bit-vector arithmetic. The existing static analyzers for SystemC consider only small fragments of the language. We present Scoot, a model extractor for SystemC based on a C++ frontend. The models generated by Scoot can serve multiple purposes, ranging from verification and simulation to synthesis. Exemplarily, we report results indicating that our tool can be used to improve the performance of dynamic execution up to a factor of five." @default.
- W1556078275 created "2016-06-24" @default.
- W1556078275 creator A5004994088 @default.
- W1556078275 creator A5075152083 @default.
- W1556078275 creator A5077994094 @default.
- W1556078275 date "2008-04-02" @default.
- W1556078275 modified "2023-10-18" @default.
- W1556078275 title "Scoot: A Tool for the Analysis of SystemC Models" @default.
- W1556078275 cites W1562679818 @default.
- W1556078275 cites W2128453996 @default.
- W1556078275 cites W2136694316 @default.
- W1556078275 doi "https://doi.org/10.1007/978-3-540-78800-3_36" @default.
- W1556078275 hasPublicationYear "2008" @default.
- W1556078275 type Work @default.
- W1556078275 sameAs 1556078275 @default.
- W1556078275 citedByCount "35" @default.
- W1556078275 countsByYear W15560782752012 @default.
- W1556078275 countsByYear W15560782752013 @default.
- W1556078275 countsByYear W15560782752014 @default.
- W1556078275 countsByYear W15560782752015 @default.
- W1556078275 countsByYear W15560782752016 @default.
- W1556078275 countsByYear W15560782752017 @default.
- W1556078275 countsByYear W15560782752018 @default.
- W1556078275 countsByYear W15560782752020 @default.
- W1556078275 countsByYear W15560782752021 @default.
- W1556078275 countsByYear W15560782752022 @default.
- W1556078275 crossrefType "book-chapter" @default.
- W1556078275 hasAuthorship W1556078275A5004994088 @default.
- W1556078275 hasAuthorship W1556078275A5075152083 @default.
- W1556078275 hasAuthorship W1556078275A5077994094 @default.
- W1556078275 hasBestOaLocation W15560782751 @default.
- W1556078275 hasConcept C118524514 @default.
- W1556078275 hasConcept C149635348 @default.
- W1556078275 hasConcept C169571997 @default.
- W1556078275 hasConcept C173608175 @default.
- W1556078275 hasConcept C193702766 @default.
- W1556078275 hasConcept C199360897 @default.
- W1556078275 hasConcept C2776928060 @default.
- W1556078275 hasConcept C41008148 @default.
- W1556078275 hasConceptScore W1556078275C118524514 @default.
- W1556078275 hasConceptScore W1556078275C149635348 @default.
- W1556078275 hasConceptScore W1556078275C169571997 @default.
- W1556078275 hasConceptScore W1556078275C173608175 @default.
- W1556078275 hasConceptScore W1556078275C193702766 @default.
- W1556078275 hasConceptScore W1556078275C199360897 @default.
- W1556078275 hasConceptScore W1556078275C2776928060 @default.
- W1556078275 hasConceptScore W1556078275C41008148 @default.
- W1556078275 hasLocation W15560782751 @default.
- W1556078275 hasLocation W15560782752 @default.
- W1556078275 hasOpenAccess W1556078275 @default.
- W1556078275 hasPrimaryLocation W15560782751 @default.
- W1556078275 hasRelatedWork W2078968715 @default.
- W1556078275 hasRelatedWork W2106165004 @default.
- W1556078275 hasRelatedWork W2112223413 @default.
- W1556078275 hasRelatedWork W2140718529 @default.
- W1556078275 hasRelatedWork W2170029576 @default.
- W1556078275 hasRelatedWork W2183112820 @default.
- W1556078275 hasRelatedWork W2359630088 @default.
- W1556078275 hasRelatedWork W2395577032 @default.
- W1556078275 hasRelatedWork W2950676693 @default.
- W1556078275 hasRelatedWork W4304144385 @default.
- W1556078275 isParatext "false" @default.
- W1556078275 isRetracted "false" @default.
- W1556078275 magId "1556078275" @default.
- W1556078275 workType "book-chapter" @default.