Author:Nasrine Damouche

Publications
TNC'18. Trusted Numerical Computations Matthieu Martel, Nasrine Damouche and Julien Alexandre Dit Sandretto (editors) Kalpa Publications in Computing, volume 8
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization Farah Benmouhoub, Nasrine Damouche and Matthieu Martel In:TNC'18. Trusted Numerical Computations
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel In:Automated Formal Methods