678 search results - page 3 / 136 » Lock-free parallel dynamic programming |
92
Voted
ESOP
2011
Springer
14 years 1 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
TAICPART
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
62
Voted
HPDC
1994
IEEE
15 years 1 months ago
1994
IEEE
IPPS
1993
IEEE
15 years 1 months ago
1993
IEEE
SPDP
1990
IEEE
15 years 1 months ago
1990
IEEE
