Thomas Carle

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 19

Top Venues

WCET

CoRR

ECRTS

ACM Trans. Embed. Comput. Syst.

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Victor Jégu, Claire Pagetti
A Predictable SIMD Library for GEMM Routines. RTAS (2024)
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang
Verifying HyperLTL Properties in Event-B. ABZ (2024)
Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators. WCET (2023)
Alban Gruin, Thomas Carle, Christine Rochange, Hugues Cassé, Pascal Sainrat
MINOTAuR: A Timing Predictable RISC-V Core Featuring Speculative Execution. IEEE Trans. Computers 72 (1) (2023)
Louison Jeanmougin, Pascal Sotin, Christine Rochange, Thomas Carle
Warp-Level CFG Construction for GPU Kernel WCET Analysis. WCET (2023)
Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
Computing Execution Times With Execution Decision Diagrams in the Presence of Out-of-Order Resources. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
Extending a predictable machine learning framework with efficient gemm-based convolution routines. Real Time Syst. 59 (3) (2023)
Alban Gruin, Thomas Carle, Christine Rochange, Pascal Sainrat
Enabling timing predictability in the presence of store buffers. RTNS (2023)
Rémi Meunier, Thomas Carle, Thierry Monteil
Correctness and Efficiency Criteria for the Multi-Phase Task Model. ECRTS (2022)
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. ECRTS (2022)
Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
A Framework for Calculating WCET Based on Execution Decision Diagrams. ACM Trans. Embed. Comput. Syst. 21 (3) (2022)
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact). Dagstuhl Artifacts Ser. 8 (1) (2022)
Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources. CoRR (2022)
Thomas Carle, Hugues Cassé
Static extraction of memory access profiles for multi-core interference analysis of real-time tasks. CoRR (2021)
Alban Gruin, Thomas Carle, Hugues Cassé, Christine Rochange
Speculative Execution and Timing Predictability in an Open Source RISC-V Core. RTSS (2021)
Thomas Carle, Hugues Cassé
Static Extraction of Memory Access Profiles for Multi-core Interference Analysis of Real-Time Tasks. ARCS (2021)
Zhenyu Bai, Hugues Cassé, Marianne De Michiel, Thomas Carle, Christine Rochange
Improving the Performance of WCET Analysis in the Presence of Variable Latencies. LCTES (2020)
Thomas Carle, Hugues Cassé
Reducing Timing Interferences in Real-Time Applications Running on Multicore Architectures. WCET (2018)
Thomas Carle, Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Maurice Herlihy, R. Iris Bahar
Thrifty-malloc: A HW/SW codesign for the dynamic management of hardware transactional memory in embedded multicore systems. CASES (2016)
Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. FORMATS (2015)
Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation. Leibniz Trans. Embed. Syst. 2 (2) (2015)
Thomas Carle, Manel Djemal, Daniela Genius, François Pêcheux, Dumitru Potop-Butucaru, Robert de Simone, Franck Wajsbürt, Zhen Zhang
Reconciling performance and predictability on a many-core through off-line mapping. ReCoSoC (2014)
Thomas Carle, Dumitru Potop-Butucaru
Predicate-aware, makespan-preserving software pipelining of scheduling tables. ACM Trans. Archit. Code Optim. 11 (1) (2014)
Thomas Carle, Manel Djemal, Dumitru Potop-Butucaru, Robert de Simone, Zhen Zhang
Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays. ACSD (2014)

Thomas Carle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Carle