小林 史佳 | 早稲田大学理工学研究科
スポンサーリンク
概要
関連著者
-
上田 和紀
早稲田大学理工学部情報学科
-
小林 史佳
早稲田大学理工学研究科
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
小林 史佳
早稲田大学大学院情報理工学専攻
-
上田 和紀
早稲田大学
-
三輪 真弘
早稲田大学大学院基幹理工学研究科
-
後町 将人
早稲田大学大学院情報理工学専攻
-
川端 聡基
早稲田大学大学院情報理工学専攻
-
後町 将人
早稲田大学大学院基幹理工学研究科
-
三輪 真弘
株式会社富士通研究所
著作論文
- 3A-1 大規模メモリ環境下におけるモデル検査ツールSpinのマルチコア検証機能の性能評価(高性能計算,一般セッション,アーキテクチャ)
- プロファイルを使用した並列LTLモデル検査のチューニング
- 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- 6K-4 LMNtal処理系SLIMのモデル検査機能の並列化(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)