Nathalie Revol

According to our database1, Nathalie Revol authored at least 30 papers between 1994 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Introduction to the Special Issue on Computer Arithmetic.
IEEE Trans. Computers, 2017

Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic.
Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2014
Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms.
IEEE Trans. Computers, 2014

2013
Parallel Implementation of Interval Matrix Multiplication.
Reliable Computing, 2013

Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms.
CoRR, 2013

2012
Editorial.
Computing, 2012

2011
Solving and Certifying the Solution of a Linear System.
Reliable Computing, 2011

A Validated Real Function Calculus.
Mathematics in Computer Science, 2011

Refining and verifying the solution of a linear system.
Proceedings of the SNC 2011, 2011

2010
LEMA: towards a language for reliable arithmetic.
ACM Comm. Computer Algebra, 2010

Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries.
Proceedings of the Mathematical Software, 2010

High performance linear algebra using interval arithmetic.
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010


2008
Digital Arithmetic.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.
Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

2006
Preface.
Theor. Comput. Sci., 2006

06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

2005
A New Range-Reduction Algorithm.
IEEE Trans. Computers, 2005

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library.
Reliable Computing, 2005

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.
J. Log. Algebr. Program., 2005

2004
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic.
Numerical Algorithms, 2004

2003
Interval Newton Iteration in Multiple Precision for the Univariate Case.
Numerical Algorithms, 2003

Multiple Precision Interval Packages: Comparing Different Approaches.
Proceedings of the Numerical Software with Result Verification, 2003

2001
A Methodology of Parallelization for Continuous Verified Global Optimization.
Proceedings of the Parallel Processing and Applied Mathematics, 2001

2000
Accelerated Shift-and-Add Algorithms.
Reliable Computing, 2000

1999
MC-PM2: Multi-Cluster Approach With PM2.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Multi-protocol Communications and High Speed Networks.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1996
Parallel Evaluation of Arithmetic Circuits.
Theor. Comput. Sci., 1996

1994
Complexite de l'evaluation parallele des circuits arithmetiques. (Complexity of the parallel evaluation of arithmetic circuits).
PhD thesis, 1994


  Loading...