Nathalie Revol

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 9

Top Venues

CoRR

IEEE Trans. Computers

Acta Cybern.

NSV@CAV

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Luis Benet, Luca Ferranti, Nathalie Revol
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance. Concurr. Comput. Pract. Exp. 36 (1) (2024)
Nathalie Revol
Affine Iterations and Wrapping Effect: Various Approaches. Acta Cybern. 26 (1) (2023)
Nathalie Revol
About the "accurate mode" of the IEEE 1788-2015 standard for interval arithmetic. CoRR (2023)
Luis Benet, Luca Ferranti, Nathalie Revol
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance. CoRR (2023)
Nathalie Revol
Affine Iterations and Wrapping Effect: Various Approaches. CoRR (2022)
Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin
Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance. PPAM (2) (2022)
Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin
Testing interval arithmetic libraries, including their IEEE-1788 compliance. CoRR (2022)
Nathalie Revol
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. NSV@CAV (2017)
Javier Hormigo, Jean-Michel Muller, Stuart F. Oberman, Nathalie Revol, Arnaud Tisserand, Julio Villalba-Moreno
Introduction to the Special Issue on Computer Arithmetic. IEEE Trans. Computers 66 (12) (2017)
Nathalie Revol, Philippe Théveny
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. IEEE Trans. Computers 63 (8) (2014)
Nathalie Revol, Philippe Théveny
Parallel Implementation of Interval Matrix Multiplication. Reliab. Comput. 19 (1) (2013)
Nathalie Revol, Philippe Théveny
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. CoRR (2013)
Nathalie Revol, Götz Alefeld
Editorial. Computing 94 (2-4) (2012)
Hong Diep Nguyen, Nathalie Revol
Solving and Certifying the Solution of a Linear System. Reliab. Comput. 15 (2) (2011)
Pieter Collins, Milad Niqui, Nathalie Revol
A Validated Real Function Calculus. Math. Comput. Sci. 5 (4) (2011)
Hong Diep Nguyen, Nathalie Revol
Refining and verifying the solution of a linear system. SNC (2011)
Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
LEMA: towards a language for reliable arithmetic. ACM Commun. Comput. Algebra 44 (1/2) (2010)
Nathalie Revol
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries. ICMS (2010)
Hong Diep Nguyen, Nathalie Revol
High performance linear algebra using interval arithmetic. PASCO (2010)
R. Baker Kearfott, John D. Pryce, Nathalie Revol
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. Numerical Validation in Current Hardware Architectures (2008)
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Reliable Implementation of Real Number Algorithms (2006)
Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Reliable Implementation of Real Number Algorithms (2006)
Marc Daumas, Nathalie Revol
Preface. Theor. Comput. Sci. 351 (1) (2006)
Nathalie Revol, Fabrice Rouillier
Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. Reliab. Comput. 11 (4) (2005)
Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol
A New Range-Reduction Algorithm. IEEE Trans. Computers 54 (3) (2005)
Nathalie Revol, Kyoko Makino, Martin Berz
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. J. Log. Algebraic Methods Program. 64 (1) (2005)
David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numer. Algorithms 37 (1-4) (2004)
Nathalie Revol
Interval Newton Iteration in Multiple Precision for the Univariate Case. Numer. Algorithms 34 (2-4) (2003)
Markus Grimmer, Knut Petras, Nathalie Revol
Multiple Precision Interval Packages: Comparing Different Approaches. Numerical Software with Result Verification (2003)
Nathalie Revol, Yves Denneulin, Jean-François Méhaut, Benoît Planquelle
A Methodology of Parallelization for Continuous Verified Global Optimization. PPAM (2001)
Nathalie Revol, Jean-Claude Yakoubsohn
Accelerated Shift-and-Add Algorithms. Reliab. Comput. 6 (2) (2000)
Benoît Planquelle, Jean-François Méhaut, Nathalie Revol
Multi-protocol Communications and High Speed Networks. Euro-Par (1999)
Benoît Planquelle, Jean-François Méhaut, Nathalie Revol
. PDPTA (1999)
Nathalie Revol, Jean-Louis Roch
Parallel Evaluation of Arithmetic Circuits. Theor. Comput. Sci. 162 (1) (1996)

Nathalie Revol.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nathalie Revol