The Data Parallel Programming Model

Foundations, HPF Realization, and Scientific Applications
1996
ISBN: 978-3-540-61736-5
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 1132, 284 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 470 g

Reihe: Lecture Notes in Computer Science

This monograph-like book assembles the thorougly revised and cross-reviewed lectures given at the School on Data Parallelism, held in Les Menuires, France, in May 1996.
The book is a unique survey on the current status and future perspectives of the currently very promising and popular data parallel programming model. Much attention is paid to the style of writing and complementary coverage of the relevant issues throughout the 12 chapters. Thus these lecture notes are ideally suited for advanced courses or self-instruction on data parallel programming. Furthermore, the book is indispensable reading for anybody doing research in data parallel programming and related areas.

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Darte, Alain

Perrin, Guy-Rene

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Funktionale, Logische, Parallele und Visuelle Programmierung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Mathematik | Informatik EDV | Informatik Technische Informatik Hochleistungsrechnen, Supercomputer
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten

Inhaltsverzeichnis

The data parallel programming model: A semantic perspective.- An introduction to HPF.- A data parallel scientific computing introduction.- Current status of the SUIF research project.- Automatic parallelization in the polytope model.- State of the art in compiling HPF.- Tools for high performance fortran: A survey.- Implementing data parallel programs on commodity clusters.- Task parallelism and high-performance languages.- Supporting irregular and dynamic computations in data parallel languages.- Data parallelism and functional programming.- Formal validation of data parallel programs: Introducing the assertional approach.