Formal Methods-based Certification Frameworks for Scientific Computing Applications.
Conference
·
OSTI ID:1897880
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:
- NA0003525
- OSTI ID:
- 1897880
- Report Number(s):
- SAND2021-13614C; 701520
- Country of Publication:
- United States
- Language:
- English
Similar Records
Enabling Science Simulations with Scalable Computational Frameworks for Scientific Computing.
RaISE: A Framework to Characterize Surrogate Models in Scientific Computing.
Characterizing Approximation Methods for Digital Twins in Scientific Computing.
Conference
·
Fri Oct 01 00:00:00 EDT 2021
·
OSTI ID:1894020
RaISE: A Framework to Characterize Surrogate Models in Scientific Computing.
Conference
·
Thu Sep 01 00:00:00 EDT 2022
·
OSTI ID:2004839
Characterizing Approximation Methods for Digital Twins in Scientific Computing.
Conference
·
Wed Sep 01 00:00:00 EDT 2021
·
OSTI ID:1889008