Mostrando 10 resultados de: 11
Filtros aplicados
Publisher
Proceedings of the 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, DSD 2006(2)
Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005(1)
Electronic Notes in Theoretical Computer Science(1)
Hardware/Software Codesign - Proceedings of the International Workshop(1)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(1)
Área temáticas
Ciencias de la computación(11)
Física aplicada(3)
Métodos informáticos especiales(1)
Principios generales de matemáticas(1)
Área de conocimiento
Red informática(4)
Ciencias de la computación(2)
Software(2)
Arquitectura de computadoras(1)
Ingeniería de sistemas(1)
Origen
scopus(11)
Flexible bus and NoC performance analysis with configurable synthetic workloads
Conference ObjectAbstract: We present a flexible method for bus and network on chip performance analysis, which is based on thePalabras claves:BENCHMARK, Bus, Noc, Performance Analysis, Simulation, Synthetic workloadsAutores:Ingo Sander, Jantsch A., Thid R.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:scopusHetMoC: 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:scopusPareto efficient design for reconfigurable streaming applications on CPU/FPGAs
Conference ObjectAbstract: We present a Pareto efficient design method for multi-dimensional optimization of run-time reconfiguPalabras claves:Autores:Ingo Sander, Jantsch A., Zhu J.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:scopusTowards performance-oriented pattern-based refinement of synchronous models onto NoC communication
Conference ObjectAbstract: We present a performance-oriented refinement approach that refines a perfectly synchronous communicaPalabras claves:Autores:Ingo Sander, Jantsch A., Zhonghai L.Fuentes:scopusUsing synchronizers for refining synchronous communication onto hardware/software architectures
Conference ObjectAbstract: We have presented a formal set of synchronization components called synchronizers for refining synchPalabras claves:Autores:Ingo Sander, Jantsch A., Sicking J., Zhonghai L.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:scopusRefining synchronous communication onto network-on-chip best-effort services
Book PartAbstract: We present a novel approach to refine a system model specified with perfectly synchronous communicatPalabras claves:synchronous model; communication refinement; network-on-chipAutores:Ingo Sander, Jantsch A., Zhonghai L.Fuentes:scopusSystem Modeling and Transformational Design Refinement in ForSyDe
ArticleAbstract: The scope of the Formal System Design (ForSyDe) methodology is high-level modeling and refinement ofPalabras claves:Formal Methods, Hardware/software codesign, Modeling, System-on-a-chip (SoC)Autores:Ingo Sander, Jantsch A.Fuentes:scopus