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 of the ACM Great Lakes Symposium on VLSI, GLSVLSI(1)
Transactions on Embedded Computing Systems(1)
Área temáticas
Ciencias de la computación(4)
Programación informática, programas, datos, seguridad(3)
Física aplicada(1)
Instrumentos de precisión y otros dispositivos(1)
Área de conocimiento
Software(3)
Ingeniería de software(2)
Algoritmo(1)
Ciencias de la computación(1)
Simulación por computadora(1)
Origen
scopus(5)
A 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: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: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:scopusVerification of Design Decisions in ForSyDe
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specificaPalabras claves:Design refinement, System design, VerificationAutores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopus