research
∙
03/22/2019
A WCET-aware cache coloring technique for reducing interference in real-time systems
The predictability of a system is the condition to give saferbound on wo...
share
research
∙
03/22/2019
A WCET-aware cache colouring technique for reducing interference in real-time systems
The predictability of a system is the condition to give saferbound on wo...
research
∙
11/20/2017
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra
In this paper we propose a novel methodology for static analysis of bina...
research
∙
09/27/2017