5235 search results - page 105 / 1047 » Analysis of Multithreaded Programs |
107
click to vote
TLDI
2010
ACM
15 years 10 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
108
click to vote
POPL
2009
ACM
15 years 8 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
138
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
131
click to vote
CSMR
2007
IEEE
15 years 7 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...