相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations
Michael Hopkins et al.
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES (2020)
A CLASS OF FAST AND ACCURATE SUMMATION ALGORITHMS
Pierre Blanchard et al.
SIAM JOURNAL ON SCIENTIFIC COMPUTING (2020)
SIMULATING LOW PRECISION FLOATING-POINT ARITHMETIC
Nicholas J. Higham et al.
SIAM JOURNAL ON SCIENTIFIC COMPUTING (2019)
Debugging and Optimization of HPC Programs with the Verrou Tool
Francois Fevotte et al.
PROCEEDINGS OF 2019 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS (CORRECTNESS 2019) (2019)
Loihi: A Neuromorphic Manycore Processor with On-Chip Learning
Mike Davies et al.
IEEE MICRO (2018)
On the Robustness of the 2Sum and Fast2Sum Algorithms
Sylvie Boldo et al.
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE (2017)
Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic
Christophe Denis et al.
2016 IEEE 23ND SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH) (2016)
CADNA:: a library for estimating round-off error propagation
Fabienne Jezequel et al.
COMPUTER PHYSICS COMMUNICATIONS (2008)
MPFR: A multiple-precision binary floating-point library with correct rounding
Laurent Fousse et al.
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE (2007)
Accurate sum and dot product
T Ogita et al.
SIAM JOURNAL ON SCIENTIFIC COMPUTING (2005)