DOE OSTI · 1807452
When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs.
Abstract
Abstract not provided.
Keep this discovery
Explore connections, maps & timelines
Pollard, Samuel Douglas. 2021-06-01. When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs.. https://www.osti.gov/biblio/1807452
Cite the original work for its findings. Save a collection to share your selection of sources.