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 …
We describe the Symsched methodology and environment for AAA design (Application Architecture Adequation). It allows to evaluate the energy/performance balance for a given …