Nathalie Revol - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2024

A framework to test interval arithmetic libraries and their IEEE 1788-2015 complianceLuis Benet, Luca Ferranti, Nathalie Revol. concurrency, 36(1), 2024. [doi]

2023

Affine Iterations and Wrapping Effect: Various ApproachesNathalie Revol. actaC, 26(1):129-147, June 2023. [doi]

2022

Testing Interval Arithmetic Libraries, Including Their IEEE-1788 ComplianceNathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin. ppam 2023: 428-440 [doi]

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, 2018. [doi]

2017

Introduction to the Special Issue on Computer ArithmeticJavier Hormigo, Jean-Michel Muller, Stuart F. Oberman, Nathalie Revol, Arnaud Tisserand, Julio Villalba-Moreno. TC, 66(12):1991-1993, 2017. [doi]

Introduction to the IEEE 1788-2015 Standard for Interval ArithmeticNathalie Revol. cav 2017: 14-21 [doi]

2014

Numerical Reproducibility and Parallel Computations: Issues for Interval AlgorithmsNathalie Revol, Philippe Théveny. TC, 63(8):1915-1924, 2014. [doi]

2013

Parallel Implementation of Interval Matrix MultiplicationNathalie Revol, Philippe Théveny. rc, 19(1):91-106, 2013. [doi]

2012

EditorialNathalie Revol, Götz Alefeld. computing, 94(2-4):95, 2012. [doi]

2011

A Validated Real Function CalculusPieter Collins, Milad Niqui, Nathalie Revol. mics, 5(4):437-467, 2011. [doi]

Solving and Certifying the Solution of a Linear SystemHong Diep Nguyen, Nathalie Revol. rc, 15(2):120-131, 2011. [doi]

Refining and verifying the solution of a linear systemHong Diep Nguyen, Nathalie Revol. snc 2011: 165-167 [doi]

2010

2008

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021R. Baker Kearfott, John D. Pryce, Nathalie Revol. Dagstuhl 2009: 1-6 [doi]

2006

06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and PracticePeter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol. Dagstuhl 2006: [doi]

06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and PracticePeter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol. Dagstuhl 2006: [doi]

2005

A New Range-Reduction AlgorithmNicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol. TC, 54(3):331-339, 2005. [doi]

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSYNathalie Revol, Kyoko Makino, Martin Berz. jlp, 64(1):135-154, 2005. [doi]

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI LibraryNathalie Revol, Fabrice Rouillier. rc, 11(4):275-290, 2005. [doi]

2004

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point ArithmeticDavid Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann. na, 37(1-4):367-375, 2004. [doi]

2003

Multiple Precision Interval Packages: Comparing Different ApproachesMarkus Grimmer, Knut Petras, Nathalie Revol. Dagstuhl 2004: 64-90 [doi]

Interval Newton Iteration in Multiple Precision for the Univariate CaseNathalie Revol. na, 34(2-4):417-426, 2003. [doi]

2001

A Methodology of Parallelization for Continuous Verified Global OptimizationNathalie Revol, Yves Denneulin, Jean-François Méhaut, Benoît Planquelle. ppam 2002: 803-810 [doi]

2000

Accelerated Shift-and-Add AlgorithmsNathalie Revol, Jean-Claude Yakoubsohn. rc, 6(2):193-205, 2000. [doi]

1999

Multi-protocol Communications and High Speed NetworksBenoît Planquelle, Jean-François Méhaut, Nathalie Revol. europar 1999: 139-143 [doi]

MC-PM:::2:::: Multi-Cluster Approach With PM:::2:::Benoît Planquelle, Jean-François Méhaut, Nathalie Revol. pdpta 1999: 779-785

1996

Parallel Evaluation of Arithmetic CircuitsNathalie Revol, Jean-Louis Roch. TCS, 162(1):133-150, 1996. [doi]

1994

Complexite de l'evaluation parallele des circuits arithmetiques. (Complexity of the parallel evaluation of arithmetic circuits)Nathalie Revol. PhD thesis, Grenoble Institute of Technology, France, 1994. [doi]

Sign in or sign up to see more results.

runs on WebDSL