The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nathalie Revol: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Markus Grimmer, Knut Petras, Nathalie Revol
    Multiple Precision Interval Packages: Comparing Different Approaches. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:64-90 [Conf]
  2. Benoît Planquelle, Jean-François Méhaut, Nathalie Revol
    Multi-protocol Communications and High Speed Networks. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:139-143 [Conf]
  3. Benoît Planquelle, Jean-François Méhaut, Nathalie Revol
    MC-PM2: Multi-Cluster Approach With PM2. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:779-785 [Conf]
  4. Nathalie Revol, Yves Denneulin, Jean-François Méhaut, Benoît Planquelle
    A Methodology of Parallelization for Continuous Verified Global Optimization. [Citation Graph (0, 0)][DBLP]
    PPAM, 2001, pp:803-810 [Conf]
  5. Nathalie Revol, Kyoko Makino, Martin Berz
    Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:64, n:1, pp:135-154 [Journal]
  6. Nathalie Revol, Fabrice Rouillier
    Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2005, v:11, n:4, pp:275-290 [Journal]
  7. Nathalie Revol, Jean-Claude Yakoubsohn
    Accelerated Shift-and-Add Algorithms. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2000, v:6, n:2, pp:193-205 [Journal]
  8. Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol
    A New Range-Reduction Algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2005, v:54, n:3, pp:331-339 [Journal]
  9. Marc Daumas, Nathalie Revol
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:1, pp:1- [Journal]
  10. Nathalie Revol, Jean-Louis Roch
    Parallel Evaluation of Arithmetic Circuits. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:162, n:1, pp:133-150 [Journal]

  11. 06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice. [Citation Graph (, )][DBLP]


  12. 06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice. [Citation Graph (, )][DBLP]


  13. Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. [Citation Graph (, )][DBLP]


  14. Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries. [Citation Graph (, )][DBLP]


Search in 0.176secs, Finished in 0.176secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002