Mostrando 3 resultados de: 3
Filtros aplicados
Subtipo de publicación
Conference Object(3)
Área temáticas
Ciencias de la computación(3)
Física aplicada(1)
Ingeniería y operaciones afines(1)
Otros productos finales y envases(1)
Origen
scopus(3)
Combining analytical and simulation-based design space exploration for efficient time-critical and mixed-criticality systems
Conference ObjectAbstract: In the context of the design on time-critical systems, analytical models with worst case workloads aPalabras claves:Constraint-programming, Design Space Exploration (DSE), Embedded system design, Formally-based design, Joint Analytical and Simulation Based DSE, Mixed-Criticality System (MCS), Optimization techniques, Pbkp_redictable systems, Performance Estimation, Real time system design, Time critical systems, Time Division Multiplex (TDM) busAutores:Herrera F., Ingo SanderFuentes:scopusAutomatic 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:scopusSynthesizing Code for GPGPUs from abstract formal models
Conference ObjectAbstract: Today multiple frameworks exist for elevating the task of writing programs for GPGPUs, which are masPalabras claves:Autores:Hjort Blindell G., Ingo Sander, Menne C.Fuentes:scopus