Publications de Thomas CARLE
Rémi Meunier, Thomas Carle, Thierry Monteil
Multi-core interference over-estimation reduction by static scheduling of multi-phase tasks
Real-Time Systems, 2024, pp.1–39. ⟨10.1007/s11241-024-09427-3⟩
Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42 (11), pp.3665-3678. ⟨10.1109/TCAD.2023.3258752⟩
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
Extending a predictable machine learning framework with efficient gemm-based convolution routines
Real-Time Systems, 2023, 59 (3), pp.408-437. ⟨10.1007/s11241-023-09407-z⟩
Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat
MINOTAuR: a Timing Predictable RISC-V Core Featuring Speculative Execution
IEEE Transactions on Computers, 2023, 72 (1), pp.183-195. ⟨10.1109/TC.2022.3200000⟩
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Christine Rochange, Thomas Carle
A Framework for Calculating WCET Based on Execution Decision Diagrams
ACM Transactions on Embedded Computing Systems (TECS), 2022, 21 (3), pp.3476879. ⟨10.1145/3476879⟩
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang
Verifying HyperLTL properties in Event-B
10th International Conference on Rigorous State-Based Methods (ABZ 2024), Jun 2024, Bergame, Italy. pp.255-261, ⟨10.1007/978-3-031-63790-2_20⟩
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Victor Jegu, Claire Pagetti
A Predictable SIMD Library for GEMM Routines
30th Real-Time and Embedded Technology and Applications Symposium (RTAS 2024), IEEE, May 2024, Hong Kong, Hong Kong SAR China. pp.55-67, ⟨10.1109/RTAS61025.2024.00013⟩
Louison Jeanmougin, Thomas Carle, Pascal Sotin, Christine Rochange
Warp-Level CFG Construction for GPU Kernel WCET Analysis
21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.1:1–1:13, ⟨10.4230/OASIcs.WCET.2023.1⟩
Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators
21st International Workshop on Worst-Case Execution Time Analysis (WCET 2023), Jul 2023, Vienne, Austria. pp.2:1-2:12, ⟨10.4230/OASIcs.WCET.2023.2⟩
Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
Enabling timing predictability in the presence of store buffers
31st International Conference on Real-Time Networks and Systems (RTNS 2023), Jun 2023, Dortmund, Germany. pp.1-10, ⟨10.1145/3575757.3593653⟩
Rémi Meunier, Thomas Carle, Thierry Monteil
Correctness and Efficiency Criteria for the Multi-Phase Task Model
34th Euromicro Conference on Real-Time Systems (ECRTS 2022), Jul 2022, Modena, Italy. pp.16326, ⟨10.4230/LIPIcs.ECRTS.2022.9⟩
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems
24th Euromicro Conference on Real-Time Systems (ECRTS 2022), Jun 2022, Modène, Italy. ⟨10.4230/DARTS.8.1.6⟩
Michaël Adalbert, Thomas Carle, Christine Rochange
PasTiS: building an NVIDIA Pascal GPU simulator for embedded AI applications
11th European Congress on Embedded Real-Time Systems (ERTS 2022), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE : the French Society for Electricity, Electronics, and Information & Communication Technologies, Jun 2022, Toulouse, France
Alban Gruin, Thomas Carle, Hugues Cassé, Christine Rochange
Speculative Execution and Timing Predictability in an Open Source RISC-V Core
IEEE Real-Time Systems Symposium (RTSS 2021), Dec 2021, Dortmund, Germany. pp.393-404, ⟨10.1109/RTSS52674.2021.00043⟩
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Thomas Carle, Christine Rochange
Déterminer le WCET d’applications temps-réel en présence de latences d’exécution variables
Conférence francophone d’informatique en Parallélisme, Architecture et Système (COMPAS 2021), CC-IN2P3 – Centre de Calcul de l’IN2P3 (USR6402); LIP – Laboratoire de l’Informatique du Parallélisme (UMR5668), Jul 2021, Lyon (en virtuel), France
Static Extraction of Memory Access Profiles for Multi-core Interference Analysis of Real-Time Tasks
34th International Conference on Architecture of Computing Systems (ARCS 2021), Jun 2021, Online, Germany. pp.19-34, ⟨10.1007/978-3-030-81682-7_2⟩
Zhenyu Bai, Hugues Cassé, Marianne de Michiel, Thomas Carle, Christine Rochange
Improving the Performance of WCET Analysis in the Presence of Variable Latencies
21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Jun 2020, London, United Kingdom. pp.119-130, ⟨10.1145/3372799.3394371⟩
Reducing timing interferences in real-time applications running on multicore architectures
18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018), Jul 2018, Barcelone, Spain. pp.1-11
Thomas Carle, Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Maurice Herlihy, Iris Bahar
Thrifty-malloc : un gestionnaire dynamique de mémoire pour systèmes embarqués multicoeurs avec mémoire transactionnelle matérielle
Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS 2017), Jun 2017, Sophia Antipolis, France. pp. 1-8
Parallelism and timing predictability in real-time systems
Embedded Systems. Université Toulouse 3 Paul Sabatier, 2024