8132 search results - page 234 / 1627 » Dependability, Abstraction, and Programming |
181
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...
187
click to vote
HPCN
1995
Springer
15 years 10 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
184
click to vote
AMAI
2005
Springer
15 years 6 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
153
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, a practical coarse-grained distributed parallel programming interface for grid computing (PI4GC) is introduced. des a group of generic and abstract functio...
190
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...