Mostrando 10 resultados de: 29
Filtros aplicados
Publisher
Forum on Specification and Design Languages(4)
Proceedings -Design, Automation and Test in Europe, DATE(3)
ACM International Conference Proceeding Series(2)
Lecture Notes in Electrical Engineering(2)
Proceedings of the 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, DSD 2006(2)
Área temáticas
Ciencias de la computación(28)
Física aplicada(7)
Métodos informáticos especiales(2)
Ingeniería y operaciones afines(1)
Otras ramas de la ingeniería(1)
Área de conocimiento
Red informática(4)
Arquitectura de computadoras(2)
Ciencias de la computación(2)
Ingeniería de sistemas(2)
Procesamiento de señales(2)
Origen
scopus(29)
Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework
Conference ObjectAbstract: New design methodologies and modeling frameworks are required to provide a solution for integratingPalabras claves:Autores:Ingo Sander, Niaki S.H.A.Fuentes:scopusCombining 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:scopusAn automated parallel simulation flow for cyber-physical system design
ArticleAbstract: Parallel and distributed simulation (PDS) is often employed to tackle the computational intensity ofPalabras claves:constraint programming, cyber-physical systems, Graph partitioning, Parallel and distributed simulationAutores:Ahmadi M., Ingo Sander, Niaki S.H.A.Fuentes:scopusAn automated parallel simulation flow for heterogeneous embedded systems
Conference ObjectAbstract: Simulation of complex embedded and cyber-physical systems requires exploitation of the computation pPalabras claves:Autores:Ingo Sander, Niaki S.H.A.Fuentes:scopusAn efficient joint analytical and simulation-based design space exploration flow for pbkp_redictable multi-core systems
Conference ObjectAbstract: Recent work has proposed two-phase joint analytical and simulation-based design space exploration (JPalabras claves:Design space exploration, Electronic system-level design, Pbkp_redictable systemsAutores:Herrera F., Ingo Sander, Palermo G., Paone E., Rosvall K.Fuentes:scopusA constraint-based design space exploration framework for real-time applications on MPSoCs
Conference ObjectAbstract: Design space exploration (DSE) is a critical step in the design process of real-time multiprocessorPalabras claves:Autores:Ingo Sander, Rosvall K.Fuentes:scopusA formal, model-driven design flow for system simulation and multi-core implementation
Conference ObjectAbstract: With the growing complexity of Real-Time Embedded Systems (RTES), there is a huge interest in usingPalabras claves:Computational modeling, Embedded Systems, Engines, Libraries, process control, semantics, Unified modeling languageAutores:Champeau J., Diallo P.I., Ingo Sander, Niaki S.H.A., Öberg J., Robino F.Fuentes:scopusFormal design, co-simulation and validation of a radar signal processing system
Conference ObjectAbstract: With the ever increasing complexity in safety-critical and performance-demanding application domainsPalabras claves:Design methodology, Model checking, Radar, Simulation, Synthesis, system design languageAutores:Ahlander A., Ingo Sander, Söderquist I., Sundstrom T., Ungureanu G.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:scopus