小林 史佳 | 早稲田大学大学院情報理工学専攻

スポンサーリンク

概要

• 小林 史佳の詳細を見る
• 同名の論文著者
• 早稲田大学大学院情報理工学専攻の論文著者

関連著者

• 上田 和紀

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

• 小林 史佳

  早稲田大学理工学研究科

• 上田 和紀

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

• 小林 史佳

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

• 上田 和紀

  早稲田大学

• 三輪 真弘

  早稲田大学大学院基幹理工学研究科

• 後町 将人

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

• 川端 聡基

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

• 後町 将人

  早稲田大学大学院基幹理工学研究科

• 三輪 真弘

  株式会社富士通研究所

著作論文

• 3A-1 大規模メモリ環境下におけるモデル検査ツールSpinのマルチコア検証機能の性能評価(高性能計算,一般セッション,アーキテクチャ)
• プロファイルを使用した並列LTLモデル検査のチューニング
• 強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
• 6K-4 LMNtal処理系SLIMのモデル検査機能の並列化(情報爆発時代における並列分散処理技術,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)

スポンサーリンク