Listar GI-GAC - Artigos por autor "Pouchet, Louis-Noël"
Mostrando ítems 1-2 de 2
-
Optimizing Coherence Traffic in Manycore Processors Using Closed-Form Caching/Home Agent Mappings
Kommrusch, Steve; Horro, Marcos; Pouchet, Louis-Noël; Rodríguez, Gabriel; Touriño, Juan (Institute of Electrical and Electronics Engineers, 2021-02-09)[Abstract] Manycore processors feature a high number of general-purpose cores designed to work in a multithreaded fashion. Recent manycore processors are kept coherent using scalable distributed directories. A paramount ... -
Representing Integer Sequences Using Piecewise-Affine Loops
Rodríguez, Gabriel; Pouchet, Louis-Noël; Touriño, Juan (MDPI, 2021)[Abstract] A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target applications is not always available in an analyzable ...