@ARTICLE{BDKMR05,
AUTHOR = {Brisebarre, N. and Defour, D. and Kornerup, P. and Muller, J.-M. and Revol, N.},
TITLE = {A new range reduction algorithm},
YEAR = {2005}
JOURNAL = {IEEE Transactions on Computers},
VOLUME = {54},
NUMBER = {3},
PAGES = {331--339}
}
@ARTICLE{ReRo02,
AUTHOR = {Revol, N. and Rouillier, F.},
TITLE = {{Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library}},
JOURNAL = {Reliable Computing},
VOLUME = {11},
NUMBER = {4},
PAGES = {275--290},
YEAR = 2005
}
@ARTICLE{RMB05,
AUTHOR = {Revol, N. and Makino, K. and Berz, M.},
TITLE = {Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in {COSY}},
JOURNAL = {Journal of Logic and Algebraic Programming},
VOLUME = {64},
PAGES = {135--154},
YEAR = 2005
}
@ARTICLE{DHLMRZ04,
AUTHOR = {Defour, D. and Hanrot, G. and Lef{\`e}vre, V.
and Muller, J.-M. and Revol, N. and Zimmermann, P.},
TITLE = {{Proposal for a Standardization of Mathematical Function
Implementation in Floating-Point Arithmetic}},
JOURNAL = {Numerical Algorithms},
VOLUME = {37},
NUMBER = {1-4},
PAGES = 367--375,
YEAR = 2004
}
@ARTICLE{Revol01:NA,
AUTHOR = {Revol, N.},
URL = {http://www.inria.fr/rrrt/rr-4334.html},
TITLE = {Newton's algorithm using multiple precision interval arithmetic},
JOURNAL = {Numerical Algorithms},
VOLUME = 34,
NUMBER = 2,
PAGES = {417-426},
YEAR = {2003}
}
@ARTICLE{RY00:RC,
AUTHOR = {Revol, N. and Yakoubsohn, J.-C.},
JOURNAL = {Reliable Computing},
NUMBER = {2},
PAGES = {1--13},
TITLE = {Accelerated Shift-and-Add algorithms},
VOLUME = {6},
URL = {http://ano.univ-lille1.fr/pub/1999/ano395.ps.Z},
YEAR = {2000}
}
@ARTICLE{RR96:TCS,
AUTHOR = {Revol, N. and Roch, J.-L.},
JOURNAL = {Theoretical Computer Science A},
MONTH = jul,
PAGES = {133-150},
TITLE = {Parallel evaluation of arithmetic circuits},
VOLUME = {162},
YEAR = {1996}
}
@ARTICLE{Revol01:CP,
AUTHOR = {Revol, N.},
JOURNAL = {Calculateurs Parall\`eles},
TITLE = {Arithm\'etique par intervalles},
VOLUME = {13},
PAGES = {387--426},
URL = {http://www.inria.fr/rrrt/rr-4267.html},
YEAR = {2001}
}
@INPROCEEDINGS{GPR03,
AUTHOR = {Grimmer, M. and Petras, K. and Revol, N.},
TITLE = {{Multiple Precision Interval Packages: Comparing Different Approaches}},
BOOKTITLE = {Lecture Notes in Computer Science},
VOLUME = 2991,
PAGES = {64--90},
URL = {http://www.inria.fr/rrrt/rr-4841.html},
YEAR = {2004}
}
@INPROCEEDINGS{RDMP01:PPAM,
AUTHOR = {Revol, N. and Denneulin, Y. and M\'ehaut, J.-F. and Planquelle, B.},
BOOKTITLE = {PPAM'01 (Parallel Processing and Applied Mathematics), Poland},
EDITOR = {LNCS},
VOLUME = 2328,
PAGES = {803--310},
TITLE = {A methodology of parallelization for continuous verified global optimization},
URL = {http://ano.univ-lille1.fr/pub/1999/ano404.ps.Z},
NOTE = {(old version available as ANO research report)},
YEAR = {2002}
}
@INPROCEEDINGS{PMR99:EuroPar,
AUTHOR = {Planquelle, B. and M\'ehaut, J.-F. and Revol, N.},
BOOKTITLE = {EuroPar'99, Toulouse, France},
EDITOR = {{LNCS Springer-Verlag}},
NUMBER = {1685},
PAGES = {139-143},
TITLE = {Multi-protocol communications and high performance networks},
URL = {ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1999/RR1999-23.ps.Z},
YEAR = {1999}
}
@INPROCEEDINGS{PMR99:PDPTA,
AUTHOR = {Planquelle, B. and M\'ehaut, J.-F. and Revol, N.},
BOOKTITLE = {PDPTA (Parallel and Distributed Processing Techniques and Applications)},
EDITOR = {H.R. Arabnia , {CSREA Press}},
PAGES = {779-785},
TITLE = {{MC-PM2}: Multi-cluster approach with {PM2}},
VOLUME = {II},
YEAR = {1999}
}
@INPROCEEDINGS{RR94:NMA,
AUTHOR = {Revol, N. and Roch, J.-L.},
BOOKTITLE = {Numerical Methods and Applications},
EDITOR = {Dimov, I. T. and Sendov, B. and Vassilevski, P. S.},
PAGES = {265--273},
TITLE = {Automatic parallelization of numerical programs in fields and lattices},
YEAR = {1994}
}
@INPROCEEDINGS{CDMR07:ICIAM,
AUTHOR = {Ch\`aves, F. and Daumas, M. and Mu\~noz, C. and Revol, N.},
BOOKTITLE = {ICIAM'07},
TITLE = {{Automatic strategies to evaluate formulas on Taylor models and generate proofs in PVS}},
YEAR = {2007}
}
@INPROCEEDINGS{Revol07:ICIAM,
AUTHOR = {Revol, N.},
BOOKTITLE = {ICIAM'07},
TITLE = {{Implementing Taylor models arithmetic with floating-point arithmetic}},
YEAR = {2007}
}
@INPROCEEDINGS{Revol06:TWM,
AUTHOR = {Revol, N.},
BOOKTITLE = {4th Workshop on Taylor Models},
TITLE = {{Implementing Taylor models arithmetic with floating-point arithmetic: bounding roundoff errors}},
YEAR = {2006}
}
@INPROCEEDINGS{Revol06:SCAN,
AUTHOR = {Revol, N.},
BOOKTITLE = {SCAN'06},
TITLE = {{Design choices and their limits for an interval arithmetic library. The example of MPFI.}},
YEAR = {2006}
}
@INPROCEEDINGS{CR06:ICMS,
TITLE = {Computation of the error functions erf and erfc in arbitrary precision with correct rounding},
YEAR = 2006,
AUTHOR = {Chevillard, S. and Revol, N.},
BOOKTITLE = {International Conference on Mathematical Software},
}
@INPROCEEDINGS{CR05:IMACS,
TITLE = {Computation of the error functions erf and erfc in arbitrary precision with correct rounding},
YEAR = 2005,
AUTHOR = {Chevillard, S. and Revol, N.},
BOOKTITLE = {17th IMACS World Congress on
Scientific Computation, Applied Mathematics and Simulation, Paris, July 2005}
}
@Misc{Revol05:IMACS,,
TITLE = {Bounding roundoff errors in Taylor models arithmetic},
YEAR = 2005,
AUTHOR = {Revol, N.},
BOOKTITLE = {17th IMACS World Congress on
Scientific Computation, Applied Mathematics and Simulation, Paris, July 2005}
}
@INPROCEEDINGS{Revol04:SCAN,
AUTHOR = {N. Revol},
TITLE = {Convergent linear recurrences (with scalar coefficients) with divergent interval simulations},
BOOKTITLE = {SCAN 2004 (11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics), Fukuoka, Japan},
YEAR = {2004}
}
@INPROCEEDINGS{Revol03:ACA,
AUTHOR = {N. Revol},
TITLE = {Multiple precision interval arithmetic and application to linear systems},
BOOKTITLE = {International Conference on Applications of Computer Algebra},
YEAR = {2003}
}
@INPROCEEDINGS{DKMR01:Asilomar,
AUTHOR = {Defour, D. and Kornerup, P. and Muller, J.-M. and Revol, N.},
INSTITUTION = {INRIA},
NUMBER = {RR 4267},
URL = {http://www.inria.fr/rrrt/rr-4267.html},
BOOKTITLE = {35th conference on Signals, Systems and Computers, Asilomar},
TITLE = {A new range reduction algorithm},
YEAR = {2001}
}
@TECHREPORT{MHR01,
AUTHOR = {Mohamed El Hadj, Y. O. and Revol, N. and Meziane, A.},
URL = {http://www.inria.fr/rrrt/rr-4110.html},
INSTITUTION = {INRIA},
NUMBER = {4110},
TITLE = {Parallelization of automatic speech recognition},
TYPE = {Research report},
YEAR = {2001}
}
@TECHREPORT{LR01:MCS,
AUTHOR = {Langlois, P. and Revol, N.},
URL = {http://www.inria.fr/rrrt/rr-4205.html},
INSTITUTION = {INRIA},
NUMBER = {4205},
TITLE = {Validating polynomial numerical computations with complementary automatic methods},
TYPE = {Research report (submitted to Math. and Comp. in Sim.)},
YEAR = {2001}
}
@INCOLLECTION{R99:ParDi,
AUTHOR = {Revol, N.},
BOOKTITLE = {\'ecole d'automne de 3e cycle sur le Calcul Parall\`ele et Distribu\'e ParDi},
PUBLISHER = {Oujda, Maroc},
URL = {http://ano.univ-lille1.fr/pub/2000/ano417.ps.Z},
TITLE = {Parall\'elisation d'applications irr\'eguli\`eres : exemples en optimisation combinatoire et en optimisation globale par intervalles},
YEAR = {1999}
}
@INBOOK{BR97,
AUTHOR = {Bajard, J.-C. and Revol, N.},
CHAPTER = {Arithm\'etique multi-pr\'ecision},
PUBLISHER = {Masson},
TITLE = {{Qualit\'e des calculs sur ordinateur -- Vers des arithm\'etiques plus fiables~? (M. Daumas et J.-M. Muller eds)}},
YEAR = {1997}
}
Back to Nathalie Revol's home page.