Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Nathalie Revol
2010 – today
- 2012
[j10]- 2011
- [j9]Pieter Collins, Milad Niqui, Nathalie Revol: A Validated Real Function Calculus. Mathematics in Computer Science 5(4): 437-467 (2011)
- 2010
- [b1]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
- [c9]Hong Diep Nguyen, Nathalie Revol: High performance linear algebra using interval arithmetic. PASCO 2010: 171-172
- [c8]Nathalie Revol: Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries. ICMS 2010: 337-341
2000 – 2009
- 2008
- [c7]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 (Eds.): 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
- 2006
- [j8]
- [c6]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
- [c5]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
- [e1]Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.): 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
- 2005
- [j7]Nathalie Revol, Kyoko Makino, Martin Berz: Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. J. Log. Algebr. Program. 64(1): 135-154 (2005)
- [j6]Nathalie Revol, Fabrice Rouillier: Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. Reliable Computing 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. Numerical Algorithms 37(1-4): 367-375 (2004)
- 2003
- [j3]Nathalie Revol: Interval Newton Iteration in Multiple Precision for the Univariate Case. Numerical 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. Reliable Computing 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)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team