From Transformations to Methodology in Parallel Program Development: A Case Study

From Transformations to Methodology in Parallel Program Development: A Case Study (1996)

by Sergei Gorlatch

Venue:	Microprocessing and Microprogramming
Citations:	4 - 1 self

Datum	Value	Source
TITLE	From Transformations to Methodology in Parallel Program Development: A Case Study	INFERENCE
AUTHOR NAME	Sergei Gorlatch	SVM HeaderParse 0.1
AUTHOR ADDR	Universitat Passau, D--94030 Passau, Germany.	SVM HeaderParse 0.1
ABSTRACT	The Bird-Meertens formalism (BMF) of higher-order functions over lists is a mathematical framework supporting formal derivation of algorithms from functional specifications. This paper reports results of a case study on the systematic use of BMF in the process of parallel program development. We develop a parallel program for polynomial multiplication, starting with a straight-forward mathematical specification and arriving at the target processor topology together with a program for each processor of it. The development process is based on formal transformations; design decisions concerning data partitioning, processor interconnections, etc. are governed by formal type analysis and performance estimation rather than made ad hoc. The parallel target implementation is parameterized for an arbitrary number of processors; for the particular number, the target program is both time and cost-optimal. We compare our results with systolic solutions to polynomial multiplication.	SVM HeaderParse 0.1
YEAR	1996	INFERENCE
VENUE	Microprocessing and Microprogramming	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	58--8	INFERENCE
VOLUME	41	INFERENCE
TECH	Technical Report MIP-9508	INFERENCE
CITATIONS	32 found	ParsCit 1.0