2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness) /

Ensuring correctness in high performance computing (HPC) applications is one of the fundamental challenges that the HPC community faces today While significant advances in verification, testing, and debugging have been made to isolate software errors (or defects) in the context of non HPC software,...

Ausführliche Beschreibung

Gespeichert in:
Weitere Titel:
2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications
Körperschaft:
Institute of Electrical and Electronics Engineers
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Los Alamitos, California : IEEE, 2020.
Zusammenfassung:
Ensuring correctness in high performance computing (HPC) applications is one of the fundamental challenges that the HPC community faces today While significant advances in verification, testing, and debugging have been made to isolate software errors (or defects) in the context of non HPC software, several factors make achieving correctness in HPC applications and systems much more challenging than in general systems software growing heterogeneity (architectures with CPUs, GPUs, and special purpose accelerators), massive scale computations (very high degree of concurrency), use of combined parallel programing models (e g , MPI X), new scalable numerical algorithms (e g , to leverage reduced precision in floating point arithmetic), and aggressive compiler optimizations transformations are some of the challenges that make correctness harder in HPC The following report lays out the key challenges and research areas of HPC correctness DOE Report of the HPC Correctness Summit.
Umfang:
1 online resource (vi, 59 pages) : illustrations
ISBN:
9780738110448
0738110442
Schlagworte:
Computer software > Verification > Congresses.
High performance computing > Congresses.
Bezugswerke:
Links: