5235 search results - page 9 / 1047 » Analysis of Multithreaded Programs |
108
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
126
click to vote
PLDI
1998
ACM
15 years 5 months ago
1998
ACM
The fth release of the multithreaded language Cilk uses a provably good \work-stealing" scheduling algorithm similar to the rst system, but the language has been completely r...
109
click to vote
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
125
click to vote
TC
2010
14 years 8 months ago
2010
Multithreaded architectures are becoming more and more popular. In order to evaluate their behavior, several methodologies and metrics have been proposed. A methodology defines whe...
122
click to vote
ATVA
2008
Springer
15 years 3 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...