TO
Filters: Subject: "Dynamic verification" Publication Type: "dissertation" Collection: "ir_etd" Format: "application/pdf"
1 - 25 of 2
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Vakkalanka, Sarvani | Efficient dynamic verification algorithms for MPI applications | Dynamic verification; MPI; Testing | 2010 | dissertation |
| 2 |
 |
Sharma, Subodh | Predictive analysis of message passing applications | Dynamic verification; MPI; Predictive analysis | 2013-08 | dissertation |
1 - 25 of 2