大村 圭 | 早稲田大学大学院基幹理工学研究科情報理工学専攻
スポンサーリンク
概要
関連著者
-
大村 圭
早稲田大学大学院基幹理工学研究科情報理工学専攻
-
上田 和紀
早稲田大学理工学部情報学科
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
上田 和紀
早稲田大学
-
山田 浩史
慶應義塾大学理工学部情報工学科
-
河野 健二
慶應義塾大学
-
渋谷 健介
早稲田大学理工学研究科
-
稲垣 良一
早稲田大学大学院理工学研究科情報・ネットワーク専攻
-
稲垣 良一
早稲田大学大学院理工学研究科情報・ネットワーク専攻:(現)特許庁
著作論文
- 6ZJ-7 並列SATソルバにおけるlemma共有およびプール制約伝播高速化(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- SATソルバ MiniSat の並列化とそのチューニング手法(HPC-2 : 数値解析I)
- 仮想マシン移送における移送ホストの負荷軽減手法