Mostrando 8 resultados de: 8
Filtros aplicados
Subtipo de publicación
Conference Object(8)
Publisher
Hardware/Software Codesign - Proceedings of the International Workshop(2)
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD(1)
Proceedings - 2007 International Conference on Field Programmable Logic and Applications, FPL(1)
Proceedings - Design Automation Conference(1)
Proceedings - Design, Automation and Test in Europe Conference and Exhibition(1)
Área temáticas
Ciencias de la computación(8)
Actuaciones públicas(1)
Ingeniería y operaciones afines(1)
Métodos informáticos especiales(1)
Otras ramas de la ingeniería(1)
Área de conocimiento
Ciencias de la computación(6)
Simulación por computadora(3)
Arquitectura de computadoras(2)
Software(2)
Ingeniería de software(1)
Origen
scopus(8)
Development 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:scopusEnergy efficient streaming applications with guaranteed throughput on MPSoCs
Conference ObjectAbstract: In this paper we present a design space exploration flow to achieve energy efficiency for streamingPalabras claves:Energy efficiency, MPSoCs, Streaming applications, Synchronous MoCAutores:Ingo Sander, Jantsch A., Zhu J.Fuentes:scopusTransformation based communication and clock domain refinement for system design
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. In this paper we present formalPalabras claves:Design refinement, System design, System modelingAutores:Ingo Sander, Jantsch A.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: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:scopusSystem level verification of digital signal processing applications based on the polynomial abstraction technique
Conference ObjectAbstract: Polynomial abstraction has been developed for data abstraction of sequential circuits, where the funPalabras claves:Autores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopusThe ANDRES project: Analysis and design of run-time reconfigurable, heterogeneous systems
Conference ObjectAbstract: Today's heterogeneous embedded systems combine components from different domains, such as software,Palabras claves:Autores:Brame F., Damm M., Fouilliart A.M., Grimm C., Haase J., Hartmann P.A., Herrera F., Herrholz A., Ingo Sander, Jantsch A., Martinez M., Nebel W., Oppenheimer F., Schallenberg A., Villar E.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