Mostrando 10 resultados de: 36
Filtros aplicados
Publisher
Proceedings -Design, Automation and Test in Europe, DATE(3)
6th FPGAworld Conference, Academic Proceedings 2009(2)
Hardware/Software Codesign - Proceedings of the International Workshop(2)
Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017(2)
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC(2)
Área temáticas
Ciencias de la computación(31)
Física aplicada(13)
Métodos informáticos especiales(6)
Ingeniería y operaciones afines(4)
Programación informática, programas, datos, seguridad(3)
Área de conocimiento
Arquitectura de computadoras(7)
Ingeniería de software(4)
Sistema embebido(4)
Red informática(2)
Simulación por computadora(2)
Origen
scopus(36)
Automatic construction of models for analytic system-level design space exploration problems
Conference ObjectAbstract: Due to the variety of application models and also the target platforms used in embedded electronic sPalabras claves:Autores:Ingo Sander, Niaki S.H.A.Fuentes:scopusAn 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:scopusAn extensible modeling methodology for embedded and cyber-physical system design
ArticleAbstract: Models are important tools to manage the increasing complexity of system design. The choice of a modPalabras claves:cyber-physical systems, formal modeling, model introspection, models of computation, SystemCAutores:Ingo Sander, Niaki S.H.A.Fuentes:scopusA case study of hardware and software synthesis in ForSyDe
Conference ObjectAbstract: ForSyDe (FORmal System DEsign) is a methodology which addresses the design of SoC applications whichPalabras claves:Design methodology, Hardware synthesis, Software synthesis, System designAutores:Ingo Sander, Jantsch A., Zhonghai L.Fuentes:scopusA composable and pbkp_redictable MPSoC design flow for multiple real-time applications
Book PartAbstract: Design of real-time MPSoC systems including multiple applications is challenging because temporal rePalabras claves:Autores:Altinel E., Goossens K., Ingo Sander, Koedam M., Molnos A., Niaki S.H.A.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:scopusDevelopment and application of design transformations in ForSyDe
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specificaPalabras claves:Autores:Ingo Sander, Jantsch A., Zhonghai L.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:scopusCustomization of OpenCL applications for efficient task mapping under heterogeneous platform constraints
Conference ObjectAbstract: When targeting an OpenCL application to platforms with multiple heterogeneous accelerators, task tunPalabras claves:Autores:Ingo Sander, Palermo G., Paone E., Robino F., Silvano C., Zaccaria V.Fuentes:scopusCONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties
ArticleAbstract: The increasing processing power of today's HW/SW platforms leads to the integration of more and morePalabras claves:Autores:Azzoni P., Bocchio S., Brandolese C., Ceva L., Cusenza S., Favaro J., Fornaciari W., Gadioli D., Görgen R., Grüttner K., Herrera F., Ingo Sander, Khalilzad N., Macii E., Medina J., Palermo G., Peñil P., Poncino M., Quaglia D., Rosvall K., Schreiner S., Valencia R., Villar E., Vinco S., Vitali E., Zoni D.Fuentes:scopus