TO
1 - 25 of 3
| Date | Author | Title | Department | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 | 2010 | Vakkalanka, Sarvani | Efficient dynamic verification algorithms for MPI applications | Computing | dissertation |
| 2 |
 | 2011-05 | Chiang, Wei-Fan | Heuristics for efficient dynamic verification of message passing interface and thread programs | Computing | thesis |
| 3 |
 | 2013-08 | Sharma, Subodh | Predictive analysis of message passing applications | Computing | dissertation |
1 - 25 of 3