1075 search results - page 41 / 215 » Parallel Programming with Transactional Memory |
117
click to vote
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
121
click to vote
PDCAT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
103
click to vote
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
141
click to vote
ESOP
2011
Springer
14 years 5 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 ...
120
click to vote
HPCN
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We describe a programming interface for parallel computing on NUMA (NonUniform Memory Access) shared memory machines. Although the interest in this architecture is rapidl...