Sciweavers

5235 search results - page 28 / 1047
» Analysis of Multithreaded Programs
Sort
View
61
Voted
ENTCS
2007
85views more  ENTCS 2007»
15 years 2 months ago
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs
Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfr...
25
Voted
IBMRD
2010
34views more  IBMRD 2010»
14 years 9 months ago
Detection of deadlock potentials in multithreaded programs
Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klau...
PPOPP
2011
ACM
14 years 5 months ago
GRace: a low-overhead mechanism for detecting data races in GPU programs
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...
Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawa...
TACAS
2012
Springer
263views Algorithms» more  TACAS 2012»
13 years 10 months ago
Reachability under Contextual Locking
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...
Rohit Chadha, P. Madhusudan, Mahesh Viswanathan