Inproceedings,
Verificarlo: Checking Floating Point Accuracy through Monte Carlo Arithmetic.
C. Denis, P. de Oliveira Castro, and E. Petit.ARITH, page 55-62. IEEE Computer Society, (2016)
Meta data
- BibTeX key
- conf/arith/DenisCP16
- entry type
- inproceedings
- booktitle
- ARITH
- year
- 2016
- pages
- 55-62
- publisher
- IEEE Computer Society
- crossref
- conf/arith/2016
- ee
- https://doi.ieeecomputersociety.org/10.1109/ARITH.2016.31
- isbn
- 978-1-5090-1616-7
- url
- http://dblp.uni-trier.de/db/conf/arith/arith2016.html#DenisCP16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/arith/DenisCP16
%A Denis, Christophe
%A de Oliveira Castro, Pablo
%A Petit, Eric
%B ARITH
%D 2016
%E Montuschi, Paolo
%E Schulte, Michael J.
%E Hormigo, Javier
%E Oberman, Stuart F.
%E Revol, Nathalie
%I IEEE Computer Society
%K dblp
%P 55-62
%T Verificarlo: Checking Floating Point Accuracy through Monte Carlo Arithmetic.
%U http://dblp.uni-trier.de/db/conf/arith/arith2016.html#DenisCP16
%@ 978-1-5090-1616-7
@inproceedings{conf/arith/DenisCP16,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Denis, Christophe and de Oliveira Castro, Pablo and Petit, Eric},
biburl = {https://www.bibsonomy.org/bibtex/2fb678ad7bb4590db23c557f264216683/dblp},
booktitle = {ARITH},
crossref = {conf/arith/2016},
editor = {Montuschi, Paolo and Schulte, Michael J. and Hormigo, Javier and Oberman, Stuart F. and Revol, Nathalie},
ee = {https://doi.ieeecomputersociety.org/10.1109/ARITH.2016.31},
interhash = {e647fd0026ea20951c404a358947d330},
intrahash = {fb678ad7bb4590db23c557f264216683},
isbn = {978-1-5090-1616-7},
keywords = {dblp},
pages = {55-62},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T14:32:53.000+0200},
title = {Verificarlo: Checking Floating Point Accuracy through Monte Carlo Arithmetic.},
url = {http://dblp.uni-trier.de/db/conf/arith/arith2016.html#DenisCP16},
year = 2016
}