Romain Picot

According to our database1, Romain Picot authored at least 4 papers between 2015 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic.
J. Comput. Sci., 2019

2018
Amélioration de la fiabilité numérique de codes de calcul industriels. (Improved numerical reliability of industrial software).
PhD thesis, 2018

Numerical validation of compensated algorithms with stochastic arithmetic.
Appl. Math. Comput., 2018

2015
Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic.
Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015


  Loading...