2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness) / / IEEE Computer Society
Pubbl/distr/stampa
Piscataway, New Jersey : , : IEEE Computer Society, , 2022
ISBN
1-66546-335-X
Descrizione fisica
1 online resource
Disciplina
005.14
Soggetti
Computer programs - Verification
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Sommario/riassunto
The goal of the Correctness Workshop is to bring together researchers and developers to present and discuss novel ideas to address the problem of correctness in HPC The workshop will feature contributed papers and invited talks in this area.