Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Conference Object(3)
Publisher
Forum on Specification and Design Languages(2)
Proceedings - SBCCI 2012: 25th Symposium on Integrated Circuits and Systems Design(1)
Origen
scopus(3)
Formal heterogeneous system modeling with SystemC
Conference ObjectAbstract: Electronic System Level (ESL) design of embedded systems proposes raising the abstraction level of tPalabras claves:Computer aided engineering, Formal specifications, Modeling, Simulation, System-level designAutores:Ingo Sander, Jakobsen M.K., Niaki S.H.A., Sulonen T.Fuentes:scopusHeterogeneous system-level modeling for small and medium enterprises
Conference ObjectAbstract: The design of today's electronic embedded systems is an increasingly complicated task. This is especPalabras claves:Autores:Andersen N., Beserra G.S., Ingo Sander, Niaki S.H.A., Verdon M.Fuentes:scopusIntegrating virtual platforms into a heterogeneous MoC-based modeling framework
Conference ObjectAbstract: In order to handle the increasing complexity of embedded systems, design methodologies must take intPalabras claves:Autores:Beserra G.S., Ingo Sander, Niaki S.H.A.Fuentes:scopus