Mostrando 10 resultados de: 17
Filtros aplicados
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(2)
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC(2)
Electronic Notes in Theoretical Computer Science(1)
Handbook of Hardware/Software Codesign(1)
IEE Proceedings: Computers and Digital Techniques(1)
Área temáticas
Ciencias de la computación(17)
Física aplicada(6)
Ingeniería y operaciones afines(3)
Programación informática, programas, datos, seguridad(3)
Actuaciones públicas(1)
Área de conocimiento
Ingeniería de software(4)
Arquitectura de computadoras(2)
Simulación por computadora(2)
Procesamiento de señales(1)
Proceso estocástico(1)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(17)
ODS 8: Trabajo decente y crecimiento económico(15)
ODS 17: Alianzas para lograr los objetivos(9)
ODS 12: Producción y consumo responsables(7)
ODS 4: Educación de calidad(3)
Origen
scopus(17)
Feasibility 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:scopusFormal system design based on the synchrony hypothesis, functional models, and skeletons
Conference ObjectAbstract: Formal approaches to HW and system design have not been generally adopted, because designers often vPalabras claves:Autores:Ingo Sander, Jantsch A.Fuentes:scopusConstrained global scheduling of streaming applications on MPSoCs
Conference ObjectAbstract: We present a global scheduling framework for synchronous data flow (SDF) streaming applications on MPalabras claves:Autores:Ingo Sander, Jantsch A., Zhu J.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 case study of hardware and software synthesis in ForSyDe
Conference ObjectAbstract: ForSyDe (FORmal System DEsign) is a methodology which addresses the design of SoC applications whichPalabras claves:Design methodology, Hardware synthesis, Software synthesis, System designAutores:Ingo Sander, Jantsch A., Zhonghai L.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:scopusModelling Adaptive Systems in ForSyDe
ArticleAbstract: Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivitPalabras claves:Adaptive systems, embedded systens, formal modelling of adaptivity, transformational designAutores:Ingo Sander, Jantsch A.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:scopus