最適化を適応的に適用するコンパイラの研究
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-13680397 |
|---|---|
| 研究種目 | 基盤研究(C) |
| 研究分野 | 複合領域 情報科学 計算機科学 |
| 研究機関 | 東京大学 |
| 代表研究者 | 佐藤 周行 |
| 研究分担者 | 黒田 久泰 |
| 研究分担者 | 金田 康正 |
| 研究期間 開始年月日 | 2001/4/1 |
| 研究期間 終了年度 | 2003 |
| 研究ステータス | 完了 (2003/4/1) |
| 配分額（合計） | 3,500,000 (直接経費 :3,500,000) |
| 配分額（履歴） |
2003年度：600,000 (直接経費 :600,000) 2002年度：1,600,000 (直接経費 :1,600,000) 2001年度：1,300,000 (直接経費 :1,300,000) |
| キーワード | コンパイラ最適化 ループアンローリング 性能予測 型システム 最適化の検証 Optimization Verifying Compiler Grid 分散環境 性能の定量的解析 データフロー方程式 型理論 形式的記述 ループアンローミング イディオム認識 プログラミング言語環境 自動チューニング Compiler Optimization Loop Unrolling Performance Predication Type System Verification of Optimization Optimization Verifying Compiler Grid Distributed Environment |