Notifying memories: A case-study on data-flow applications with NoC interfaces implementation

KJM Martin, M Rizk, MJ Sepulveda… - Proceedings of the 53rd …, 2016 - dl.acm.org
NoC-based architectures overcome the limitations of traditional buses by exploiting
parallelism and offer large bandwidths. NoC adoption also increases communication …

A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture

E Kofman, R de Simone - … on Formal Methods and Models for …, 2016 - ieeexplore.ieee.org
The search for optimal mapping of application (tasks) onto processor architecture
(resources) is always an acute issue, as new types of heterogeneous multicore architectures …

Low power application architecture adaptation using SMT solvers

É Kofman - 2017 - theses.hal.science
We describe the Symsched methodology and environment for AAA design (Application
Architecture Adequation). It allows to evaluate the energy/performance balance for a given …