Keryan Didier

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Classification Models

Vlsi Implementation

Hardware And Software

Top Venues

ACM Trans. Archit. Code Optim.

INRIA, Paris, France (PHD)

Education History

INRIA, Paris, France

PHD

Publications

Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. ACM Trans. Archit. Code Optim. 16 (3) (2019)
Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. ACSD (2019)