| Project/Area Number |
11480065
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
TAKEICHI Masato Graduate School of Information Science and Technology, The University of Tokyo, Professor, 大学院・情報理工学系研究科, 教授 (10011165)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
IWASAKI Hideya University of Electro-Communications, Dept. Computer Science, Associate Professor, 電気通信学部, 助教授 (90203372)
HU Zhenjiang Graduate School of Information Science and Technology, The University of Tokyo, Assistant Professor, 大学院・情報理工学系研究科, 助教授 (50292769)
尾上 能之 東京大学, 大学院・情報理工学系研究科, 助手 (80292770)
|
|---|
| Project Period (FY) |
1999 – 2001
|
| Project Status |
Completed (Fiscal Year 2001)
|
| Budget Amount *help |
¥14,200,000 (Direct Cost: ¥14,200,000)
Fiscal Year 2001: ¥2,400,000 (Direct Cost: ¥2,400,000)
Fiscal Year 2000: ¥4,400,000 (Direct Cost: ¥4,400,000)
Fiscal Year 1999: ¥7,400,000 (Direct Cost: ¥7,400,000)
|
|---|
| Keywords | Program Calculation / Parallelization / Calculation / Algorithm / Functional Programming / 融合変換 / 構成的手法 |
|---|
| Research Abstract |
Our research aims at implementing parallel programming models based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a technique for parallelization transformation based on algebraic rules which leads to formulation of transformation algorithms and we implemented the system as our research project. Our models deal with so-called 'Diffusion' transformation which is effectively used for parallelizing sequential programs. The final stage of this research conducted this year finishes implementation of the system using MPI library with evaluation using benchmark programs. The result shows practical effectiveness of the constructive parallelizaion system based on Constructive Algorithmics.
|
