HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:floating-point arithmetic

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
Numerical validation in quadruple precision using stochastic arithmetic
Stef Graillat, Fabienne Jézéquel, Romain Picot, François Févotte and Bruno Lathuilière
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-2021 easychair.org. All rights reserved.