A Refinement Methodology for Developing Data-Parallel Applications (1996)
| Citations: | 4 - 1 self |
BibTeX
@MISC{Nyland96arefinement,
author = {Lars Nyland and Jan Prins and Allen Goldberg and Peter Mills and John Reif and Robert Wagner},
title = {A Refinement Methodology for Developing Data-Parallel Applications},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. Data-parallelism is a relatively well-understood form of parallel computation, yet developing simple applications can involve substantial efforts to express the problem in low-level data-parallel notations. We describe a process of software development for data-parallel applications starting from high-level specifications, generating repeated refinements of designs to match different architectural models and performance constraints, supporting a development activity with cost-benefit analysis. Primary issues are algorithm choice, correctness and efficiency, followed by data decomposition, load balancing and message-passing coordination. Development of a data-parallel multitarget tracking application is used as a case study, showing the progression from high to low-level refinements. We conclude by describing tool support for the process. 1 Introduction Data-parallelism can be generally defined as the concurrent application of an arbitrary function to all items in a collect...
Citations
No citations identified.
