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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Scheduling algorithms to reduce the static energy consumption of real-time systems
V. Legout
,
M. Jan
,
Laurent Pautet
Journal articles
cea-01846864v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Reconfigurable Lattice Agreement and Applications
Petr Kuznetsov
,
Thibault Rieutord
,
Tucci-Piergiovanni Sara
OPODIS , Dec 2019, Neuchatel, Switzerland
Conference papers
hal-03022570v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems
V. Legout
,
M. Jan
,
Laurent Pautet
RTNS '13 Proceedings of the 21st International conference on Real-Time Networks and Systems , Oct 2013, Sophia Antipolis, France. pp.99-108,
⟨10.1145/2516821.2516839⟩
Conference papers
cea-01818894v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Handling criticality mode change in time-triggered systems through linear programming
M. Jan
,
L. Zaourar
,
V. Legout
,
Laurent Pautet
Ada User Journal , 2014, 35 (2), pp.133-137
Journal articles
cea-01844456v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement
Luciano Freitas de Souza
,
Petr Kuznetsov
,
Thibault Rieutord
,
Sara Tucci-Piergiovanni
Conference papers
hal-03559551v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Brief Announcement: On Decidability of 2-Process Affine Models
Petr Kuznetsov
,
Thibault Rieutord
DISC , Oct 2020, VIRTUAL, France
Conference papers
hal-03022583v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Reconfigurable Lattice Agreement and Applications
Petr Kuznetsov
,
Thibault Rieutord
,
Sara Tucci-Piergiovanni
[Research Report] Institut Polytechnique Paris; CEA List. 2019
Reports
cea-02321547v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems
Farouk Hebbache
Theses
tel-02494421v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient Context Switching for the Stack Cache
Sahar Abbaspour
,
Florian Brandner
,
Amine Naji
,
Mathieu Jan
Proceedings of the 23rd International Conference on Real Time and Networks Systems , Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10,
⟨10.1145/2834848.2834861⟩
Conference papers
hal-01246348v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Perfect failure detection with very few bits
Pierre Fraigniaud
,
Sergio Rajsbaum
,
Corentin Travers
,
Petr Kuznetsov
,
Thibault Rieutord
et al.
Journal articles
hal-03559548v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Affine Tasks for k-Test-and-Set
Petr Kuznetsov
,
Thibault Rieutord
2020
Preprints, Working Papers, ...
hal-01810601v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture
Benjamin Binder
,
Mihail Asavoae
,
Florian Brandner
,
Belgacem Ben Hedia
,
Mathieu Jan
et al.
Journal articles
hal-03702426v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Arbitration-Induced Preemption Delays
Farouk Hebbache
,
Florian Brandner
,
Mathieu Jan
,
Laurent Pautet
Conference papers
hal-02447339v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems
Mathieu Jan
,
Christophe Jouvray
,
Fabrice Kordon
,
Antonio Kung
,
Jimmy Lalande
et al.
Journal articles
istex
inria-00628310v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Work-conserving dynamic time-division multiplexing for multi-criticality systems
Farouk Hebbache
,
Florian Brandner
,
Mathieu Jan
,
Laurent Pautet
Journal articles
hal-02447512v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More