2302 search results - page 288 / 461 » The Evolution of Concurrent Programs |
202
Voted
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
195
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
159
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
The increasing availability of commodity multicore processors is making parallel computing available to the masses. Traditional parallel languages are largely intended for large-s...
188
Voted
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
155
Voted
AOSD
2005
ACM
16 years 17 days ago
2005
ACM
Even when working on a well-modularized software system, programmers tend to spend more time navigating the code than working with it. This phenomenon arises because it is impossi...