A formal framework handling the description and implementation of multigrid algorithms

Authors:
Uwe Meyer;Guido Wirtz
Affiliations:
Institut für Informatik III, Universität Bonn, Römerstraβe 164, D-5300 Bonn 1;Institut für Informatik III, Universität Bonn, Römerstraβe 164, D-5300 Bonn 1
Venue:
ICS '89 Proceedings of the 3rd international conference on Supercomputing
Year:
1989

Citing 3
Cited 0

From mathematical specifications to parallel programs on a message-based system

ICS '88 Proceedings of the 2nd international conference on Supercomputing
Transforming numerical specifications into parallel programs

Proceedings of the conference on CONPAR 88
PDEL—a language for partial differential equations

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

A formal approach to deal with several types of grids in the context of multigrid algorithms is presented. The approach serves as a framework for describing the definition and manipulation of grids as well as the specification of typical grid algorithms. Furthermore, it is useful to define the transformation of high-level grid algorithms into parallel programs. The proposed method is used within the Suspense specification and transformation system to handle simple and staggered logically rectangular grids.