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 no. 10867
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

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-2023 easychair.org. All rights reserved.