3436 search results - page 234 / 688 » Software Tools for Performance Modeling of Parallel Programs |
113
click to vote
PODC
2010
ACM
15 years 7 months ago
2010
ACM
We present an algorithm to solve the GROUP MUTUAL EXCLUSION problem in the cache-coherent (CC) model. For the same problem in the distributed shared memory (DSM) model, Danek and ...
159
click to vote
ICS
1994
Tsinghua U.
15 years 7 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...
236
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Parallel bit stream algorithms exploit the SWAR (SIMD within a register) capabilities of commodity processors in high-performance text processing applications such as UTF8 to UTF-...
136
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
123
click to vote
CSMR
1998
IEEE
15 years 7 months ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...