Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(1)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(1)
System-on-Chip: Next Generation Electronics(1)
Área temáticas
Ciencias de la computación(3)
Programación informática, programas, datos, seguridad(2)
Física aplicada(1)
Origen
scopus(3)
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: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:scopusThe usage of stochastic processes in embedded system specifications
Conference ObjectAbstract: We review the use of nondeterminism and identify two different purposes. The descriptive purpose hanPalabras claves:Autores:Ingo Sander, Jantsch A., Wu W.Fuentes:scopus