文献
J-GLOBAL ID:202002214768024402
整理番号:20A0267406
スパース行列計算の有界検証【JST・京大機械翻訳】
Bounded Verification of Sparse Matrix Computations
著者 (3件):
Dyer Tristan
(North Carolina State University, USA)
,
Altuntas Alper
(National Center for Atmospheric Research, USA)
,
Baugh John
(North Carolina State University, USA)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2019
号:
Correctness
ページ:
36-43
発行年:
2019年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)