Mostrando 8 resultados de: 8
Filtros aplicados
Publisher
ACM International Conference Proceeding Series(1)
ACM Transactions on Design Automation of Electronic Systems(1)
ACM Transactions on Embedded Computing Systems(1)
Forum on Specification and Design Languages(1)
IEEE Access(1)
Área temáticas
Física aplicada(1)
Ingeniería y operaciones afines(1)
Instrumentos de precisión y otros dispositivos(1)
Métodos informáticos especiales(1)
Área de conocimiento
Simulación por computadora(4)
Ciencias de la computación(2)
Arquitectura de computadoras(1)
Modelo matemático(1)
Optimización matemática(1)
Origen
scopus(8)
Classification and Mapping of Model Elements for Designing Runtime Reconfigurable Systems
ArticleAbstract: Embedded systems are ubiquitous and control many critical functions in society. A fairly new type ofPalabras claves:domain ontology, Embedded Systems, mapping rules, models of computation (MoC), runtime reconfigurationAutores:Bonna R., Ingo Sander, Loubach D.S., Söderquist I., Ungureanu G.Fuentes:scopusBridging discrete and continuous time models with atoms
Conference ObjectAbstract: Recent trends in replacing traditionally digital components with analog counterparts in order to ovePalabras claves:Autores:Ingo Sander, Medeiros J.E.G.D., Ungureanu G.Fuentes:scopusA layered formal framework for modeling of cyber-physical systems
Conference ObjectAbstract: Designing cyber-physical systems is highly challenging due to its manifold interdependent aspects suPalabras claves:Autores:Ingo Sander, Ungureanu G.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:scopusExploring power and throughput for dataflow applications on pbkp_redictable NoC multiprocessors
Conference ObjectAbstract: System level optimization for multiple mixed-criticality applications on shared networked multiprocePalabras claves:constraint programming, Design space exploration, Mixed criticality system, Multiprocessor system on chip, Network on chip, System level design, Temporally disjoint networkAutores:Ingo Sander, Mohammadat T., Öberg J., Rosvall K., Ungureanu G.Fuentes:scopusForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers
ArticleAbstract: We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined design of comPalabras claves:cyber-physical systems, Design methodology, Modeling, models of computation, Simulation, Synthesis, system design language, ValidationAutores:Ahlander A., Ingo Sander, Medeiros J.E.G.D., Söderquist I., Sundstrom T., Ungureanu G.Fuentes:scopusModeling and simulation of dynamic applications using scenario-aware dataflow
ArticleAbstract: The tradeoff between analyzability and expressiveness is a key factor when choosing a suitable datafPalabras claves:Modeling, Scenario-aware dataflow (SADF), SimulationAutores:Bonna R., Ingo Sander, Loubach D.S., Ungureanu G.Fuentes:scopusThroughput propagation in constraint-based design space exploration for mixed-criticality systems
Conference ObjectAbstract: When designing complex mixed-critical systems on multiprocessor platforms, a huge number of design aPalabras claves:constraint programming, Correct-by-construction, Design space exploration, Performance AnalysisAutores:Ingo Sander, Khalilzad N., Rosvall K., Ungureanu G.Fuentes:scopus