Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
2011
2012
2013
2014
TO
2010
2011
2012
2013
2014
School Or College
College of Engineering
4
Department
Computing
4
Publication Type
dissertation
4
Subject
MPI
4
Dynamic verification
2
Causality tracking
1
Correctness checking
1
Distributed system
1
Heterogeneous computing
1
Multithread
1
Predictive analysis
1
Testing
1
Uintah
1
Verification
1
More
Filters:
Subject:
"MPI"
Collection:
"ir_etd"
1
-
25
of
4
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Setname
Type
1
Efficient dynamic verification algorithms for MPI applications
ir_etd
Text
2
Large-scale distributed runtime system for dag-based computational framework
ir_etd
Text
3
Predictive analysis of message passing applications
ir_etd
Text
4
Scalable formal dynamic verification of MPI programs through distributed causality tracking
ir_etd
Text
1
-
25
of
4
