Mostrando 8 resultados de: 8
Filtros aplicados
Subtipo de publicación
Conference Object(8)
Área temáticas
Ciencias de la computación(7)
Física aplicada(2)
Programación informática, programas, datos, seguridad(2)
Derecho privado(1)
Área de conocimiento
Simulación por computadora(4)
Software(3)
Simulación(2)
Sistema embebido(2)
Ciencias de la computación(1)
Origen
scopus(8)
An extensible infrastructure for modeling and time analysis of pbkp_redictable embedded systems
Conference ObjectAbstract: Efficient design of pbkp_redictable systems on top of multiprocessor-based architectures is challengPalabras claves:Design space exploration, Pbkp_redictable systems, Performance Estimation, SDF, TDMA, Time AnalysisAutores:Herrera F., Ingo SanderFuentes:scopusA modular design space exploration framework for multiprocessor real-time systems
Conference ObjectAbstract: Embedded system designers often face a large number of design alternatives when designing complex syPalabras claves:constraint programming, Design space exploration, Multiprocessors, Periodic Tasks, Real-time systems, Synchronous DataflowAutores:Ingo Sander, Khalilzad N., Rosvall K.Fuentes:scopusA multi-view and programming language agnostic framework for model-driven engineering
Conference ObjectAbstract: Model-driven engineering (MDE) addresses the complexity of modern-day embedded system design. MultipPalabras claves:collaborative tools, model-driven engineering, System modellingAutores:Bahrami F., Chen R., Ingo Sander, Jordao R.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:scopusExploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems
Conference ObjectAbstract: The shift towards parallel computing witnessed since the turn of this century has forced us to rethiPalabras claves:dataflow, discrete event systems, models of computation, parallel simulationAutores:Ingo Sander, Jordao R., Ungureanu G.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:scopusSemi-formal refinement of heterogeneous embedded systems by foreign model integration
Conference ObjectAbstract: There is a need for integration of external models in high-level system design flows. We introduce aPalabras claves:Autores:Ingo Sander, Niaki S.H.A.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