Mathematical Core Technology for Automatic Tuning(<Special Topics>Auto-Tuning for Numerical Computations)
-
- Suda Reiji
- 東京大学大学院情報理工学系研究科
Bibliographic Information
- Other Title
-
- 自動チューニングのための数理基盤技術(<特集>数値計算のための自動チューニング)
- 自動チューニングのための数理基盤技術
- ジドウ チューニング ノ タメ ノ スウリ キバン ギジュツ
Search this article
Abstract
This paper introduces the concepts of automatic tuning, and discusses mathematical aspects and methods of automatic tuning. First, the concepts of automatic tuning are introduced as automation of manual tuning, in order to clarify the goal automatic tuning research is seeking. Next, mathematical aspects of automatic tuning are investigated and analyzed. Based on that framework of automatic tuning analysis, one case of our previous works is re-analyzed and discussed. Our mathematical method, a Bayes-based sequential experimental design with linear models is revisited as well. Next, this paper newly proposes "tuning meter," which quantitatively shows the progress of automatic tuning process. As a Bayesian method, our method provides quantitative estimate of current belief, which can be utilized in a tuning meter. Last, the concept of "infinite dilution" is explained as a method to make existing methods of optimization and machine learning available in online automatic tuning.
Journal
-
- Bulletin of the Japan Society for Industrial and Applied Mathematics
-
Bulletin of the Japan Society for Industrial and Applied Mathematics 20 (3), 191-200, 2010
The Japan Society for Industrial and Applied Mathematics
- Tweet
Details 詳細情報について
-
- CRID
- 1390001205766035712
-
- NII Article ID
- 110007730718
-
- NII Book ID
- AN10288886
-
- ISSN
- 09172270
- 24321982
-
- NDL BIB ID
- 10853589
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles
-
- Abstract License Flag
- Disallowed