Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Conference Object(3)
Área temáticas
Ciencias de la computación(3)
Ingeniería y operaciones afines(1)
Otros productos finales y envases(1)
Origen
scopus(3)
Automatic generation of virtual prototypes from platform templates
Conference ObjectAbstract: Virtual Prototypes (VPs) provide an early development platform to embedded software designers when tPalabras claves:Analytical models, constraint programming, Design automation, Design Space Exploration (DSE), interoperability, Mixed-Criticality System (MCS), pbkp_redictable platforms, Real-time systems, Simulation, Transaction-Level Modeling (TLM), Virtual Prototype (VP)Autores:Ingo Sander, Mikulcak M., Niaki S.H.A.Fuentes:scopusFormal 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:scopusRapid virtual prototyping of real-time systems using pbkp_redictable platform characterizations
Conference ObjectAbstract: Virtual prototypes (VPs) provide an early development platform to embedded software designers when tPalabras claves:Automation, design-space exploration, pbkp_redictable platforms, Real-time systems, Simulation, Virtual prototypingAutores:Ingo Sander, Mikulcak M., Niaki S.H.A.Fuentes:scopus