1411 search results - page 145 / 283 » A Value Analysis for C Programs |
189
click to vote
CONCURRENCY
2000
15 years 4 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...
170
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
151
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
135
click to vote
SIAMJO
2002
15 years 4 months ago
2002
We consider the problem of constructing mean{risk models which are consistent with the second degree stochastic dominance relation. By exploiting duality relations of convex analys...
126
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...