CAMPARY: Cuda multiple precision arithmetic library and applications M Joldes, JM Muller, V Popescu, W Tucker Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016 | 66 | 2016 |
Tight and rigorous error bounds for basic building blocks of double-word arithmetic M Joldes, JM Muller, V Popescu ACM Transactions on Mathematical Software (TOMS) 44 (2), 1-27, 2017 | 38 | 2017 |
Arithmetic algorithms for extended precision using floating-point expansions M Joldeş, O Marty, JM Muller, V Popescu IEEE Transactions on Computers 65 (4), 1197-1210, 2015 | 37 | 2015 |
Flexpoint: Predictive numerics for deep learning V Popescu, M Nassar, X Wang, E Tumer, T Webb 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH), 1-4, 2018 | 23 | 2018 |
Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming M Joldes, JM Muller, V Popescu 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH), 27-34, 2017 | 23 | 2017 |
Searching for sinks for the hénon map using a multipleprecision gpu arithmetic library M Joldes, V Popescu, W Tucker ACM SIGARCH Computer Architecture News 42 (4), 63-68, 2014 | 19 | 2014 |
On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration M Joldes, JM Muller, V Popescu 2014 IEEE 25th International Conference on Application-Specific Systems …, 2014 | 13 | 2014 |
Towards fast and certified multiple-precision librairies V Popescu Université de Lyon, 2017 | 10 | 2017 |
Formal verification of a floating-point expansion renormalization algorithm S Boldo, M Joldes, JM Muller, V Popescu Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 10 | 2017 |
A new multiplication algorithm for extended precision using floating-point expansions JM Muller, V Popescu, PTP Tang 2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH), 39-46, 2016 | 8 | 2016 |
Parallel floating-point expansions for extended-precision GPU computations C Collange, M Joldes, JM Muller, V Popescu 2016 IEEE 27th International Conference on Application-specific Systems …, 2016 | 4 | 2016 |
Decomposed floating point multiplication NN Garegrat, M Urbanski, M Rotzin, BJ Hickmann, V Popescu US Patent 11,169,776, 2021 | | 2021 |
A new multiplication algorithm for extended precision using floating-point expansions V Popescu, JM Muller, PTP Tang | | 2016 |
ARITH 2021 R Azarderakhsh, S Boldo, M Cornea, LS Didier, S Gonzalez-Navarro, ... | | |