Author:Matthieu Martel

Publications
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
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems Nacera Djehaf, Matthieu Martel and Mikaël Barboteu In:TNC'18. Trusted Numerical Computations
TNC'18. Trusted Numerical Computations Matthieu Martel, Nasrine Damouche and Julien Alexandre Dit Sandretto (editors) Kalpa Publications in Computing, volume 8
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel In:Automated Formal Methods

Keyphrases

Automatic transformation of programs, code synthesis, Convergence Acceleration, floating-point arithmetic², Gauss pivoting, High Performance Computing, ill-conditioning, linear systems, Mechanical problems, Numerical accuracy³, parallel programs, static analysis, Transformation of program.