A refinement methodology for developing Data-Parallel applications
© Springer-Verlag Berlin Heidelberg 1996. 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 dataparallel applications starting from high-level specifications, generating repeated refinements of designs to match different architectural models and performanee constraints, supporting a development activity with cost-benefit analysis. Primary issues are algorithm choice, correctness and efficiency, followed by data decomposition, load balancing and messagepassing 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.
Nyland, L; Prins, J; Goldberg, A; Mills, P; Reif, J; Wagner, R
Volume / Issue
Start / End Page
Electronic International Standard Serial Number (EISSN)
International Standard Serial Number (ISSN)
International Standard Book Number 13 (ISBN-13)