渋谷 健介 | 早稲田大学理工学研究科

スポンサーリンク

概要

• 渋谷 健介の詳細を見る
• 同名の論文著者
• 早稲田大学理工学研究科の論文著者

関連著者

• 上田 和紀

  早稲田大学理工学部情報学科

• 渋谷 健介

  早稲田大学理工学研究科

• 上田 和紀

  早稲田大学大学院情報理工学専攻

• 上田 和紀

  早稲田大学

• 大村 圭

  早稲田大学大学院基幹理工学研究科情報理工学専攻

• 稲垣 良一

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 稲垣 良一

  早稲田大学大学院理工学研究科情報・ネットワーク専攻:(現)特許庁

著作論文

• 4K-2 分散検証環境DiVinEを用いた分散LTLモデル検査アルゴリズムの性能評価(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
• SATソルバ MiniSat の並列化とそのチューニング手法(HPC-2 : 数値解析I)

スポンサーリンク