When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs.
Thesis/Dissertation
·
OSTI ID:1807452
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1807452
- Report Number(s):
- SAND2021-6801T; 696730
- Country of Publication:
- United States
- Language:
- English
Similar Records
VLSI design techniques for floating-point computation
USE OF VERIFIED TWITTER ACCOUNTS DURING CRISIS EVENTS.
Transformational component for programming language grammar
Thesis/Dissertation
·
Thu Dec 31 23:00:00 EST 1987
·
OSTI ID:6046129
USE OF VERIFIED TWITTER ACCOUNTS DURING CRISIS EVENTS.
Thesis/Dissertation
·
Sun Apr 01 00:00:00 EDT 2018
·
OSTI ID:1462680
Transformational component for programming language grammar
Thesis/Dissertation
·
Wed Jul 01 00:00:00 EDT 1970
·
OSTI ID:4108022