46 search results - page 1 / 10 » Program optimization space pruning for a multithreaded gpu |
CGO
2008
IEEE
13 years 11 months ago
2008
IEEE
Program optimization for highly-parallel systems has historically been considered an art, with experts doing much of the per
IPPS
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract—Recent years have seen a trend in using graphic processing units (GPU) as accelerators for general-purpose computing. The inexpensive, single-chip, massively parallel ar...
ATVA
2008
Springer
13 years 7 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
LCPC
2009
Springer
13 years 9 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
AAAI
2004
13 years 6 months ago
2004
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...