Mostrando 10 resultados de: 10
Publisher
Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018(2)
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)
Área temáticas
Ciencias de la computación(8)
Física aplicada(3)
Sistemas(2)
Ingeniería y operaciones afines(1)
Instrumentos de precisión y otros dispositivos(1)
Área de conocimiento
Simulación por computadora(5)
Ciencias de la computación(2)
Modelo matemático(2)
Optimización matemática(2)
Arquitectura de computadoras(1)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(10)
ODS 17: Alianzas para lograr los objetivos(6)
ODS 4: Educación de calidad(5)
ODS 8: Trabajo decente y crecimiento económico(5)
ODS 12: Producción y consumo responsables(3)
Origen
scopus(10)
Exploiting 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 predictable 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: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: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:scopusClassification 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:scopusAn algebra for modeling continuous time systems
Conference ObjectAbstract: Advancements on analog integrated design have led to new possibilities for complex systems combiningPalabras claves:Autores:Ingo Sander, Medeiros J.E.G.D., 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