Verificarlo: Checking Floating Point Accuracy through Monte Carlo Arithmetic.
Christophe DenisPablo de Oliveira CastroEric PetitPublished in: ARITH (2016)
Keyphrases
- monte carlo
- floating point
- fixed point
- markov chain
- importance sampling
- interval arithmetic
- monte carlo simulation
- monte carlo methods
- monte carlo tree search
- floating point arithmetic
- variance reduction
- computational cost
- stochastic approximation
- adaptive sampling
- particle filter
- markovian decision
- instruction set
- matrix inversion
- optimal strategy
- sparse matrices
- temporal difference
- point processes
- computer vision