@article{FJ_JMC_CPC_2008,
author = {F. J\'ez\'equel and J.-M. Chesneaux},
title = {{CADNA:} a library for estimating round-off error propagation},
journal = {Computer Physics Communications},
year = {2008},
volume = {178},
number = {12},
pages = {933--955}
}
@article{FJ_CPC_2010,
author = {F. J\'ez\'equel and J.-M. Chesneaux and J.-L. Lamotte},
title = {A new version of the {CADNA} library for estimating round-off error propagation in {Fortran} programs},
journal = {Computer Physics Communications},
year = {2010},
volume = {181},
number = {11},
pages = {1927--1928}
}
@article{JLL_CPC_2010,
author = {J.-L. Lamotte and J.-M. Chesneaux and F. J\'ez\'equel},
title = {{CADNA\_C: A version of CADNA for use with C or C++ programs}},
journal = {Computer Physics Communications},
year = {2010},
volume = {181},
number = {11},
pages = {1925--1926}
}
@article{JV_2004,
author = {J. Vignes},
title = {{Discrete Stochastic Arithmetic} for Validating Results of Numerical Software},
journal = {Numerical Algorithms},
volume = 37,
number = {1--4},
pages = {377--390},
year = {2004},
month = dec
}
@article{JV_1993,
author = {J. Vignes},
title = {A stochastic arithmetic for reliable scientific computation},
journal = {Mathematics and Computers in Simulation},
volume = 35,
pages = {233--261},
year = 1993
}
@article{SAM2011,
author = {S. Graillat and F. J{\'{e}}z{\'{e}}quel and S. Wang and Y. Zhu},
title = {{S}tochastic {A}rithmetic in {M}ultiprecision},
journal = {{M}athematics in {C}omputer {S}cience},
volume = {5},
number = {4},
year = {2011},
pages = {359-375},
doi = {10.1007/s11786-011-0103-4},
url = {http://dx.doi.org/10.1007/s11786-011-0103-4}
}
@inproceedings{FJ_JLL_SCAN2010,
author = {F. J\'ez\'equel and J.-L. Lamotte},
title = {{Numerical validation of Slater integrals computation on GPU}},
booktitle = {{T}he 14th {GAMM}-{IMACS} {I}nternational {S}ymposium on {S}cientific {C}omputing, {C}omputer {A}rithmetic and {V}alidated {N}umerics ({SCAN}'10)},
address = {Lyon, France},
pages = {78-79},
month = sep,
year = 2010
}
@inproceedings{FJ2013,
title = {Parallelization of discrete stochastic arithmetic on multicore architectures},
booktitle = {Tenth International Conference on Information Technology: New Generations ({ITNG 2013})},
author = {F. J\'ez\'equel and J.-L. Lamotte and O. Chubach},
month = apr,
year = {2013},
pages = {160--166}
}
@article{Eberhart_REC_2015,
AUTHOR = {P. Eberhart and J. Brajard and P. Fortin and F. J\'ez\'equel},
TITLE = {High performance numerical validation using stochastic arithmetic},
JOURNAL = {Reliable Computing},
VOLUME = {21},
YEAR = {2015},
PAGES = {35--52}
}
@INPROCEEDINGS{FJ_CADNA_2015,
author = {F. J{\'{e}}z{\'{e}}quel and J.-L. Lamotte and I. Said},
month = sep,
title = {{E}stimation of numerical reproducibility on {CPU} and {GPU}},
booktitle = {8th {W}orkshop on {C}omputer {A}spects of {N}umerical {A}lgorithms ({CANA}), {F}ederated {C}onference on {C}omputer {S}cience and {I}nformation {S}ystems ({FedCSIS})},
year = {2015},
pages = {687-692},
location = {Lodz, Poland}
}
@inproceedings{Eberhart_SCAN_2014,
author = {P. Eberhart and J. Brajard and P. Fortin and F. J\'ez\'equel},
title = {Towards High Performance Stochastic Arithmetic},
booktitle = {{T}he 16th {GAMM}-{IMACS} {I}nternational {S}ymposium on {S}cientific {C}omputing, {C}omputer {A}rithmetic and {V}alidated {N}umerics ({SCAN}'14)},
month = sep,
address = {W\"urzburg, Germany},
year = {2014}
}
@inproceedings{Montan_2012,
author = {S. Montan and C. Denis},
month = mar,
title = {{N}umerical Verification of Industrial Numerical Codes},
booktitle = {{ESAIM}: {P}roc.},
volume = {35},
year = {2012},
pages = {107-113},
doi = {10.1051/proc/201235006}
}
@inproceedings{Montan_2012_dgemm,
author = {C. Denis and J.-L. Lamotte and J.-M. Chesneaux and S. Montan},
month = sep,
title = {{T}owards an efficient implementation of {CADNA} in the {BLAS}: {E}xample of {DgemmCADNA} routine.},
booktitle = {{P}roceedings of the 15th {GAMM}-{IMACS} {I}nternational {S}ymposium on {S}cientific {C}omputing, {C}omputer {A}rithmetic and {V}erified {N}umerical {C}omputations},
year = {2012}
}
@article{Asserrhine_1995,
author = {A. Asserrhine and J.-M. Chesneaux and J.-L. Lamotte},
title = {Estimation of Round-off Errors on Several Computers Architectures},
journal = {J. of Universal Computer Science},
year = {1995},
volume = {1},
number = {7},
pages = {454--468},
month = jul
}
@phdthesis{Lamotte_HDR,
author = {J.-L. Lamotte},
title = {Vers une cha\^ine de validation des logiciels num\'eriques \`a
l'aide de m\'ethodes probabilistes },
type = {Habilitation \`a diriger des recherches},
school = {Universit\'e Pierre et Marie Curie, Paris},
year = 2004,
month = nov
}
@inproceedings{Lamotte_2002,
author = {J.-L. Lamotte},
title = {Parallelization of the {CESTAC} method on shared memory and distributed memory computers},
booktitle = {10th International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN~2002)},
address = {Paris, France},
month = sep,
year = 2002
}
@inproceedings{Ghaneme_2004,
author = {A. Ghaneme and J.-L. Lamotte},
title = {On the performance of a parallel implementation of the
{CESTAC} method with self-validation on several parallel machines},
booktitle = {Proc. SCAN2004 conference, Fukuoka, Japan},
month = oct,
year = 2004
}
@misc{Lamotte_2004,
author = {J.-L. Lamotte and D. Martins},
title = {First parallel implementation of the {CESTAC} method with self validation},
howpublished = {Mathematical Modelling and Scientific Computations,
minisymposium within the 33rd Spring Conference of the Union of the Mathematicians in Bulgaria, Borovets, Bulgaria},
month = apr,
year = 2004,
pages = {427--433}
}
@article{FJ_JMC_NaNet,
author = {F. J\'ez\'equel and J.-M. Chesneaux},
title = {Computation of an infinite integral using {R}omberg's method},
journal = {Num. Algo.},
volume = {36},
number = {3},
year = {2004},
pages = {265--283},
month = jul
}
@article{JMC_FJ_1998,
author = {J.-M. Chesneaux and F. J\'ez\'equel},
title = {Dynamical control of computations using the trapezoidal and {Simpson}'s rules},
journal = {J. of Universal Computer Science},
volume = 4,
number = 1,
pages = {2--10},
year = 1998
}
@article{FJ_2004,
author = {F. J\'ez\'equel},
title = {Dynamical control of converging sequences computation},
journal = {Applied Numerical Mathematics},
volume = 50,
number = 2,
pages = {147--164},
year = {2004}
}
@article{FJ_CRAS_2006,
author = {F. J\'ez\'equel},
title = {A dynamical strategy for approximation methods},
journal = {C. R. Acad. Sci. Paris - M\'ecanique},
volume = {334},
pages = {362--367},
year = {2006}
}
@article{Scott_CPC_2007,
author = {N.S. Scott and F. J\'ez\'equel and C. Denis and J.-M. Chesneaux},
title = {Numerical 'health check' for scientific codes: the {CADNA} approach},
journal = {Computer Physics Communications},
month = apr,
year = 2007,
volume = 176,
number = {8},
pages = {507--521}
}
@article{FJ_FR_etoile,
author = {F. J\'ez\'equel and F. Rico and J.-M.~Chesneaux and M. Charikhi},
title = {Reliable computation of a multiple integral
involved in the neutron star theory},
journal = {Mathematics and Computers in Simulation},
volume = 71,
number = 1,
pages = {44--61},
year = {2006}
}
@article{Scott_PPNL_2008,
author = {N.S. Scott and V. Faro-Maza and M.P. Scott and T. Harmer and J.-M. Chesneaux and C. Denis and F. J\'ez\'equel},
title = {E-Collisions using e-Science},
journal = {Physics of Particles and Nuclei Letters},
volume = {5},
number = 3,
pages = {150--156},
year = {2008}
}
@article{Alberstein_1999,
author = {Alberstein, N.C. and Chesneaux, J.-M. and Christiansen, S. and Wirgin, A.},
title = {Comparison of four software packages applied to a scattering problem},
journal = {Math. Comput. Simulation},
volume = {48},
pages = {307--318},
year = {1999}
}
@inproceedings{JMC_Troff_1996,
author = {Chesneaux, J.-M. and Troff, B.},
title = {{Computational stability study using the CADNA software applied to the Navier-Stokes solver PEGASE}},
booktitle = {Scientific Computing and Validated Numerics},
pages = {84--90},
editor = {G. Alefeld and A. Frommer},
publisher = {Akademie Verlag},
year = {1996}
}
@article{Pichat_1996,
author = {M. Pichat and J. Vignes},
title = {{Validit\'e des r\'esultats num\'eriques dans les processus \`a
comportement chaotique. Un outil d'\'evaluation : le logiciel CADNA.}},
journal = {C. R. Acad. Sci. Paris - s\'erie II},
volume = {315},
pages = {681--688},
year = 1996
}
@inproceedings{Pichat_2000,
author = {M. Pichat and J. Vignes},
title = {The numerical study of chaotic systems - Future and Past},
booktitle = {16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation},
year = 2000,
address = {Lausanne, Switzerland},
month = aug
}
@inproceedings{Pichat_1997,
author = {M. Pichat and J. Vignes},
title = {The numerical study of unstable fixed points in a chaotic dynamical system},
booktitle = {15th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation},
year = 1997,
address = {Berlin, Germany},
pages = {341--346},
month = aug
}
@unpublished{CADNA,
title = {{CADNA}: {C}ontrol of {A}ccuracy and {D}ebugging for {N}umerical {A}pplications},
author = {Universit\'e Pierre et Marie Curie, Paris, France},
note = {\url{http://www.lip6.fr/cadna}},
key = {CADNA}
}
@article{JV_90,
author = {J. Vignes},
title = {Estimation de la pr\'ecision des r\'esultats de logiciels num\'eriques},
journal = {La Vie des Sciences},
volume = {7},
number = {2},
pages = {93--145},
year = 1990
}
@inproceedings{JV_74,
author = {J. Vignes and M. La Porte},
title = {Error analysis in computing},
booktitle = {Information Processing 1974},
publisher = {North-Holland},
pages = {610--614},
year = 1974
}
@inproceedings{JMC_90,
author = {J.-M. Chesneaux},
title = {Study of the computing accuracy by using probabilistic approach},
booktitle = {Contribution to Computer Arithmetic and Self-Validating Numerical Methods},
editor = {C. Ullrich},
address = {IMACS, New Brunswick, New Jersey, USA},
pages = {19--30},
year = 1990
}
@phdthesis{JMC_95,
author = {J.-M. Chesneaux},
title = {L'arithm\'etique stochastique et le logiciel {CADNA}},
type = {Habilitation \`a diriger des recherches},
school = {Universit\'e Pierre et Marie Curie, Paris, France},
month = nov,
year = 1995
}
@article{JV_87,
author = {J. Vignes},
title = {Z\'ero math\'ematique et z\'ero informatique },
journal = {Comptes Rendus de l'Acad\'emie des Sciences - Series I - Mathematics },
volume = {303},
pages = {997--1000},
year = {1986},
note = {also: La Vie des Sciences, 4 (1) 1-13, 1987}
}
@article{JMC_JV_1988,
author = {J.-M. Chesneaux and J. Vignes},
title = {Sur la robustesse de la m\'ethode {CESTAC}},
journal = {Comptes Rendus de l'Acad\'emie des Sciences - Series I - Mathematics },
volume = {307},
pages = {855--860},
year = 1988
}
@article{JMC_JV_1992,
author = {J.-M. Chesneaux and J. Vignes},
title = {Les fondements de l'arithm\'etique stochastique},
journal = {Comptes Rendus de l'Acad\'emie des Sciences - Series I - Mathematics },
volume = 315,
pages = {1435--1440},
year = 1992
}
@article{JMC_94,
author = {J.-M. Chesneaux},
title = {The quality relations in scientific computing},
journal = {Num. Algo.},
volume = 7,
pages = {129--143},
year = 1994
}
@inbook{CGJ08,
author = {J.-M. Chesneaux and S. Graillat and F. J\'ez\'equel},
title = {Encyclopedia of Computer Science and Engineering},
chapter = {Rounding Errors},
publisher = {Wiley},
year = {2009},
volume = {4},
pages = {2480--2494}
}
This file was generated by bibtex2html 1.96.