default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNathalie Revol
Person information
- affiliation: École Normale Supérieure de Lyon, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j17]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)- 2023
- [j16]Nathalie Revol
:
Affine Iterations and Wrapping Effect: Various Approaches. Acta Cybern. 26(1): 129-147 (2023) - [i7]Luis Benet, Luca Ferranti, Nathalie Revol:
A framework to test interval arithmetic libraries and their IEEE 1788-2015 compliance. CoRR abs/2307.06953 (2023) - [i6]Nathalie Revol:
About the "accurate mode" of the IEEE 1788-2015 standard for interval arithmetic. CoRR abs/2308.10693 (2023) - 2022
- [c10]Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin:
Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance. PPAM (2) 2022: 428-440 - [i5]Nathalie Revol:
Affine Iterations and Wrapping Effect: Various Approaches. CoRR abs/2201.00513 (2022) - [i4]Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin:
Testing interval arithmetic libraries, including their IEEE-1788 compliance. CoRR abs/2205.11837 (2022)
2010 – 2019
- 2018
- [b3]Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres:
Handbook of Floating-Point Arithmetic (2nd Ed.). Springer 2018, ISBN 978-3-319-76525-9 - 2017
- [j15]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): 1991-1993 (2017) - [c9]Nathalie Revol:
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. NSV@CAV 2017: 14-21 - 2016
- [e3]Paolo Montuschi, Michael J. Schulte, Javier Hormigo, Stuart F. Oberman, Nathalie Revol:
23nd IEEE Symposium on Computer Arithmetic, ARITH 2016, Silicon Valley, CA, USA, July 10-13, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-1616-7 [contents] - 2014
- [j14]Nathalie Revol, Philippe Théveny:
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. IEEE Trans. Computers 63(8): 1915-1924 (2014) - 2013
- [j13]Nathalie Revol, Philippe Théveny:
Parallel Implementation of Interval Matrix Multiplication. Reliab. Comput. 19(1): 91-106 (2013) - [i3]Nathalie Revol, Philippe Théveny:
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms. CoRR abs/1312.3300 (2013) - 2012
- [j12]Nathalie Revol, Götz Alefeld:
Editorial. Computing 94(2-4): 95 (2012) - 2011
- [j11]Pieter Collins, Milad Niqui, Nathalie Revol:
A Validated Real Function Calculus. Math. Comput. Sci. 5(4): 437-467 (2011) - [j10]Hong Diep Nguyen, Nathalie Revol:
Solving and Certifying the Solution of a Linear System. Reliab. Comput. 15(2): 120-131 (2011) - [c8]Hong Diep Nguyen, Nathalie Revol:
Refining and verifying the solution of a linear system. SNC 2011: 165-167 - 2010
- [b2]Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres:
Handbook of Floating-Point Arithmetic. Birkhäuser 2010, ISBN 978-0-8176-4704-9, pp. I-XXIII, 1-572 - [j9]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): 41-52 (2010) - [c7]Hong Diep Nguyen, Nathalie Revol:
High performance linear algebra using interval arithmetic. PASCO 2010: 171-172 - [c6]Nathalie Revol:
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries. ICMS 2010: 337-341
2000 – 2009
- 2008
- [c5]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: 1-6 - [p1]Florent de Dinechin, Milos D. Ercegovac, Jean-Michel Muller, Nathalie Revol:
Digital Arithmetic. Wiley Encyclopedia of Computer Science and Engineering 2008 - [e2]Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers. Lecture Notes in Computer Science 5045, Springer 2008, ISBN 978-3-540-85520-0 [contents] - 2006
- [j8]Marc Daumas, Nathalie Revol:
Preface. Theor. Comput. Sci. 351(1): 1 (2006) - [e1]Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006. Dagstuhl Seminar Proceedings 06021, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [i2]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 - [i1]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 - 2005
- [j7]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): 135-154 (2005) - [j6]Nathalie Revol, Fabrice Rouillier:
Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. Reliab. Comput. 11(4): 275-290 (2005) - [j5]Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol:
A New Range-Reduction Algorithm. IEEE Trans. Computers 54(3): 331-339 (2005) - 2004
- [j4]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): 367-375 (2004) - 2003
- [j3]Nathalie Revol:
Interval Newton Iteration in Multiple Precision for the Univariate Case. Numer. Algorithms 34(2-4): 417-426 (2003) - [c4]Markus Grimmer, Knut Petras, Nathalie Revol:
Multiple Precision Interval Packages: Comparing Different Approaches. Numerical Software with Result Verification 2003: 64-90 - 2001
- [c3]Nathalie Revol, Yves Denneulin, Jean-François Méhaut, Benoît Planquelle:
A Methodology of Parallelization for Continuous Verified Global Optimization. PPAM 2001: 803-810 - 2000
- [j2]Nathalie Revol, Jean-Claude Yakoubsohn:
Accelerated Shift-and-Add Algorithms. Reliab. Comput. 6(2): 193-205 (2000)
1990 – 1999
- 1999
- [c2]Benoît Planquelle, Jean-François Méhaut, Nathalie Revol:
Multi-protocol Communications and High Speed Networks. Euro-Par 1999: 139-143 - [c1]Benoît Planquelle, Jean-François Méhaut, Nathalie Revol:
MC-PM2: Multi-Cluster Approach With PM2. PDPTA 1999: 779-785 - 1996
- [j1]Nathalie Revol, Jean-Louis Roch:
Parallel Evaluation of Arithmetic Circuits. Theor. Comput. Sci. 162(1): 133-150 (1996) - 1994
- [b1]Nathalie Revol:
Complexite de l'evaluation parallele des circuits arithmetiques. (Complexity of the parallel evaluation of arithmetic circuits). Grenoble Institute of Technology, France, 1994
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
