2 citations · 2 across the 6 of their papers we have counts for
Showing cs.MSShow all
2 papers · 1 filter
cs.MS2020
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization
David Defour, Pablo de Oliveira Castro, Matei Istoan +1
The typical processors used for scientific computing have fixed-width data-paths. This implies that mathematical libraries were specifically developed to target each of these fixed…
cs.MS2015★ 2 cited
Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic
Christophe Denis, Pablo De Oliveira Castro, Eric Petit
Numerical accuracy of floating point computation is a well studied topic which has not made its way to the end-user in scientific computing. Yet, it has become a critical issue wit…