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

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]
6Markus Grimmer [6]
7Peter Hertling [11] [12] [13]
8Christoph M. Hoffmann [11] [12] [13]
9Peter Kornerup [9]
10Wolfram Luther [11] [12] [13]
11Kyoko Makino [8]
12Jean-François Méhaut [2] [3] [5]
13Jean-Michel Muller [9]
14Knut Petras [6]
15Benoît Planquelle [2] [3] [5]
16Jean-Louis Roch [1]
17Fabrice Rouillier [7]
18Jean-Claude Yakoubsohn [4]

Colors in the list of coauthors

Copyright © Wed May 28 02:56:03 2008 by Michael Ley (ley@uni-trier.de)