15 search results - page 1 / 3 » A Concurrency Testing Tool and Its Plug-Ins for Dynamic Anal... |
RV
2009
Springer
13 years 9 months ago
2009
Springer
IPPS
1997
IEEE
13 years 9 months ago
1997
IEEE
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
FASE
2009
Springer
14 years 2 days ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is diļ¬cult. Atomicity violation, which is ...
SIGSOFT
2004
ACM
13 years 10 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...