Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514091014> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1514091014 abstract "Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded systems, different parts are best described using different notations and analyze with different techniques, i.e., the system is said to be heterogeneous. We informally refer to the notation and the rules that are used to specify and verify the elements of heterogeneous systems and their collective behavior as a model of computation. In this paper, the use of conservative approximations(recently introduced by the authors) is reviewed to establish relationships between different models of computation in a design. After presenting the basic definitions, we propose three different models at different levels of abstraction for describing a system and the progression towards its implementation. Then, we derive associated conservative approximations starting from simple homomorphisms between sets of behaviors of the different models." @default.
- W1514091014 created "2016-06-24" @default.
- W1514091014 creator A5020920533 @default.
- W1514091014 creator A5082366880 @default.
- W1514091014 date "2008-01-01" @default.
- W1514091014 modified "2023-09-26" @default.
- W1514091014 title "Approximating Behaviors in Embedded System Design" @default.
- W1514091014 cites W1568478782 @default.
- W1514091014 cites W1574193488 @default.
- W1514091014 cites W1987073197 @default.
- W1514091014 cites W1993175210 @default.
- W1514091014 cites W2043100293 @default.
- W1514091014 cites W2115603783 @default.
- W1514091014 cites W2139310161 @default.
- W1514091014 cites W2141879820 @default.
- W1514091014 cites W2142091551 @default.
- W1514091014 cites W2150320481 @default.
- W1514091014 cites W2164198178 @default.
- W1514091014 cites W4205958241 @default.
- W1514091014 cites W4210671891 @default.
- W1514091014 cites W4250884204 @default.
- W1514091014 cites W4251067549 @default.
- W1514091014 doi "https://doi.org/10.1007/978-3-540-68679-8_44" @default.
- W1514091014 hasPublicationYear "2008" @default.
- W1514091014 type Work @default.
- W1514091014 sameAs 1514091014 @default.
- W1514091014 citedByCount "0" @default.
- W1514091014 crossrefType "book-chapter" @default.
- W1514091014 hasAuthorship W1514091014A5020920533 @default.
- W1514091014 hasAuthorship W1514091014A5082366880 @default.
- W1514091014 hasConcept C111472728 @default.
- W1514091014 hasConcept C118615104 @default.
- W1514091014 hasConcept C124304363 @default.
- W1514091014 hasConcept C138885662 @default.
- W1514091014 hasConcept C14036430 @default.
- W1514091014 hasConcept C151730666 @default.
- W1514091014 hasConcept C177264268 @default.
- W1514091014 hasConcept C199360897 @default.
- W1514091014 hasConcept C2779343474 @default.
- W1514091014 hasConcept C2780586882 @default.
- W1514091014 hasConcept C33923547 @default.
- W1514091014 hasConcept C4042151 @default.
- W1514091014 hasConcept C41008148 @default.
- W1514091014 hasConcept C45357846 @default.
- W1514091014 hasConcept C45374587 @default.
- W1514091014 hasConcept C78458016 @default.
- W1514091014 hasConcept C80444323 @default.
- W1514091014 hasConcept C86803240 @default.
- W1514091014 hasConcept C94375191 @default.
- W1514091014 hasConceptScore W1514091014C111472728 @default.
- W1514091014 hasConceptScore W1514091014C118615104 @default.
- W1514091014 hasConceptScore W1514091014C124304363 @default.
- W1514091014 hasConceptScore W1514091014C138885662 @default.
- W1514091014 hasConceptScore W1514091014C14036430 @default.
- W1514091014 hasConceptScore W1514091014C151730666 @default.
- W1514091014 hasConceptScore W1514091014C177264268 @default.
- W1514091014 hasConceptScore W1514091014C199360897 @default.
- W1514091014 hasConceptScore W1514091014C2779343474 @default.
- W1514091014 hasConceptScore W1514091014C2780586882 @default.
- W1514091014 hasConceptScore W1514091014C33923547 @default.
- W1514091014 hasConceptScore W1514091014C4042151 @default.
- W1514091014 hasConceptScore W1514091014C41008148 @default.
- W1514091014 hasConceptScore W1514091014C45357846 @default.
- W1514091014 hasConceptScore W1514091014C45374587 @default.
- W1514091014 hasConceptScore W1514091014C78458016 @default.
- W1514091014 hasConceptScore W1514091014C80444323 @default.
- W1514091014 hasConceptScore W1514091014C86803240 @default.
- W1514091014 hasConceptScore W1514091014C94375191 @default.
- W1514091014 hasLocation W15140910141 @default.
- W1514091014 hasOpenAccess W1514091014 @default.
- W1514091014 hasPrimaryLocation W15140910141 @default.
- W1514091014 hasRelatedWork W2003869899 @default.
- W1514091014 hasRelatedWork W2135024282 @default.
- W1514091014 hasRelatedWork W2361017481 @default.
- W1514091014 hasRelatedWork W2385729804 @default.
- W1514091014 hasRelatedWork W2386067591 @default.
- W1514091014 hasRelatedWork W2393478627 @default.
- W1514091014 hasRelatedWork W3000066767 @default.
- W1514091014 hasRelatedWork W4214924096 @default.
- W1514091014 hasRelatedWork W4246418678 @default.
- W1514091014 hasRelatedWork W4250644489 @default.
- W1514091014 isParatext "false" @default.
- W1514091014 isRetracted "false" @default.
- W1514091014 magId "1514091014" @default.
- W1514091014 workType "book-chapter" @default.