5235 search results - page 28 / 1047 » Analysis of Multithreaded Programs |
ENTCS
2007
15 years 1 months ago
2007
AMAI
2004
Springer
15 years 1 months ago
2004
Springer
23
Voted
IBMRD
2010
14 years 8 months ago
2010
160
click to vote
PPOPP
2011
ACM
14 years 4 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
132
click to vote
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...