HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

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