The Challenges of Formally Proving HPC Systems Software.
Conference
·
OSTI ID:1500167
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1500167
- Report Number(s):
- SAND2018-2408C; 661194
- Resource Relation:
- Conference: Proposed for presentation at the Siam PP held March 7-11, 2018 in Tokyo, Tokyo, Japan.
- Country of Publication:
- United States
- Language:
- English
Similar Records
System Software Challenges for Exascale Systems.
Extreme Scale Computing Grand Challenge System Software Review.
Application and Operating System Software Challenges in the Multi-core Era.
Conference
·
Fri Jun 01 00:00:00 EDT 2012
·
OSTI ID:1500167
Extreme Scale Computing Grand Challenge System Software Review.
Conference
·
Sun Jul 01 00:00:00 EDT 2012
·
OSTI ID:1500167
Application and Operating System Software Challenges in the Multi-core Era.
Conference
·
Tue Apr 01 00:00:00 EDT 2008
·
OSTI ID:1500167