A memory interference analysis using a formal timing analyzer (WIP)
| Title: | A memory interference analysis using a formal timing analyzer (WIP) |
|---|---|
| Authors: | Asavoae, Mihail; Matoussi, Oumaima; Bouachtala, Asmae; Vu, Hai-Dang; Jan, Mathieu |
| Source: | Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. :146-150 |
| Availability: | http://dl.acm.org/doi/10.1145/3519941.3535077 |
| Database: | ACM Full-Text Collection |