Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

10 résultats
Image document

Operating system dedicated to NVRAM-based low power embedded systems

Gautier Berthou
Embedded Systems. Université de Lyon, 2021. English. ⟨NNT : 2021LYSEI021⟩
Thèse tel-03192646v2
Image document

Sytare: Persistence de l'état des périphériques pour les systèmes à alimentation intermittente

Gautier Berthou , Tristan Delizy , Kevin Marquet , Guillaume Salagnac , Tanguy Risset
Compas’2017 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia-Antipolis, France
Communication dans un congrès hal-01609303v1
Image document

Sytare: a Lightweight Kernel for NVRAM-Based Transiently-Powered Systems

Gautier Berthou , Tristan Delizy , Kevin Marquet , Tanguy Risset , Guillaume Salagnac
IEEE Transactions on Computers, 2019, 68 (9), pp.1390 - 1403. ⟨10.1109/TC.2018.2889080⟩
Article dans une revue hal-01954979v1
Image document

MPU-based incremental checkpointing for transiently-powered systems

Gautier Berthou , Kevin Marquet , Tanguy Risset , Guillaume Salagnac
DSD 2020 23rd Euromicro Conference on Digital System Design, Aug 2020, Kranj, France. pp.89-96, ⟨10.1109/DSD51259.2020.00025⟩
Communication dans un congrès hal-03116944v1
Image document

Accurate Power Consumption Evaluation for Peripherals in Ultra Low-Power embedded systems

Gautier Berthou , Kevin Marquet , Tanguy Risset , Guillaume Salagnac
GIoTS 2020 - International conference on Global Internet of Things Summit, Jun 2020, Dublin, Ireland. pp.89-96, ⟨10.1109/GIOTS49054.2020.9119593⟩
Communication dans un congrès hal-03116953v1
Image document

Intermittent Computing with Peripherals, Formally Verified

Gautier Berthou , Pierre-Evariste Dagand , Delphine Demange , Rémi Oudin , Tanguy Risset
LCTES '20 - 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2020, London / Virtual, United Kingdom. pp.85-96, ⟨10.1145/3372799.3394365⟩
Communication dans un congrès hal-02556878v1
Image document

Peripheral state persistence for transiently-powered systems

Gautier Berthou , Tristan Delizy , Kevin Marquet , Tanguy Risset , Guillaume Salagnac
IoENT 2017 - 1st Workshop on Internet of Energy Neutral Things, Jun 2017, Geneva, Switzerland. ⟨10.1109/GIOTS.2017.8016243⟩
Communication dans un congrès hal-01609277v1
Image document

Peripheral State Persistence For Transiently Powered Systems

Gautier Berthou , Tristan Delizy , Kevin Marquet , Tanguy Risset , Guillaume Salagnac
[Research Report] RR-9018, INRIA. 2017
Rapport hal-01460699v1
Image document

The INRIA ZEP project: NVRAM and Harvesting for Zero Power Computations

Gautier Berthou , Arnaud Carer , Kevin Marquet , Ivan Miro-Panades , Davide Pala , et al.
NVMW 2018 - 10th Annual Non-Volatile Memories Workshop, Mar 2018, San Diego, United States. pp.1
Poster de conférence hal-01941766v1
Image document

Peripheral State Persistence and Interrupt Management For Transiently Powered Systems

Gautier Berthou , Tristan Delizy , Kevin Marquet , Tanguy Risset , Guillaume Salagnac
NVMW 2018 - 9th Annual Non-Volatile Memories Workshop, Mar 2018, San Diego, United States. pp.1-2
Communication dans un congrès hal-01943919v1