TO
1 - 25 of 4
| Date | Author | Title | Department | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 | 2010 | Vakkalanka, Sarvani | Efficient dynamic verification algorithms for MPI applications | Computing | dissertation |
| 2 |
 | 2014-08 | Meng, Qingyu | Large-scale distributed runtime system for dag-based computational framework | Computing | dissertation |
| 3 |
 | 2013-08 | Sharma, Subodh | Predictive analysis of message passing applications | Computing | dissertation |
| 4 |
 | 2011-08 | Vo, Anh | Scalable formal dynamic verification of MPI programs through distributed causality tracking | Computing | dissertation |
1 - 25 of 4