Documents 1 In-Situ Model Checking of MPI Parallel Programs Ganesh Gopalakrishnan Joint work with Salman...

Slide 1 1 In-Situ Model Checking of MPI Parallel Programs Ganesh Gopalakrishnan Joint work with Salman Pervez, Michael DeLisi Sarvani Vakkalanka, Subodh Sharma, Yu Yang,…

Documents :: IDC 2009 :: ::::: ::::: ::::: ::::: ::::: ::::: ::::: ::::: ::::: ::::: :: 06/10/2009 :::: 1 ::.....

PowerPoint Presentation Workflows and HPC? :: The relation between workflows and High Performance Computing :: Contact: Lutz Schubert [[email protected]], Stefan Wesner [[email protected]]…