Theses & Dissertations
 
Filters: School Or College: "College of Engineering" Collection: "ir_etd" Subject: "MPI"
1 - 25 of 4
Number of results to display per page
AuthorTitleSubjectDatePublication Type
1 Vakkalanka, SarvaniEfficient dynamic verification algorithms for MPI applicationsDynamic verification; MPI; Testing2010dissertation
2 Meng, QingyuLarge-scale distributed runtime system for dag-based computational frameworkDistributed system; Heterogeneous computing; MPI; Multithread; Uintah2014-08dissertation
3 Sharma, SubodhPredictive analysis of message passing applicationsDynamic verification; MPI; Predictive analysis2013-08dissertation
4 Vo, AnhScalable formal dynamic verification of MPI programs through distributed causality trackingCausality tracking; Correctness checking; MPI; Verification2011-08dissertation
1 - 25 of 4