Követés
Nathanaël Sensfelder
Nathanaël Sensfelder
ONERA (Toulouse)
E-mail megerősítve itt: noot-noot.org - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Modeling Cache Coherence to Expose
N Sensfelder, J Brunel, C Pagetti
ECRTS 2019, 2019
202019
On how to identify cache coherence: Case of the NXP QorIQ T4240
N Sensfelder, J Brunel, C Pagetti
32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020
182020
A model-based certification approach for multi/many-core embedded systems
P Bieber, F Boniol, Y Bouchebaba, J Brunel, C Pagetti, O Poitou, ...
ERTS 2018, 2018
142018
Identification of multi-core interference
F Boniol, C Pagetti, N Sensfelder
2019 IEEE 19th International Symposium on High Assurance Systems Engineering …, 2019
82019
PHYLOG certification methodology: a sane way to embed multi-core processors
F Boniol, Y Bouchebaba, J Brunel, K Delmas, T Loquen, AM Gonzalez, ...
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), 2020
62020
PHYLOG: a model-based certification framework
F Boniol, Y Bouchebaba, J Brunel, K Delmas, C Pagetti, T Polacsek, ...
2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 1-9, 2018
42018
Inference of channel priorities for asynchronous communication
N Sensfelder, A Hurault, P Quéinnec
Distributed Computing and Artificial Intelligence, 14th International …, 2018
32018
Modeling cache coherence to expose interference (artifact)
N Sensfelder, J Brunel, C Pagetti
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2019
22019
A service-based modelling approach to ease the certification of multi-core COTS processors
F Boniol, Y Bouchebaba, J Brunel, K Delmas, C Pagetti, T Polacsek, ...
SAE AEROTECH® Europe, 2019
12019
Analyse et contrôle des interférences liées à la cohérence de cache dans les multi-coeurs COTS
N Sensfelder
Toulouse, ISAE, 2021
2021
Asynchronous Communication with Channel Priorities
N Sensfelder, A Hurault, P Quéinnec
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–11