164 search results - page 10 / 33 » An instrumentation technique for online analysis of multithr... |
248
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
185
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
172
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
182
click to vote
RAID
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Malware attacks necessitate extensive forensic analysis efforts that are manual-labor intensive because of the analysis-resistance techniques that malware authors employ....
199
click to vote
PPOPP
2010
ACM
15 years 4 months ago
2010
ACM
Many programs exploit shared-memory parallelism using multithreading. Threaded codes typically use locks to coordinate access to shared data. In many cases, contention for locks r...