Login / Signup
Nicolas Nardino
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Simulated Annealing
Scheduling Algorithm
Resource Allocation
Wafer Fabrication
Top Venues
CPP
</>
Publications
</>
Cyril Six
,
Léo Gourdin
,
Sylvain Boulmé
,
David Monniaux
,
Justus Fasse
,
Nicolas Nardino
Formally verified superblock scheduling.
CPP
(2022)