Search Results - "Bronevetsky, Greg"

Formal analysis of MPI-based parallel programs.

Authors: Gopalakrishnan, Ganesh Kirby, Robert M. Siegel, Stephen et al.

Source: Communications of the ACM; Dec2011, Vol. 54 Issue 12, p82-91, 10p

CLOMP: Accurately Characterizing OpenMP Application Overheads.

Authors: Bronevetsky, Greg Gyllenhaal, John de Supinski, Bronis R.

Source: International Journal of Parallel Programming; Jun2009, Vol. 37 Issue 3, p250-265, 16p, 1 Diagram, 2 Charts, 10 Graphs

Complete Formal Specification of the OpenMP Memory Model.

Authors: Bronevetsky, Greg Supinski, Bronis

Source: International Journal of Parallel Programming; Aug2007, Vol. 35 Issue 4, p335-392, 58p, 8 Diagrams, 25 Charts