5235 search results - page 15 / 1047 » Analysis of Multithreaded Programs |
214
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
125
click to vote
APLAS
2011
ACM
14 years 1 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
124
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...