LSIIT-ICPS, Universite Louis Pasteur, Strasbourg
Download:
|
|
by Ph. Gerner, E. Violard
http://icps.u-strasbg.fr/pub-00/EUROPAR-232.ps.gz
Add To MetaCart
Abstract:
Abstract. We developed a theory in order to address crucial questions of program design methodology. We think that it could unify two concepts of data parallel programming that we consider fundamental as they concern data locality expression: the notions of alignment in HPF and shape in C. In this article, we aim at exploring the impact of program transformations on eciency. For this, we dene a formal operational semantics associated with the aforementioned theory. 1
Citations
| 963 | Performance Fortran Forum. High Performance Fortran language specification version 1.0 – High - 1993 |
| 389 | Introduction To Parallel Computing: Design And Analysis – Kumar, Grama, et al. - 1994 |
| 58 | A semantics for shape – Jay - 1995 |
| 35 | ALPHA: un langage équationnel pour la conception et la programmation d’architectures parallèles synchrones – Mauras - 1989 |
| 3 | What really is data parallelism – Violard - 2000 |
