Sciweavers

6 search results - page 2 / 2
» A general data dependence analysis to nested loop using inte...
Sort
View
SIGSOFT
2010
ACM
15 years 20 days ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan