1729 search results - page 22 / 346 » A Case-Based Parallel Programming System |
LCPC
1999
Springer
14 years 29 days ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
ECOOPW
2007
Springer
14 years 2 months ago
2007
Springer
LCPC
2007
Springer
14 years 2 months ago
2007
Springer
SAS
2009
Springer
14 years 9 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
CC
2012
Springer
12 years 4 months ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...