119 search results - page 4 / 24 » A New Method for Compiling Parallel Replacement Rules |
ICS
2009
Tsinghua U.
14 years 5 months ago
2009
Tsinghua U.
Several existing compiler transformations can help improve communication-computation overlap in MPI applications. However, traditional compilers treat calls to the MPI library as ...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
IFL
2001
Springer
14 years 3 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
PPAM
2007
Springer
14 years 4 months ago
2007
Springer
There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain speci...
ICPP
1993
IEEE
14 years 2 months ago
1993
IEEE
SIMD or vector computers and collection-oriented languages, like C , are designed to perform the same computation on each data item or on just a subset of the data. Subsets of pro...