Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic.
Christophe DenisPablo de Oliveira CastroEric PetitPublished in: CoRR (2015)
Keyphrases
- monte carlo
- floating point
- fixed point
- floating point arithmetic
- markov chain
- monte carlo simulation
- importance sampling
- adaptive sampling
- variance reduction
- monte carlo methods
- monte carlo tree search
- stochastic approximation
- particle filter
- computational cost
- interval arithmetic
- instruction set
- scheduling problem
- optimal strategy
- multi view
- sparse matrices
- global illumination
- matrix inversion
- machine learning
- sufficient conditions