Refinement of data parallel programs in PEI

Autor:	Eric Violard, G.-R. Perrin, Stéphane Genaud
Rok vydání:	1997
Předmět:	Hardware architecture Formalism (philosophy of mathematics) Refinement calculus Computer science Data parallelism Programming language Data field Computer Science::Programming Languages Task parallelism Program transformation Parallel computing computer.software_genre computer
Zdroj:	Algorithmic Languages and Calculi ISBN: 9781504128773 Algorithmic Languages and Calculi
Popis:	Parallel programs mainly differ from sequential ones in that they include geometrical aspects involved by the hardware architecture. We present in this paper the PEI formalism, which enables to take into account both the geometrical and functional aspects of programs. It provides a refinement calculus mainly used to transform the geometrical characteristics of parallel programs, and we show how it may apply on data parallel programs, in particular for data alignments.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::67222dbc0d9190342689b7c9c9f521a4 https://doi.org/10.1007/978-0-387-35264-0_5 Zobrazit plný text záznamu