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