稲垣 良一 | 早稲田大学大学院理工学研究科情報・ネットワーク専攻
スポンサーリンク
概要
関連著者
-
稲垣 良一
早稲田大学大学院理工学研究科情報・ネットワーク専攻
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
稲垣 良一
早稲田大学大学院理工学研究科情報・ネットワーク専攻:(現)特許庁
-
上田 和紀
早稲田大学
-
上田 和紀
早稲田大学理工学部情報学科
-
渋谷 健介
早稲田大学理工学研究科
-
大村 圭
早稲田大学大学院基幹理工学研究科情報理工学専攻
-
大橋 智昭
早稲田大学大学院理工学研究科情服・ネットワーク専攻
著作論文
- SATソルバ MiniSat の並列化とそのチューニング手法(HPC-2 : 数値解析I)
- B-030 キャッシュヒント自動付加を用いたソフトウェア高速化(B分野:ソフトウェア)
- SATソルバzchaffのMPIによる並列化(HPC-1 : 並列プログラミング)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)