Name
Abstract | ||
|---|---|---|
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems will increasingly be based on heterogeneous multi-core CPUs, and their programming will involve multiple concurrency models, with the message passing interface (MPI) serving as the dominant model for many years. These developments can make concurrent programming and optimization of HPC platforms and applications very error-prone. Therefore, significant advances must occur in verification methods for HPC. We present ten important formal methods research thrusts that can accelerate these advances. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1145/1882362.1882392 | FoSER |
Keywords | Field | DocType |
significant advance,multiple concurrency model,capable high performance computing,concurrent programming,dominant model,hpc platform,heterogeneous multi-core cpus,fundamental advance,important formal methods research,future hpc system,message passing interface,mpi,high performance computing,formal method | Computer architecture,Supercomputer,Concurrency,Computer science,CUDA,Message Passing Interface,Concurrent computing,Formal methods,HPC Challenge Benchmark | Conference |
Citations | PageRank | References |
1 | 0.37 | 13 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ganesh Gopalakrishnan | 1 | 1619 | 130.11 |
| Robert M. Kirby | 2 | 1443 | 115.55 |