Nathalie Revol

Orcid: 0000-0002-2503-2274

Affiliations:
  • École Normale Supérieure de Lyon, France


According to our database1, Nathalie Revol authored at least 34 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance.
Concurr. Comput. Pract. Exp., 2024

2023
Affine Iterations and Wrapping Effect: Various Approaches.
Acta Cybern., June, 2023

About the "accurate mode" of the IEEE 1788-2015 standard for interval arithmetic.
CoRR, 2023

2022
Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance.
Proceedings of the Parallel Processing and Applied Mathematics, 2022

2018
Handbook of Floating-Point Arithmetic (2nd Ed.).
Springer, ISBN: 978-3-319-76526-6, 2018

2017
Introduction to the Special Issue on Computer Arithmetic.
IEEE Trans. Computers, 2017

Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic.
Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2014
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms.
IEEE Trans. Computers, 2014

2013
Parallel Implementation of Interval Matrix Multiplication.
Reliab. Comput., 2013

2012
Editorial.
Computing, 2012

2011
Solving and Certifying the Solution of a Linear System.
Reliab. Comput., 2011

A Validated Real Function Calculus.
Math. Comput. Sci., 2011

Refining and verifying the solution of a linear system.
Proceedings of the SNC 2011, 2011

2010
LEMA: towards a language for reliable arithmetic.
ACM Commun. Comput. Algebra, 2010

Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries.
Proceedings of the Mathematical Software, 2010

High performance linear algebra using interval arithmetic.
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010


2008
Digital Arithmetic.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.
Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

2006
Preface.
Theor. Comput. Sci., 2006

06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

2005
A New Range-Reduction Algorithm.
IEEE Trans. Computers, 2005

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library.
Reliab. Comput., 2005

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.
J. Log. Algebraic Methods Program., 2005

2004
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic.
Numer. Algorithms, 2004

2003
Interval Newton Iteration in Multiple Precision for the Univariate Case.
Numer. Algorithms, 2003

Multiple Precision Interval Packages: Comparing Different Approaches.
Proceedings of the Numerical Software with Result Verification, 2003

2001
A Methodology of Parallelization for Continuous Verified Global Optimization.
Proceedings of the Parallel Processing and Applied Mathematics, 2001

2000
Accelerated Shift-and-Add Algorithms.
Reliab. Comput., 2000

1999
MC-PM<sup>2</sup>: Multi-Cluster Approach With PM<sup>2</sup>.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Multi-protocol Communications and High Speed Networks.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1996
Parallel Evaluation of Arithmetic Circuits.
Theor. Comput. Sci., 1996

1994
Complexite de l'evaluation parallele des circuits arithmetiques. (Complexity of the parallel evaluation of arithmetic circuits).
PhD thesis, 1994


  Loading...