Displaying 1 result from an estimated 1 matches for "01192668".
2016 Sep 26
2
Publication & Project: Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic
...bs/ ?
Verificarlo: checking floating point accuracy through Monte Carlo
Arithmetic. Christophe Denis, Pablo de Oliveira Castro, and Eric Petit.
23rd IEEE International Symposium on Computer Arithmetic (ARITH), July
2016.
The preprint is available online at
<https://hal.archives-ouvertes.fr/hal-01192668>.
Could you please also add our tool to http://llvm.org/ProjectsWithLLVM ?
Verificarlo: A tool for automatic Montecarlo Arithmetic analysis.
https://github.com/verificarlo/verificarlo
Verificarlo is an LLVM based tool to automatically use the Monte Carlo
arithmetic in place of IEEE-754 floa...