Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
Theses & Dissertations
Advanced Search
Year
2010
TO
2010
School Or College
College of Engineering
1
Department
Computing
1
Publication Type
dissertation
1
Subject
Compiler verification
1
Formal verification
1
GPU program
1
Parallel program
1
SMT solving
1
Theorem proving
1
More
Filters:
Collection:
"ir_etd"
Subject:
"GPU program"
Year End:
2016
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
Li, Guodong
Formal verification of programs and their transformations
Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving
2010-12
dissertation
1
-
25
of
1