Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

15 Results
Structure: Internal structure identifier : 554439
Image document

Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses

Vincent Legout , Mathieu Jan , Laurent Pautet
First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers hal-00922522v1
Image document

Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement

Luciano Freitas de Souza , Petr Kuznetsov , Thibault Rieutord , Sara Tucci-Piergiovanni
35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
Conference papers hal-03559551v1

Brief Announcement: On Decidability of 2-Process Affine Models

Petr Kuznetsov , Thibault Rieutord
DISC, Oct 2020, VIRTUAL, France
Conference papers hal-03022583v1
Image document

Réduction de la consommation statique des systèmes temps-réel multiprocesseurs

Vincent Legout , Mathieu Jan , Laurent Pautet
École d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
Conference papers hal-00922521v1

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Tucci-Piergiovanni Sara
OPODIS, Dec 2019, Neuchatel, Switzerland
Conference papers hal-03022570v1

Dynamic Arbitration of Memory Requests with TDM-like Guarantees

Farouk Hebbache , Mathieu Jan , Florian Brandner , Laurent Pautet
Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
Conference papers hal-02287739v1

Perfect failure detection with very few bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord
Information and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles hal-03559548v1
Image document

An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption

Vincent Legout , Mathieu Jan , Laurent Pautet
First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
Conference papers hal-00919169v1

The Role of Causality in a Formal Definition of Timing Anomalies

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers hal-03867187v1
Image document

Affine Tasks for k-Test-and-Set

Petr Kuznetsov , Thibault Rieutord
2020
Preprints, Working Papers, ... hal-01810601v2

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan
International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
Journal articles hal-03702426v1
Image document

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers hal-02447339v1

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
Conference papers hal-02447655v1

Work-conserving dynamic time-division multiplexing for multi-criticality systems

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
Real-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Journal articles hal-02447512v1

A Coq Framework for More Trustworthy DRAM Controllers

Felipe Lisboa Malaquias , Mihail Asavoae , Florian Brandner
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
Conference papers hal-03702493v1