Gautier Berthou

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 5

Top Topics

Dynamic Constraints

Power Consumption

Computing Power

Top Venues

IEEE Trans. Computers

Publications

Gautier Berthou, Kevin Marquet, Tanguy Risset, Guillaume Salagnac
MPU-based incremental checkpointing for transiently-powered systems. DSD (2020)
Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset
Intermittent Computing with Peripherals, Formally Verified. LCTES (2020)
Gautier Berthou, Kevin Marquet, Tanguy Risset, Guillaume Salagnac
Accurate Power Consumption Evaluation for Peripherals in Ultra Low-Power embedded systems. GIoTS (2020)
Gautier Berthou, Tristan Delizy, Kevin Marquet, Tanguy Risset, Guillaume Salagnac
Sytare: A Lightweight Kernel for NVRAM-Based Transiently-Powered Systems. IEEE Trans. Computers 68 (9) (2019)
Gautier Berthou, Tristan Delizy, Kevin Marquet, Tanguy Risset, Guillaume Salagnac
Peripheral state persistence for transiently-powered systems. GIoTS (2017)