Please use this identifier to cite or link to this item:
Title: Deriving efficient parallel programs for complex recurrences
Authors: Chin, W.N. 
Tan, S.H. 
Teo, Y.M. 
Issue Date: 1997
Citation: Chin, W.N.,Tan, S.H.,Teo, Y.M. (1997). Deriving efficient parallel programs for complex recurrences. International Symposium on Parallel Symbolic Computation, Proceedings, PASCO : 101-110. ScholarBank@NUS Repository.
Abstract: We propose a method to synthesize parallel divide-and-conquer programs from non-trivial sequential recurrences. Traditionally, such derivation methods are based on schematic rules which attempt to match each given sequential program to a prescribed set of program schemes that have parallel counterparts. Instead of relying on specialized program schemes, we propose a new approach to parallelization based on techniques built using elementary transformation rules. Our approach requires an induction to recover parallelism from sequential programs. To achieve this, we apply a second-order generalization step to selected instances of sequential equations, before an inductive derivation procedure. The new approach is systematic enough to be semi-automated, and shall be shown to be widely applicable using a range of examples.
Source Title: International Symposium on Parallel Symbolic Computation, Proceedings, PASCO
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.