Autotuning Parallel Programs by Model Checking
The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings which maximize its performance. The novelty of the approach lies in the use of the model checking method to find the optimal tuning parameters by the method of counterexamples....
| Main Authors: | , |
|---|---|
| 格式: | 文件 |
| 语言: | English |
| 出版: |
Yaroslavl State University
2021-12-01
|
| 丛编: | Моделирование и анализ информационных систем |
| 主题: | |
| 在线阅读: | https://www.mais-journal.ru/jour/article/view/1564 |