Nathalie Revol

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance.

Luis Benet, Luca Ferranti, Nathalie Revol

Concurr. Comput. Pract. Exp., 2024

2023

Affine Iterations and Wrapping Effect: Various Approaches.

Nathalie Revol

Acta Cybern., June, 2023

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

Nathalie Revol

CoRR, 2023

2022

Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance.

Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin

Proceedings of the Parallel Processing and Applied Mathematics, 2022

2018

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

Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres

Springer, ISBN: 978-3-319-76526-6, 2018

2017

Introduction to the Special Issue on Computer Arithmetic.

Javier Hormigo, Jean-Michel Muller, Stuart F. Oberman, Nathalie Revol, Arnaud Tisserand, Julio Villalba-Moreno

IEEE Trans. Computers, 2017

Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic.

Nathalie Revol

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2014

Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms.

Nathalie Revol, Philippe Théveny

IEEE Trans. Computers, 2014

2013

Parallel Implementation of Interval Matrix Multiplication.

Nathalie Revol, Philippe Théveny

Reliab. Comput., 2013

2012

Editorial.

Nathalie Revol, Götz Alefeld

Computing, 2012

2011

Solving and Certifying the Solution of a Linear System.

Hong Diep Nguyen, Nathalie Revol

Reliab. Comput., 2011

A Validated Real Function Calculus.

Pieter Collins, Milad Niqui, Nathalie Revol

Math. Comput. Sci., 2011

Refining and verifying the solution of a linear system.

Hong Diep Nguyen, Nathalie Revol

Proceedings of the SNC 2011, 2011

2010

LEMA: towards a language for reliable arithmetic.

Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol

ACM Commun. Comput. Algebra, 2010

Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries.

Nathalie Revol

Proceedings of the Mathematical Software, 2010

High performance linear algebra using interval arithmetic.

Hong Diep Nguyen, Nathalie Revol

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Handbook of Floating-Point Arithmetic.

Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres

Birkhäuser, ISBN: 978-0-8176-4704-9, 2010

2008

Digital Arithmetic.

Florent de Dinechin, Milos D. Ercegovac, Jean-Michel Muller, Nathalie Revol

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.

R. Baker Kearfott, John D. Pryce, Nathalie Revol

Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

2006

Preface.

Marc Daumas, Nathalie Revol

Theor. Comput. Sci., 2006

06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice.

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol

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.

Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol

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

2005

A New Range-Reduction Algorithm.

Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol

IEEE Trans. Computers, 2005

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library.

Nathalie Revol, Fabrice Rouillier

Reliab. Comput., 2005

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.

Nathalie Revol, Kyoko Makino, Martin Berz

J. Log. Algebraic Methods Program., 2005

2004

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic.

David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann

Numer. Algorithms, 2004

2003

Interval Newton Iteration in Multiple Precision for the Univariate Case.

Nathalie Revol

Numer. Algorithms, 2003

Multiple Precision Interval Packages: Comparing Different Approaches.

Markus Grimmer, Knut Petras, Nathalie Revol

Proceedings of the Numerical Software with Result Verification, 2003

2001

A Methodology of Parallelization for Continuous Verified Global Optimization.

Nathalie Revol, Yves Denneulin, Jean-François Méhaut, Benoît Planquelle

Proceedings of the Parallel Processing and Applied Mathematics, 2001

2000

Accelerated Shift-and-Add Algorithms.

Nathalie Revol, Jean-Claude Yakoubsohn

Reliab. Comput., 2000

1999

MC-PM²: Multi-Cluster Approach With PM².

Benoît Planquelle, Jean-François Méhaut, Nathalie Revol

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Multi-protocol Communications and High Speed Networks.

Benoît Planquelle, Jean-François Méhaut, Nathalie Revol

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1996

Parallel Evaluation of Arithmetic Circuits.

Nathalie Revol, Jean-Louis Roch

Theor. Comput. Sci., 1996

1994

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

Nathalie Revol

PhD thesis, 1994