Mostrando 10 resultados de: 15
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(2)
CODES+ISSS 2007: International Conference on Hardware/Software Codesign and System Synthesis(1)
Handbook of Hardware/Software Codesign(1)
IEE Proceedings: Computers and Digital Techniques(1)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(1)
Área temáticas
Ciencias de la computación(14)
Programación informática, programas, datos, seguridad(4)
Física aplicada(3)
Métodos informáticos especiales(3)
Ingeniería y operaciones afines(2)
Área de conocimiento
Ciencias de la computación(9)
Ingeniería de software(3)
Simulación por computadora(3)
Ingeniería de sistemas(2)
Red informática(2)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(15)
ODS 8: Trabajo decente y crecimiento económico(13)
ODS 4: Educación de calidad(2)
Origen
scopus(15)
HetMoC: Heterogeneous modelling in SystemC
Conference ObjectAbstract: We propose a novel heterogeneous model-of-computation (HetMoC) framework in SystemC for embedded comPalabras claves:Autores:Ingo Sander, Jantsch A., Zhu J.Fuentes:scopusFeasibility analysis of messages for on-chip networks using wormhole routing
Conference ObjectAbstract: The feasibility of a message in a network concerns if its timing property can be satisfied without jPalabras claves:Autores: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:scopusA 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:scopusApplication 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: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:scopusPolynomial abstraction for verification of sequentially implemented combinational circuits
Conference ObjectAbstract: Todays integrated circuits with increasing complexity cause the well known state space explosion proPalabras claves:Autores:Ingo Sander, Jantsch A., Raudvere T., Singh A.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:scopusSynchronization after design refinements with sensitive delay elements
Conference ObjectAbstract: The synchronous computational model with its simple computation and communication mechanism makes itPalabras claves:Design refinement, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.Fuentes:scopus