Shibuya's Homepage
Contents

 　　研究関係 
 
  • モデル検査器SPINにおける状態空間の性質の調査 
    
 
  • 分散検証環境DiVinEを用いた分散LTLモデル検査アルゴリズムの性能比較
    • 　　情報科学講究関連 
     
  • ノルム計算を用いた性能測定
    
 
  • MPI通信関数のスループット測定
    
 
  • 学期末プロジェクト（Grid Challenge）
    • Link 
  • 上田研ホームページ

  • 上田研メンバー一覧