dblp.uni-trier.dewww.uni-trier.de

Nathalie Revol

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
15 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 Springer 2008
14EEFlorent de Dinechin, Milos D. Ercegovac, Jean-Michel Muller, Nathalie Revol: Digital Arithmetic. Wiley Encyclopedia of Computer Science and Engineering 2008
2006
13 Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
12EEPeter 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
11EEPeter 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
10EEMarc Daumas, Nathalie Revol: Preface. Theor. Comput. Sci. 351(1): 1 (2006)
2005
9EENicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol: A New Range-Reduction Algorithm. IEEE Trans. Computers 54(3): 331-339 (2005)
8EENathalie 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)
7EENathalie Revol, Fabrice Rouillier: Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. Reliable Computing 11(4): 275-290 (2005)
2003
6EEMarkus Grimmer, Knut Petras, Nathalie Revol: Multiple Precision Interval Packages: Comparing Different Approaches. Numerical Software with Result Verification 2003: 64-90
2001
5EENathalie 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
4EENathalie Revol, Jean-Claude Yakoubsohn: Accelerated Shift-and-Add Algorithms. Reliable Computing 6(2): 193-205 (2000)
1999
3EEBenoît Planquelle, Jean-François Méhaut, Nathalie Revol: Multi-protocol Communications and High Speed Networks. Euro-Par 1999: 139-143
2 Benoît Planquelle, Jean-François Méhaut, Nathalie Revol: MC-PM2: Multi-Cluster Approach With PM2. PDPTA 1999: 779-785
1996
1EENathalie Revol, Jean-Louis Roch: Parallel Evaluation of Arithmetic Circuits. Theor. Comput. Sci. 162(1): 133-150 (1996)

Coauthor Index

1Martin Berz [8]
2Nicolas Brisebarre [9]
3Marc Daumas [10]
4David Defour [9]
5Yves Denneulin [5]
6Florent de Dinechin [14]
7Milos D. Ercegovac [14]
8Markus Grimmer [6]
9Peter Hertling [11] [12] [13] [15]
10Christoph M. Hoffmann [11] [12] [13] [15]
11Peter Kornerup [9]
12Wolfram Luther [11] [12] [13] [15]
13Kyoko Makino [8]
14Jean-François Méhaut [2] [3] [5]
15Jean-Michel Muller [9] [14]
16Knut Petras [6]
17Benoît Planquelle [2] [3] [5]
18Jean-Louis Roch [1]
19Fabrice Rouillier [7]
20Jean-Claude Yakoubsohn [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)