HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Numerical accuracy

Papers
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
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs
Nasrine Damouche and Matthieu Martel
In:Automated Formal Methods
Copyright © 2012-2023 easychair.org. All rights reserved.