3436 search results - page 196 / 688 » Software Tools for Performance Modeling of Parallel Programs |
101
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
The nested data-parallel programming model supports the design and implementation of irregular parallel algorithms. This paper describes work in progress to incorporate nested data...
140
click to vote
PVM
2004
Springer
15 years 8 months ago
2004
Springer
We propose lightweight middleware solutions that facilitate and simplify the execution of MPI programs across multidomain clusters. The system described in this paper leverages H2O...
119
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
135
Voted
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
97
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes the study of a new computation model that attempts to address the underlying sources of performance degradation (e.g. latency, overhead, and starvation) and th...