Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/99494
Title: Deriving efficient parallel programs for complex recurrences
Authors: Chin, W.N. 
Tan, S.H. 
Teo, Y.M. 
Issue Date: 1997
Source: 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
URI: http://scholarbank.nus.edu.sg/handle/10635/99494
Appears in Collections:Staff Publications

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

Page view(s)

33
checked on Feb 16, 2018

Google ScholarTM

Check


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