Parallelization via Context Preservation

Parallelization via Context Preservation (1998)

Cached

Download Links

[www.comp.nus.edu.sg]

Other Repositories/Bibliography

DBLP

by W N Chin , A Takano , Z Hu , Wei-ngan Chin , Akihiko Takano , Zhenjiang Hu

Venue:	In IEEE Intl Conference on Computer Languages
Citations:	17 - 16 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Parallelization via Context Preservation	user correction - Legacy Corrections
AUTHOR NAME	W N Chin	user correction - Legacy Corrections
AUTHOR NAME	A Takano	user correction - Legacy Corrections
AUTHOR NAME	Z Hu	user correction - Legacy Corrections
AUTHOR NAME	Wei-ngan Chin	user correction - Legacy Corrections
AUTHOR AFFIL	National University of Singapore	user correction - Legacy Corrections
AUTHOR NAME	Akihiko Takano	user correction - Legacy Corrections
AUTHOR AFFIL	Hitachi Advanced Research Laboratory	user correction - Legacy Corrections
AUTHOR NAME	Zhenjiang Hu	user correction - Legacy Corrections
AUTHOR AFFIL	University of Tokyo	user correction - Legacy Corrections
ABSTRACT	Abstract program schemes, such as scan or homomorphism, can capture a wide range of data parallel programs. While versatile, these schemes are of limited practical use on their own. A key problem is that the more natural sequential specifications may not have associative combine operators required by these schemes. As a result, they often fail to be immediately identified. To resolve this problem, we propose a method to systematically derive parallel programs from sequential definitions. This method is special in that it can automatically invent auxiliary functions needed by associative combine operators. Apart from a formalisation, we also provide new theorems, based on the notion of context preservation, to guarantee parallelization for a precise class of sequential programs. 1 Introduction It is well-recognised that a key problem of parallel computing remains the development of efficient and correct parallel software. This task is further complicated by the variety of parallel arc...	user correction - Legacy Corrections
YEAR	1998	INFERENCE
VENUE	In IEEE Intl Conference on Computer Languages	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	153--162	INFERENCE
CITATIONS	27 found	ParsCit 1.0