Mostrando 10 resultados de: 14
Publisher
Proceedings -Design, Automation and Test in Europe, DATE(2)
Proceedings of the 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, DSD 2006(2)
Electronic Notes in Theoretical Computer Science(1)
Hardware/Software Codesign - Proceedings of the International Workshop(1)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(1)
Área temáticas
Ciencias de la computación(14)
Física aplicada(4)
Escuelas y sus actividades; educación especial(1)
Ingeniería y operaciones afines(1)
Métodos informáticos especiales(1)
Área de conocimiento
Ciencias de la computación(7)
Simulación por computadora(6)
Arquitectura de computadoras(4)
Red informática(2)
Software(2)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(14)
ODS 8: Trabajo decente y crecimiento económico(13)
ODS 7: Energía asequible y no contaminante(1)
Origen
scopus(14)
High-level estimation and trade-off analysis for adaptive real-time systems
Conference ObjectAbstract: We propose a novel design estimation method for adaptive streaming applications to be implemented onPalabras claves:Autores:Hartmann P.A., Herrholz A., Ingo Sander, Jantsch A., Nebel W., Zhu J.Fuentes:scopusEnergy efficient streaming applications with guaranteed throughput on MPSoCs
Conference ObjectAbstract: In this paper we present a design space exploration flow to achieve energy efficiency for streamingPalabras claves:Energy efficiency, MPSoCs, Streaming applications, Synchronous MoCAutores:Ingo Sander, Jantsch A., Zhu J.Fuentes:scopusFormal system design based on the synchrony hypothesis, functional models, and skeletons
Conference ObjectAbstract: Formal approaches to HW and system design have not been generally adopted, because designers often vPalabras claves:Autores:Ingo Sander, Jantsch A.Fuentes:scopusBuffer minimization of real-time streaming applications scheduling on hybrid CPU/FPGA architectures
Conference ObjectAbstract: We address the problem of real-time streaming applications scheduling on hybrid CPU/FPGA architecturPalabras claves:Autores:Ingo Sander, Jantsch A., Zhu J.Fuentes:scopusConstrained global scheduling of streaming applications on MPSoCs
Conference ObjectAbstract: We present a global scheduling framework for synchronous data flow (SDF) streaming applications on MPalabras claves:Autores:Ingo Sander, Jantsch A., Zhu J.Fuentes:scopusFlexible bus and NoC performance analysis with configurable synthetic workloads
Conference ObjectAbstract: We present a flexible method for bus and network on chip performance analysis, which is based on thePalabras claves:BENCHMARK, Bus, Noc, Performance Analysis, Simulation, Synthetic workloadsAutores:Ingo Sander, Jantsch A., Thid R.Fuentes:scopusModelling Adaptive Systems in ForSyDe
ArticleAbstract: Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivitPalabras claves:Adaptive systems, embedded systens, formal modelling of adaptivity, transformational designAutores:Ingo Sander, Jantsch A.Fuentes:scopusThe ANDRES project: Analysis and design of run-time reconfigurable, heterogeneous systems
Conference ObjectAbstract: Today's heterogeneous embedded systems combine components from different domains, such as software,Palabras claves:Autores:Brame F., Damm M., Fouilliart A.M., Grimm C., Haase J., Hartmann P.A., Herrera F., Herrholz A., Ingo Sander, Jantsch A., Martinez M., Nebel W., Oppenheimer F., Schallenberg A., Villar E.Fuentes:scopusThe usage of stochastic processes in embedded system specifications
Conference ObjectAbstract: We review the use of nondeterminism and identify two different purposes. The descriptive purpose hanPalabras claves:Autores:Ingo Sander, Jantsch A., Wu W.Fuentes:scopusSystem Modeling and Transformational Design Refinement in ForSyDe
ArticleAbstract: The scope of the Formal System Design (ForSyDe) methodology is high-level modeling and refinement ofPalabras claves:Formal Methods, Hardware/software codesign, Modeling, System-on-a-chip (SoC)Autores:Ingo Sander, Jantsch A.Fuentes:scopus