Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155117969> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2155117969 abstract "Typical embedded hardware/software systems are implemented using a combination of C and an hdl such as Verilog. While each is well-behaved in isolation, combining the two gives a nondeterministic model whose ultimate behavior must be validated through expensive (cycle-accurate) simulation.We propose an alternative for describing such systems. Our shim (software/hardware integration medium) model, effectively Kahn networks with rendezvous communication, provides deterministic concurrency. We present the Tiny-shim language for such systems and its semantics, demonstrate how to implement it in hardware and software, and discuss how it can be used to model a real-world system.By providing a powerful, deterministic formalism for expressing systems, designing systems and verifying their correctness will become easier." @default.
- W2155117969 created "2016-06-24" @default.
- W2155117969 creator A5055354961 @default.
- W2155117969 creator A5086114919 @default.
- W2155117969 date "2005-09-18" @default.
- W2155117969 modified "2023-10-17" @default.
- W2155117969 title "SHIM" @default.
- W2155117969 cites W1527796461 @default.
- W2155117969 cites W1804171093 @default.
- W2155117969 cites W1982205631 @default.
- W2155117969 cites W1995969393 @default.
- W2155117969 cites W1996109622 @default.
- W2155117969 cites W2031144446 @default.
- W2155117969 cites W2081938726 @default.
- W2155117969 cites W2091158003 @default.
- W2155117969 cites W2100500718 @default.
- W2155117969 cites W2119802281 @default.
- W2155117969 cites W2120431055 @default.
- W2155117969 cites W2121432005 @default.
- W2155117969 cites W2127335869 @default.
- W2155117969 cites W2141137698 @default.
- W2155117969 cites W2150408604 @default.
- W2155117969 cites W2503657378 @default.
- W2155117969 doi "https://doi.org/10.1145/1086228.1086277" @default.
- W2155117969 hasPublicationYear "2005" @default.
- W2155117969 type Work @default.
- W2155117969 sameAs 2155117969 @default.
- W2155117969 citedByCount "58" @default.
- W2155117969 countsByYear W21551179692012 @default.
- W2155117969 countsByYear W21551179692013 @default.
- W2155117969 countsByYear W21551179692014 @default.
- W2155117969 countsByYear W21551179692015 @default.
- W2155117969 countsByYear W21551179692016 @default.
- W2155117969 countsByYear W21551179692018 @default.
- W2155117969 countsByYear W21551179692020 @default.
- W2155117969 crossrefType "proceedings-article" @default.
- W2155117969 hasAuthorship W2155117969A5055354961 @default.
- W2155117969 hasAuthorship W2155117969A5086114919 @default.
- W2155117969 hasConcept C120314980 @default.
- W2155117969 hasConcept C126322002 @default.
- W2155117969 hasConcept C127413603 @default.
- W2155117969 hasConcept C146978453 @default.
- W2155117969 hasConcept C149091818 @default.
- W2155117969 hasConcept C149635348 @default.
- W2155117969 hasConcept C176181172 @default.
- W2155117969 hasConcept C193702766 @default.
- W2155117969 hasConcept C199360897 @default.
- W2155117969 hasConcept C2777904410 @default.
- W2155117969 hasConcept C2779030575 @default.
- W2155117969 hasConcept C2779929075 @default.
- W2155117969 hasConcept C2779968344 @default.
- W2155117969 hasConcept C2780493668 @default.
- W2155117969 hasConcept C29829512 @default.
- W2155117969 hasConcept C41008148 @default.
- W2155117969 hasConcept C42935608 @default.
- W2155117969 hasConcept C55439883 @default.
- W2155117969 hasConcept C71924100 @default.
- W2155117969 hasConcept C80444323 @default.
- W2155117969 hasConceptScore W2155117969C120314980 @default.
- W2155117969 hasConceptScore W2155117969C126322002 @default.
- W2155117969 hasConceptScore W2155117969C127413603 @default.
- W2155117969 hasConceptScore W2155117969C146978453 @default.
- W2155117969 hasConceptScore W2155117969C149091818 @default.
- W2155117969 hasConceptScore W2155117969C149635348 @default.
- W2155117969 hasConceptScore W2155117969C176181172 @default.
- W2155117969 hasConceptScore W2155117969C193702766 @default.
- W2155117969 hasConceptScore W2155117969C199360897 @default.
- W2155117969 hasConceptScore W2155117969C2777904410 @default.
- W2155117969 hasConceptScore W2155117969C2779030575 @default.
- W2155117969 hasConceptScore W2155117969C2779929075 @default.
- W2155117969 hasConceptScore W2155117969C2779968344 @default.
- W2155117969 hasConceptScore W2155117969C2780493668 @default.
- W2155117969 hasConceptScore W2155117969C29829512 @default.
- W2155117969 hasConceptScore W2155117969C41008148 @default.
- W2155117969 hasConceptScore W2155117969C42935608 @default.
- W2155117969 hasConceptScore W2155117969C55439883 @default.
- W2155117969 hasConceptScore W2155117969C71924100 @default.
- W2155117969 hasConceptScore W2155117969C80444323 @default.
- W2155117969 hasLocation W21551179691 @default.
- W2155117969 hasOpenAccess W2155117969 @default.
- W2155117969 hasPrimaryLocation W21551179691 @default.
- W2155117969 hasRelatedWork W1521353230 @default.
- W2155117969 hasRelatedWork W1548537923 @default.
- W2155117969 hasRelatedWork W163665164 @default.
- W2155117969 hasRelatedWork W1949439630 @default.
- W2155117969 hasRelatedWork W2155117969 @default.
- W2155117969 hasRelatedWork W2234667902 @default.
- W2155117969 hasRelatedWork W2899486387 @default.
- W2155117969 hasRelatedWork W4206956498 @default.
- W2155117969 hasRelatedWork W4241481410 @default.
- W2155117969 hasRelatedWork W4250955960 @default.
- W2155117969 isParatext "false" @default.
- W2155117969 isRetracted "false" @default.
- W2155117969 magId "2155117969" @default.
- W2155117969 workType "article" @default.