1998 Fiscal Year Annual Research Report
| Project/Area Number |
10780168
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
胡 振江 東京大学, 大学院・工学系研究科, 講師 (50292769)
|
|---|
| Keywords | 並列化 / 融合変換 / 構成的手法 / 運算 / アルゴリズム |
|---|
| Research Abstract |
本研究には、プログラムを並列化する手法をより一般的に定式化する。これまでに我々が提案したプログラム並列化のための計算手法では,対象とするプログラムは非常に単純化されたものであり,並列化アルゴリズムが適用できる範囲も制限されている.これに対して,より一般的なプログラムを対象にして,適用範囲の広い並列化の計算アルゴリズムを定式化するのが目的である.
本年度は,主として,構造化された逐次関数プログラムから並列プログラムへ変換するというプログラム並列化(parallelization)の計算手法を,より一般的しかも実用的な観点から追究し,「diffusion」という新しい,適用範囲の広い並列化の計算アルゴリズムを定式化した.提案した並列定理によって「Bracket Matching」問題を解決するnovelな並列アルゴリズムを形式的に導出したとともに,新しい並列定理の適用範囲を検証している段階である.
|
-
[Publications] Z. Hu, H. Iwasaki, M. Take-ichi: "Calculating Accumulations" New Generation Computing. 17(2)(印刷中). (1999)
-
[Publications] A. Takano, Z. Hu, M. Take-ichi: "Program Transformation in Calculational Form" ACM Computing Surveys. (印刷中). (1999)
-
[Publications] Z. Hu, M. Takeichi, H. Iwasaki: "Diffusion: Calculating Efficient Parallel Programs" 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulatio, San Antonio, Texas, Jan-uary 22-23, 1999. 85-94 (1999)
-
[Publications] Z. Hu, M. Takeichi: "Calculating an Optimal Homomorphic Algorithm for Bracket Matching" Parallel Processing Letters. 9(1)(印刷中). (1999)
-
[Publications] W.N. Chin, A. Takano, Z. Hu: "Parallelization via Context Preservation" IEEE Computer Society International Conference on Computer Lan-guages, Loyola University Chicago, Chicago, USA, May 1998. IEEE Press.1-12 (1998)
-
[Publications] 尾上能之,胡振江,武市正人: "HYLOシステムによるプログラム融合変換の実現" コンピュータソフトウエア. 15(6). 62-56 (1998)
