Publications [#322404] of John H. Reif

Conference articles PUBLISHED

1. Nyland, L; Prins, J; Goldberg, A; Mills, P; Reif, J; Wagner, R, A refinement methodology for developing Data-Parallel applications, Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, vol. 1123 (January, 1996), pp. 145-150, Springer-Verlag, ISBN 9783540616269 (Lecture Notes in Computer Science.) [pdf], [doi]
   (last updated on 2026/01/14)

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