Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2011
TO
2011
School Or College
College of Engineering
1
Department
Computing
1
Publication Type
thesis
1
Subject
Dynamic verification
1
Heuristic
1
MPI programs
1
Thread programs
1
Filters:
Department:
"Computing"
Collection:
"ir_etd"
Subject:
"Heuristic"
1
-
25
of
1
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
Author
Title
Subject
Date
Publication Type
1
Chiang, Wei-Fan
Heuristics for efficient dynamic verification of message passing interface and thread programs
Dynamic verification; Heuristic; MPI programs; Thread programs
2011-05
thesis
1
-
25
of
1