HPC Software Verification in Action: A Case Study with Tensor Transposition.

Erdal Mutlu Ajay Panyala Sriram Krishnamoorthy

Published in: CORRECTNESS@SC (2018)

Keyphrases

high order
high performance computing
case study
higher order
fault tolerance
approximation algorithms
approximate string matching
human actions
test bed
scientific computing
optical flow
sensor networks
principal component analysis
pattern matching
reasoning about actions
tensor product