Although work on the specification, semantics and verification of parallelism over the last decades has led to significant progress in the understanding of parallelism and to workable development methods in certain domains, no method for the development of reliable, portable, parallel application software for high-performance computing has been achieved as of yet whose practicality and ease of use is commonly evident.
展开▼