The Blue Gene/Q machine is the next generation in the line of IBM massively parallel
supercomputers, designed to scale to 262144 nodes and sixteen million threads. With each …

MPI defines a one-to-one relationship between MPI processes and ranks. This model
captures many use cases effectively; however, it also limits communication concurrency and …

A research gap in calibrating distributed watershed hydrologic models lies in the
development of calibration frameworks adaptable to increasing complexity of hydrologic …

The current MPI model defines a one-to-one relationship between MPI processes and MPI
ranks. This model captures many use cases effectively, such as one MPI process per core …

Exascale systems will present programmers with many challenges. The authors review the
parallel programming models that are appropriate for such systems and the challenges that …

With petascale systems already available, researchers are devoting their attention to the
issues needed to reach the next major level in performance, namely, exascale. Explicit …

Extreme scale parallel computing systems will have tens of thousands of optionally
accelerator-equiped nodes with hundreds of cores each, as well as deep memory …

In this paper we present a precise data race detection technique for distributed memory
parallel programs. Our technique, which we call Active Testing, builds on our previous work …

CIVL is a framework for static analysis and verification of concurrent programs. One of the
main challenges to practical application of these techniques is the large number of ways to …

The recent trend of increasing numbers of cores per chip has resulted in vast amounts of on-
node parallelism. These high core counts result in hardware variability that introduces …