A memory interference analysis using a formal timing analyzer (WIP)-Reference-Cited by-同舟云学术

A memory interference analysis using a formal timing analyzer (WIP)

Published:2022-06-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
language:
Short-container-title:

Author:

Asavoae Mihail¹,Matoussi Oumaima¹,Bouachtala Asmae¹,Vu Hai-Dang¹,Jan Mathieu¹

Affiliation:

1. University of Paris-Saclay, France / CEA LIST, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3519941.3535077

Reference11 articles.

1. Clement Ballabriga , Cassé Hugues , and Rochange Christine . 2010 . OTAWA: An Open Toolbox for Adaptive WCET Analysis. In SEUS. Clement Ballabriga, Cassé Hugues, and Rochange Christine. 2010. OTAWA: An Open Toolbox for Adaptive WCET Analysis. In SEUS.

2. C. Courtaud , J. Sopena , G. Muller , and Pérez D . Gracia . 2019 . Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. In RTSS. C. Courtaud, J. Sopena, G. Muller, and Pérez D. Gracia. 2019. Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. In RTSS.

3. Sandeep Dasgupta , Daejun Park , Theodoros Kasampalis , Vikram S. Adve , and Grigore Rosu . 2019. A complete formal semantics of x86-64 user-level instruction set architecture . In PLDI, Kathryn S. McKinley and Kathleen Fisher (Eds.). ACM , 1133-1148. Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, and Grigore Rosu. 2019. A complete formal semantics of x86-64 user-level instruction set architecture. In PLDI, Kathryn S. McKinley and Kathleen Fisher (Eds.). ACM, 1133-1148.

4. Benoît Dupont de Dinechin . 2021. Engineering a Manycore Processor for Edge Computing . In MECO. IEEE , 1. Benoît Dupont de Dinechin. 2021. Engineering a Manycore Processor for Edge Computing. In MECO. IEEE, 1.

5. E. Díaz , E. Mezzetti , L. Kosmidis , J. Abella , and Francisco J. Cazorla. 201 8. Modelling Multicore Contention on the AURIXTM TC27x. In DAC. E. Díaz, E. Mezzetti, L. Kosmidis, J. Abella, and Francisco J. Cazorla. 2018. Modelling Multicore Contention on the AURIXTM TC27x. In DAC.