後町 将人 | 早稲田大学大学院基幹理工学研究科
スポンサーリンク
概要
関連著者
-
上田 和紀
早稲田大学理工学部情報学科
-
後町 将人
早稲田大学大学院情報理工学専攻
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
後町 将人
早稲田大学大学院基幹理工学研究科
-
上田 和紀
早稲田大学
-
小林 史佳
早稲田大学理工学研究科
-
小林 史佳
早稲田大学大学院情報理工学専攻
著作論文
- LMNtalモデル検査器における状態爆発対策(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- 6K-4 LMNtal処理系SLIMのモデル検査機能の並列化(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)