Login / Signup
Olivia Proust
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Processing Units
Map Reduce
Parallel Computing
Multithreading
Top Venues
CoRR
SEFM
</>
Publications
</>
Olivia Proust
,
Frédéric Loulergue
Verified Scalable Parallel Computing with Why3.
CoRR
(2023)
Olivia Proust
,
Frédéric Loulergue
Verified Scalable Parallel Computing with Why3.
SEFM
(2023)