Thomas Carle

发表

A Framework for Calculating WCET Based on Execution Decision Diagrams

H. Cassé, Christine Rochange, Z. Bai, 2022, ACM Trans. Embed. Comput. Syst..

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact)

C. Pagetti, A. Gauffriau, Thomas Carle, 2022, Dagstuhl Artifacts Ser..

Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources

Christine Rochange, Z. Bai, Thomas Carle, 2022, ArXiv.

New Results - Correct and efficient implementation of polychronous formalisms

Robert de Simone, Thomas Carle, Yves Sorel, 2011 .

MINOTAuR: A Timing Predictable RISC-V Core Featuring Speculative Execution

H. Cassé, Christine Rochange, P. Sainrat, 2023, IEEE Transactions on Computers.

Speculative Execution and Timing Predictability in an Open Source RISC-V Core

H. Cassé, Christine Rochange, Thomas Carle, 2021, 2021 IEEE Real-Time Systems Symposium (RTSS).

Extending a predictable machine learning framework with efficient gemm-based convolution routines

C. Pagetti, A. Gauffriau, Thomas Carle, 2023, Real-Time Systems.

Predicate-aware, makespan-preserving software pipelining of scheduling tables

Thomas Carle, Dumitru Potop-Butucaru, D. Potop-Butucaru, 2014, TACO.

Throughput Optimization by Software Pipelining of Conditional Reservation Tables

Thomas Carle, Dumitru Potop-Butucaru, D. Potop-Butucaru, 2011 .

Distributed Real-Time Scheduling Optimization using Software Pipelining techniques

Thomas Carle, Jan Jonsson, Jan Jonsson, 2011 .

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation

Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, 2015, Leibniz Trans. Embed. Syst..