Follow
Valentina Popescu
Valentina Popescu
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
CAMPARY: Cuda multiple precision arithmetic library and applications
M Joldes, JM Muller, V Popescu, W Tucker
International Congress on Mathematical Software, 232-240, 2016
492016
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
362015
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
272017
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
192017
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
172014
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
152018
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
132014
Towards fast and certified multiple-precision librairies
V Popescu
Université de Lyon, 2017
82017
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
82016
Formal verification of a floating-point expansion renormalization algorithm
S Boldo, M Joldes, JM Muller, V Popescu
International Conference on Interactive Theorem Proving, 98-113, 2017
72017
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
42016
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
The system can't perform the operation now. Try again later.
Articles 1–13