Follow
Mioara Joldes
Mioara Joldes
Verified email at laas.fr - Homepage
Title
Cited by
Cited by
Year
Sollya: An environment for the development of numerical codes
S Chevillard, M Joldeş, C Lauter
Mathematical Software–ICMS 2010: Third International Congress on …, 2010
1422010
Fast and accurate computation of orbital collision probability for short-term encounters
R Serra, D Arzelier, M Joldes, JB Lasserre, A Rondepierre, B Salvy
Journal of Guidance, Control, and Dynamics 39 (5), 1009-1021, 2016
872016
Efficient and accurate computation of upper bounds of approximation errors
S Chevillard, J Harrison, M Joldeş, C Lauter
Theoretical Computer Science 412 (16), 1523-1543, 2011
802011
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
632016
Automatic generation of polynomial-based hardware architectures for function evaluation
F De Dinechin, M Joldes, B Pasca
ASAP 2010-21st IEEE International Conference on Application-specific Systems …, 2010
632010
Chebyshev interpolation polynomial-based tools for rigorous computing
N Brisebarre, M Joldeş
Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010
562010
Multiplicative square root algorithms for FPGAs
F De Dinechin, M Joldes, B Pasca, G Revy
2010 International Conference on Field Programmable Logic and Applications …, 2010
422010
Rigorous polynomial approximations and applications
MM Joldes
Ecole normale supérieure de lyon-ENS LYON, 2011
392011
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
382017
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
A Coq formal proof of the Lax-Milgram theorem
S Boldo, F Clément, F Faissole, V Martin, M Mayero
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
352017
Certified and fast computation of supremum norms of approximation errors
S Chevillard, M Joldes, C Lauter
2009 19th IEEE Symposium on Computer Arithmetic, 169-176, 2009
262009
Rigorous Polynomial Approximation Using Taylor Models in Coq
N Brisebarre, M Joldeş, É Martin-Dorel, M Mayero, JM Muller, I Paşca, ...
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012
252012
Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations
F Bréhard, N Brisebarre, M Joldeş
ACM Transactions on Mathematical Software (TOMS) 44 (4), 1-42, 2018
242018
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
232017
Model predictive control for rendezvous hovering phases based on a novel description of constrained trajectories
PRA Gilz, M Joldes, C Louembet, F Camps
IFAC-PapersOnLine 50 (1), 7229-7234, 2017
232017
Stable model predictive strategy for rendezvous hovering phases allowing for control saturation
PR Arantes Gilz, M Joldes, C Louembet, F Camps
Journal of Guidance, Control, and Dynamics 42 (8), 1658-1675, 2019
222019
Error analysis of some operations involved in the cooley-tukey fast fourier transform
N Brisebarre, M Joldeş, JM Muller, AM Naneş, J Picot
ACM Transactions on Mathematical Software (TOMS) 46 (2), 1-27, 2020
212020
Probabilistic collision avoidance for long-term space encounters via risk selection
R Serra, D Arzelier, M Joldes, A Rondepierre
Advances in Aerospace Guidance, Navigation and Control: Selected Papers of …, 2015
202015
Rigorous uniform approximation of D-finite functions using Chebyshev expansions
A Benoit, M Joldeş, M Mezzarobba
Mathematics of Computation 86 (305), 1303-1341, 2017
192017
The system can't perform the operation now. Try again later.
Articles 1–20