417 search results - page 57 / 84 » From patterns to frameworks to parallel programs |
103
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
109
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
112
Voted
IEEEPACT
2009
IEEE
15 years 8 months ago
2009
IEEE
—With increasing numbers of cores, future CMPs (Chip Multi-Processors) are likely to have a tiled architecture with a portion of shared L2 cache on each tile and a bankinterleave...
118
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
120
click to vote
ISHPC
2000
Springer
15 years 5 months ago
2000
Springer
This paper describes transparent mechanisms for emulating some of the data distribution facilities offered by traditional data-parallel programming models, such as High Performance...