DOE OSTI · 2587545
Verification of Digital Numerics for High Consequence Systems
Abstract
Presentation given at FPTalks (https://fpbench.org/talks/fptalks24.html)
Keep this discovery
Explore connections, maps & timelines
Pollard, Samuel Douglas. 2024-07-01. Verification of Digital Numerics for High Consequence Systems. https://doi.org/10.2172/2587545
Cite the original work for its findings. Save a collection to share your selection of sources.