Performance Evaluation of Verified Computation for Linear System on Supercomputer
East Asian Section Conference 2016, Macao
近年のスーパーコンピュータ環境における連立一次方程式の精度保証付き数値計算の性能評価を行った.理論的な計算コストは容易にだされそのコストを基に計算時間についてよく議論が行われるが,これまで並列分散コンピュータ上での実際の実行速度に関しての議論はあまりされていない.本発表では,理論コストより実行速度のほうが小さいことを示した. 担当:筆頭著者として,主たる研究を行い,発表を行った. 著者:森倉悠介,椋木大地,深谷猛,山中脩也,大石進一