Thomas Carle

发表

Distributed Real-Time Scheduling Optimization using Software Pipelining techniques

Thomas Carle, Jan Jonsson, Jan Jonsson, 2011 .

On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

Robert de Simone, Thomas Carle, Raul Gorcitz, 2015, FORMATS.

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

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

New Results - Real-time scheduling and code generation for time-triggered platforms

Yves Sorel, Thomas Carle, Raul Gorcitz, 2014 .

New Results - Off-line (static) mapping and WCET analysis of real-time applicationsonto NoC-based many-cores

Robert de Simone, Thomas Carle, Zhen Zhang, 2014 .

New Results - Correct and efficient implementation of polychronous formalisms

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

Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes. (Efficient compilation of embedded control specifications with complex functional and non-functional properties)

Thomas Carle, 2014 .

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

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

Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays

Robert de Simone, Zhen Zhang, Thomas Carle, 2014, 2014 14th International Conference on Application of Concurrency to System Design.

Reducing Timing Interferences in Real-Time Applications Running on Multicore Architectures

Thomas Carle, Hugues Cassé, 2018, WCET.

New Software and Platforms - Lopht

Thomas Carle, Dumitru Potop Butucaru, Manel Djemal, 2014 .

Thrifty-malloc: A HW/SW codesign for the dynamic management of hardware transactional memory in embedded multicore systems

Maurice Herlihy, Thomas Carle, Andrea Marongiu, 2016, 2016 International Conference on Compliers, Architectures, and Sythesis of Embedded Systems (CASES).

Reconciling performance and predictability on a many-core through off-line mapping

Robert de Simone, Zhen Zhang, Thomas Carle, 2014, 2014 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).

Automatic implementation of TTEthernet-based time-triggered avionics applications

Thomas Carle, Raul Gorcitz, Dumitru Potop-Butucaru, 2015 .

Throughput Optimization by Software Pipelining of Conditional Reservation Tables

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

Static extraction of memory access profiles for multi-core interference analysis of real-time tasks

Thomas Carle, Hugues Cass'e, 2021, ARCS.