A refinement methodology for developing Data-Parallel applications


Conference Paper

© 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.

Duke Authors

Cited Authors

  • Nyland, L; Prins, J; Goldberg, A; Mills, P; Reif, J; Wagner, R

Published Date

  • January 1, 1996

Published In

Volume / Issue

  • 1123 /

Start / End Page

  • 145 - 150

Electronic International Standard Serial Number (EISSN)

  • 1611-3349

International Standard Serial Number (ISSN)

  • 0302-9743

International Standard Book Number 13 (ISBN-13)

  • 9783540616269

Citation Source

  • Scopus