A generic MPI implementation for a data-parallel skeleton: Formal derivation and application to FFT

Parallel Processing Letters

Volumn 8, Issue 4, 1998, Pages 447-458

  Gorlatch, Sergei ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

Bird Meertens Formalism (BMF); Fast Fourier Transform (FFT); Formal Methods; Message Passing Interface (MPI); Program Derivation; Skeletons

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SYSTEMS PROGRAMMING; DATA COMMUNICATION SYSTEMS; FAST FOURIER TRANSFORMS; FORMAL LOGIC; INTERFACES (COMPUTER); PARALLEL ALGORITHMS; COMMUNICATION SYSTEMS; PROBABILITY; PROGRAM PROCESSORS;

BIRD-MEERTENS FORMALISM (BMF); DISTRIBUTABLE HOMOMORPHISM (DH); MESSAGE PASSING INTERFACES (MPI); FORMAL METHODS; MESSAGE PASSING INTERFACE (MPI); PROGRAM DERIVATION; SKELETONS;

PARALLEL PROCESSING SYSTEMS;

EID: 0032277890     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129626498000456     Document Type: Article

References (1)

1. B. Bacci, M. Danelutto, S. Orlando, S. Pelagatti, and M. Vanneschi. P3L: A structured high level programming language and its structured support. Concurrency: Practice and Experience, 7(3):225-255, 1995.