ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP.
Thomas HuberSwaroop PophaleNolan BakerMichael CarrNikhil RaoJaydon ReapKristina HolsappleJoshua Hoke DavisTobias BurnusSeyong LeeDavid E. BernholdtSunita ChandrasekaranPublished in: CoRR (2022)
Keyphrases
- parallel programming
- parallel execution
- programming language
- model checking
- shared memory
- general purpose
- java bytecode
- signature verification
- neural network
- model validation
- update operations
- verification method
- transactional memory
- face verification
- high performance computing
- parallel computing
- parallel algorithm
- cloud computing
- multi core processors
- highly optimized
- distributed memory machines