Buscar
Mostrando ítems 1-2 de 2
Representing Integer Sequences Using Piecewise-Affine Loops
(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 ...
Optimizing Coherence Traffic in Manycore Processors Using Closed-Form Caching/Home Agent Mappings
(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 ...