Mostrando 5 resultados de: 5
Publisher
Handbook of Hardware/Software Codesign(1)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(1)
IPDPS 2009 - Proceedings of the 2009 IEEE International Parallel and Distributed Processing Symposium(1)
System-on-Chip: Next Generation Electronics(1)
Transactions on Embedded Computing Systems(1)
Área temáticas
Ciencias de la computación(4)
Métodos informáticos especiales(3)
Ingeniería y operaciones afines(2)
Instrumentos de precisión y otros dispositivos(1)
Origen
scopus(5)
Application 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: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:scopusModels of computation in the design process
Book PartAbstract: We have analysed the relation between some inherent properties of computational models and various dPalabras claves:Autores:Ingo Sander, Jantsch A.Fuentes:scopusPerformance analysis of reconfigurations in adaptive real-time streaming applications
Conference ObjectAbstract: We propose a performance analysis framework for adaptive real-time synchronous data flow streaming aPalabras claves:Performance Analysis, reconfiguration, Runtime reconfigurable FPGAs, Streaming applications, Synchronous data flowAutores:Ingo Sander, Jantsch A., Zhu J.Fuentes:scopus