Publications

Publications HAL de bruno, gaujal; stephan, plassart; pascal, fradet; alain, girault; gregor goessler; xiaojie, guo; maxime, lesourd; xavier, nicollin; sophie, quinton; jean-bernard, stefani; susanne, graf; jean-françois, monin du projet ANR. ANR-11-LABX-0025-01/11-LABX-0025-01

2017

Conference papers

titre
Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets
auteur
Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin
article
RTSS 2017 – IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. IEEE, pp.1-3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01629288/file/offset_WiP.pdf BibTex

Reports

titre
Dynamic Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks
auteur
Bruno Gaujal, Alain Girault, Stéphan Plassart
article
[Research Report] RR-9101, UGA – Université Grenoble Alpes; Inria Grenoble Rhône-Alpes; Université de Grenoble. 2017, pp.1-35
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01615835/file/RR-9101.pdf BibTex

Comments are closed