HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 arithmetic2, Gauss pivoting, High Performance Computing, ill-conditioning, Interpretation abstract, linear systems, Mechanical problems, Numerical accuracy3, Optimisation, parallel programs, Scalability, static analysis, Transformation of program.

Copyright © 2012-2025 easychair.org. All rights reserved.