Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

26 résultats
Page :
triés par
Image document

PasTiS: building an NVIDIA Pascal GPU simulator for embedded AI applications

 Michaël Adalbert , Thomas Carle , Christine Rochange
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
Communication dans un congrès hal-03684680v1
Image document

Warp-Level CFG Construction for GPU Kernel WCET Analysis

 Louison Jeanmougin , Thomas Carle , Pascal Sotin , Christine Rochange
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⟩
Communication dans un congrès hal-04171474v1
Image document

Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes

 Thomas Carle
Base de données [cs.DB]. Université Pierre et Marie Curie - Paris VI, 2014. Français. ⟨NNT : 2014PA066392⟩
Thèse tel-01088786v1
Image document

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

 Thomas Carle , Manel Djemal , Daniela Genius , François Pêcheux , Dumitru Potop-Butucaru , et al.
9th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC'2014), May 2014, Montpellier, France. pp.1-8, ⟨10.1109/ReCoSoC.2014.6861367⟩
Communication dans un congrès hal-01095116v1
Image document

Throughput Optimization by Software Pipelining of Conditional Reservation tables

 Thomas Carle , Dumitru Potop-Butucaru
[Research Report] RR-7606, INRIA. 2011
Rapport inria-00587319v2
Image document

Déterminer le WCET d'applications temps-réel en présence de latences d'exécution variables

 Zhenyu Bai , Hugues Cassé , Marianne de Michiel , Thomas Carle , Christine Rochange
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
Communication dans un congrès hal-03283696v1
Image document

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

 Alban Gruin , Thomas Carle , Christine Rochange , Hugues Cassé , Pascal Sainrat
IEEE Transactions on Computers, 2023, 72 (1), pp.183-195. ⟨10.1109/TC.2022.3200000⟩
Article dans une revue hal-03773263v1
Image document

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

 Thomas Carle , Dumitru Potop-Butucaru
ACM Transactions on Architecture and Code Optimization, 2014, 11, pp.1 - 26. ⟨10.1145/2579676⟩
Article dans une revue hal-01095123v1
Image document

Off-line mapping of real-time applications onto massively parallel processor arrays

 Thomas Carle , Manel Djemal , Dumitru Potop-Butucaru , Robert de Simone , Zhen Zhang
[Research Report] RR-8429, INRIA. 2013
Rapport hal-00919411v1
Image document

Static Extraction of Memory Access Profiles for Multi-core Interference Analysis of Real-Time Tasks

 Thomas Carle , Hugues Cassé
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⟩
Communication dans un congrès hal-03287067v1
Image document

Validation of Processor Timing Models Using Cycle-Accurate Timing Simulators

 Alban Gruin , Thomas Carle , Christine Rochange , Pascal Sainrat
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⟩
Communication dans un congrès hal-04171420v1
Image document

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

 Iryna De Albuquerque Silva , Thomas Carle , Adrien Gauffriau , Claire Pagetti
24th Euromicro Conference on Real-Time Systems (ECRTS 2022), Jun 2022, Modène, Italy. ⟨10.4230/DARTS.8.1.6⟩
Communication dans un congrès hal-03707284v1
Image document

Reducing timing interferences in real-time applications running on multicore architectures

 Thomas Carle , Hugues Cassé
18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018), Jul 2018, Barcelone, Spain. pp.1-11
Communication dans un congrès hal-02181900v1
Image document

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

 Thomas Carle , Dumitru Potop-Butucaru , Yves Sorel , David Lesens
Leibniz Transactions on Embedded Systems, 2015, ⟨10.4230/LITES-v002-i002-a001⟩
Article dans une revue hal-01263994v1
Image document

Static mapping of real-time applications onto massively parallel processor arrays

 Thomas Carle , Manel Djemal , Dumitru Potop-Butucaru , Robert de Simone
14th International Conference on Application of Concurrency to System Design, Jun 2014, Hammamet, Tunisia
Communication dans un congrès hal-01095130v1
Image document

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

 Zhenyu Bai , Hugues Cassé , Thomas Carle , Christine Rochange
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023, 42 (11), pp.3665-3678. ⟨10.1109/TCAD.2023.3258752⟩
Article dans une revue hal-04069420v1
Image document

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

 Raul Gorcitz , Emilien Kofman , Thomas Carle , Dumitru Potop-Butucaru , Robert de Simone
2015
Pré-publication, Document de travail hal-01179489v1
Image document

From dataflow specification to multiprocessor partitioned time-triggered real-time implementation

 Thomas Carle , Dumitru Potop-Butucaru , Yves Sorel , David Lesens
[Research Report] RR-8109, INRIA. 2012
Rapport hal-00742908v1
Image document

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

 Raul Gorcitz , Emilien Kofman , Thomas Carle , Dumitru Potop-Butucaru , Robert de Simone
13th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2015, Madrid, Spain. pp.16, ⟨10.1007/978-3-319-22975-1_8⟩
Communication dans un congrès hal-01250010v1
Image document

Correctness and Efficiency Criteria for the Multi-Phase Task Model

 Rémi Meunier , Thomas Carle , Thierry Monteil
34th Euromicro Conference on Real-Time Systems (ECRTS 2022), Jul 2022, Modena, Italy. pp.16326, ⟨10.4230/LIPIcs.ECRTS.2022.9⟩
Communication dans un congrès hal-03707271v1
Image document

Automatic implementation of TTEthernet-based time-triggered avionics applications

 Raul Adrian Gorcitz , Thomas Carle , David Lesens , David Monchaux , Dumitru Potop-Butucaru , et al.
DASIA 2015, Eurospace, May 2015, Barcelone, Spain
Communication dans un congrès hal-01264687v1
Image document

Thrifty-malloc : un gestionnaire dynamique de mémoire pour systèmes embarqués multicoeurs avec mémoire transactionnelle matérielle

 Thomas Carle , Dimitra Papagiannopoulou , Tali Moreshet , Andrea Marongiu , Maurice Herlihy , et al.
Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS 2017), Jun 2017, Sophia Antipolis, France. pp. 1-8
Communication dans un congrès hal-01912787v1
Image document

Improving the Performance of WCET Analysis in the Presence of Variable Latencies

 Zhenyu Bai , Hugues Cassé , Marianne de Michiel , Thomas Carle , Christine Rochange
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⟩
Communication dans un congrès hal-02777132v1
Image document

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

 Alban Gruin , Thomas Carle , Hugues Cassé , Christine Rochange
IEEE Real-Time Systems Symposium (RTSS 2021), Dec 2021, Dortmund, Germany. pp.393-404, ⟨10.1109/RTSS52674.2021.00043⟩
Communication dans un congrès hal-03477573v1

A Framework for Calculating WCET Based on Execution Decision Diagrams

 Zhenyu Bai , Hugues Cassé , Marianne de Michiel , Christine Rochange , Thomas Carle
ACM Transactions on Embedded Computing Systems (TECS), 2022, 21 (3), pp.3476879. ⟨10.1145/3476879⟩
Article dans une revue hal-03620216v1
Image document

Enabling timing predictability in the presence of store buffers

 Alban Gruin , Thomas Carle , Christine Rochange , Pascal Sainrat
31st International Conference on Real-Time Networks and Systems (RTNS 2023), Jun 2023, Dortmund, Germany. pp.1-10, ⟨10.1145/3575757.3593653⟩
Communication dans un congrès hal-04082519v1
Page :