6 search results - page 1 / 2 » Static Versioning of Global State for Race Condition Detecti... |
ADAEUROPE
2010
Springer
13 years 2 months ago
2010
Springer
PPOPP
2011
ACM
12 years 7 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...
MICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs ...
FASE
2010
Springer
13 years 11 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
ASE
2011
12 years 8 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...