Mostrando 10 resultados de: 32
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(4)
Proceedings -Design, Automation and Test in Europe, DATE(3)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(2)
Proceedings of the 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, DSD 2006(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(8)
Métodos informáticos especiales(5)
Programación informática, programas, datos, seguridad(5)
Ingeniería y operaciones afines(3)
Área de conocimiento
Ciencias de la computación(17)
Simulación por computadora(11)
Ingeniería de software(5)
Red informática(5)
Arquitectura de computadoras(4)
Origen
scopus(32)
Buffer 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: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 synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops
Conference ObjectAbstract: Due to the abstract and simple computation and communication mechanism in the synchronous computatioPalabras claves:Design refinement, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.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:scopusApplication and verification of local nonsemantic-preserving transformations in system design
ArticleAbstract: Due to the increasing abstraction gap between the initial system model and a final implementation, tPalabras claves:Design refinement, Formal verification, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.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:scopusFeasibility analysis of messages for on-chip networks using wormhole routing
Conference ObjectAbstract: The feasibility of a message in a network concerns if its timing property can be satisfied without jPalabras claves:Autores:Ingo Sander, Jantsch A., Zhonghai L.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:scopusForSyDe: System design using a functional language and models of computation
Book PartAbstract: The ForSyDe methodology aims to push system design to a higher level of abstraction by combining thePalabras claves:Autores:Ingo Sander, Jantsch A., Niaki S.H.A.Fuentes:scopus