Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(1)
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI(1)
Origen
scopus(2)
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: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