Mostrando 10 resultados de: 17
Filtros aplicados
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(2)
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC(2)
Electronic Notes in Theoretical Computer Science(1)
Handbook of Hardware/Software Codesign(1)
IEE Proceedings: Computers and Digital Techniques(1)
Área temáticas
Ciencias de la computación(17)
Física aplicada(6)
Ingeniería y operaciones afines(3)
Programación informática, programas, datos, seguridad(3)
Actuaciones públicas(1)
Área de conocimiento
Ingeniería de software(4)
Arquitectura de computadoras(2)
Simulación por computadora(2)
Procesamiento de señales(1)
Proceso estocástico(1)
Origen
scopus(17)
A 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: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: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:scopusOn the roles of functions and objects in system specification
ArticleAbstract: We present an analysis of the benefits and drawbacks of function and object based models in system sPalabras claves:Autores:Ingo Sander, Jantsch A.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:scopusModels of computation and languages for embedded system design
Conference ObjectAbstract: Models of computation (MoC) are reviewed and organised with respect to the time abstraction they usePalabras claves:Autores:Ingo Sander, Jantsch A.Fuentes:scopus