Specification and Performance Evaluation of Parallel I/O Interfaces for OpenMP.

Kshitij Mehta Edgar Gabriel Barbara M. Chapman

Published in: IWOMP (2012)

Keyphrases

formal verification
shared memory
user defined
high performance computing
parallel programming
parallel execution
case study
high level
specification language