論文

査読有り
2016年3月

SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証

第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集
  • 奥村 健太郎
    • ,
  • 小島 健介
    • ,
  • 五十嵐 淳
記述言語
掲載種別
研究論文（研究会，シンポジウム資料等）
エクスポート
BibTeX RIS
論文リストへ