Mioara Joldes

发表

Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem

Denis Arzelier, Romain Serra, Florent Bréhard, 2018 .

Automatic generation of polynomial-based hardware architectures for function evaluation

Florent de Dinechin, Bogdan Pasca, Mioara Joldes, 2010, ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors.

Rigorous derivation of Coppola's formula for the computation of the probability of collision between space objects

Denis Arzelier, Jean B. Lasserre, Florent Bréhard, 2020 .

Basic Properties and Algorithms

Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, 2010 .

Algorithms for the Basic Operations

Jean-Michel Muller, Florent de Dinechin, Claude-Pierre Jeannerod, 2018 .

Chebyshev interpolation polynomial-based tools for rigorous computing

Nicolas Brisebarre, Mioara Joldes, N. Brisebarre, 2010, ISSAC.

Rigorous uniform approximation of D-finite functions using Chebyshev expansions pdf

Alexandre Benoit, Mioara Joldes, Marc Mezzarobba, 2014, Math. Comput..

Model predictive control for rendezvous hovering phases based on a novel description of constrained trajectories

Christophe Louembet, Mioara Joldes, Frédéric Camps, 2017 .

Formal Verification of a Floating-Point Expansion Renormalization Algorithm

Jean-Michel Muller, Valentina Popescu, Sylvie Boldo, 2017, ITP.

Rigorous Polynomial Approximation Using Taylor Models in Coq

Nicolas Brisebarre, Mioara Joldes, Laurent Théry, 2012, NASA Formal Methods.

Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions

Jean-Michel Muller, Olivier Marty, Valentina Popescu, 2016, IEEE Transactions on Computers.

Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations

Nicolas Brisebarre, Florent Bréhard, Mioara Joldes, 2018, ACM Trans. Math. Softw..

Multiplicative Square Root Algorithms for FPGAs

Florent de Dinechin, Bogdan Pasca, Guillaume Revy, 2010, 2010 International Conference on Field Programmable Logic and Applications.

Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic

Jean-Michel Muller, Valentina Popescu, Mioara Joldes, 2017, ACM Trans. Math. Softw..

New Results - Validation and Automation

Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, 2011 .

Handbook of Floating-Point Arithmetic (2nd Ed.)

Jean-Michel Muller, Florent de Dinechin, Claude-Pierre Jeannerod, 2018 .

Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming

Jean-Michel Muller, Valentina Popescu, Mioara Joldes, 2017, 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH).

Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials

Denis Arzelier, Florent Bréhard, Mioara Joldes, 2019, 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH).

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications

Jean-Michel Muller, Valentina Popescu, Mioara Joldes, 2016, ICMS.

On Moment Problems with Holonomic Functions

Florent Bréhard, Mioara Joldes, J. B. Lasserre, 2019, ISSAC.

New Results - Efficient Floating-Point Arithmetic and Applications

Jean-Michel Muller, Nicolas Brisebarre, Claude-Pierre Jeannerod, 2011 .

Efficient and accurate computation of upper bounds of approximation errors

J. Harrison, Christoph Quirin Lauter, Mioara Joldes, 2011, Theor. Comput. Sci..

Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2)

Jean-Michel Muller, Nicolas Brisebarre, Peter Kornerup, 2011, 2011 IEEE 20th Symposium on Computer Arithmetic.

Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform

Jean-Michel Muller, Nicolas Brisebarre, Mioara Joldes, 2020, ACM Trans. Math. Softw..

Probabilistic Collision Avoidance for Long-term Space Encounters via Risk Selection

Aude Rondepierre, Denis Arzelier, Romain Serra, 2015 .

Parallel floating-point expansions for extended-precision GPU computations

Jean-Michel Muller, Sylvain Collange, Valentina Popescu, 2016, 2016 IEEE 27th International Conference on Application-specific Systems, Architectures and Processors (ASAP).

Efficient Floating-Point Implementation of the Probit Function on FPGAs

Mioara Joldes, Bogdan Pasca, 2020, 2020 IEEE 31st International Conference on Application-specific Systems, Architectures and Processors (ASAP).

Verifying Floating-Point Algorithms

Jean-Michel Muller, Florent de Dinechin, Claude-Pierre Jeannerod, 2018 .

On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration

Jean-Michel Muller, Valentina Popescu, Mioara Joldes, 2014, 2014 IEEE 25th International Conference on Application-Specific Systems, Architectures and Processors.

Stable Model Predictive Strategy for Rendezvous Hovering Phases Allowing for Control Saturation

Mioara Joldes, Christophe Louembet, Frederic Camps, 2019, Journal of Guidance, Control, and Dynamics.

Sollya: An Environment for the Development of Numerical Codes

Christoph Quirin Lauter, Mioara Joldes, Sylvain Chevillard, 2010, ICMS.

Software Implementation of Floating-Point Arithmetic

Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, 2010 .

Rigorous Polynomial Approximations and Applications. (Approximations polynomiales rigoureuses et applications)

Mioara Joldes, 2011 .

Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library

Valentina Popescu, Mioara Joldes, Warwick Tucker, 2014, CARN.

Global Probability of Collision: Problem modeling via occupation measures

Aude Rondepierre, Denis Arzelier, Jean B. Lasserre, 2019 .