Author:Matthieu Martel

Publications
Scaling-up the Analysis of Neural Networks by Affine Forms: a Block-Wise Noising Approach Asma Soualah, Matthieu Martel and Stéphane Abide EasyChair Preprint 10867
TNC'18. Trusted Numerical Computations Matthieu Martel, Nasrine Damouche and Julien Alexandre Dit Sandretto (editors) Kalpa Publications in Computing, volume 8
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
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

Keyphrases

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