Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
Handbook of Hardware/Software Codesign(1)
Hardware/Software Codesign - Proceedings of the International Workshop(1)
IPDPS 2009 - Proceedings of the 2009 IEEE International Parallel and Distributed Processing Symposium(1)
Proceedings -Design, Automation and Test in Europe, DATE(1)
Proceedings of the International Symposium on System Synthesis(1)
Área temáticas
Ciencias de la computación(5)
Métodos informáticos especiales(2)
Programación informática, programas, datos, seguridad(2)
Actuaciones públicas(1)
Física aplicada(1)
Origen
scopus(5)
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: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:scopusHigh-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: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:scopus