Performance Evaluation of Verified Computation for Linear Systems on Parallel Computers
2nd Annual Meeting on Advanced Computing System and Infrastructure (ACSI2016)
本発表では,並列計算機における連立一次方程式の精度保証付き数値計算における金自虐魚列を用いた一般的な手法の計算効率を調べ発表を行った. 担当:筆頭著者として,主たる研究を行い,発表を行った. 著者:森倉悠介,椋木大地,深谷猛,山中脩也,大石進一