Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.

George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia

Browse the full CAV paper archive.