Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia. Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Volume 12760 of Lecture Notes in Computer Science, pages 626-650, Springer, 2021. [doi]

This author has not been identified. Look up 'George A. Constantinides' in GoogleThis author has not been identified. Look up 'Fredrik Dahlqvist' in GoogleThis author has not been identified. Look up 'Zvonimir Rakamaric' in GoogleThis author has not been identified. Look up 'Rocco Salvia' in Google

runs on WebDSL