上田 和紀 | 早稲田大学大学院情報理工学専攻
スポンサーリンク
概要
関連著者
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
上田 和紀
早稲田大学
-
上田 和紀
早稲田大学理工学部情報学科
-
加藤 紀夫
産業技術総合研究所システム検証研究センター
-
細部 博史
国立情報学研究所
-
加藤 紀夫
早稲田大学大学院理工学研究科情報・ネットワーク専攻
-
石井 大輔
早稲田大学理工学術院
-
小林 史佳
早稲田大学理工学研究科
-
渡辺 高志
早稲田大学大学院理工学研究科情報科学専攻:早稲田大学理工学部情報学科
-
網代 育大
早稲田大学大学院理工学研究科
著作論文
- 並列計算機システムFOLON上へのPVMの移植と評価
- 階層グラフ書換え言語における並行プロセスの型推論
- 双対モデリングを用いた充足可能性問題のCNF encoding
- 微分制約論理式によるハイブリッドシステムのモデリングと検証
- なぜソフトウェア論文を書くのは難しい(と感じる)のか
- 特集「ソフトウェア論文」の編集にあたって
- 3A-1 大規模メモリ環境下におけるモデル検査ツールSpinのマルチコア検証機能の性能評価(高性能計算,一般セッション,アーキテクチャ)
- 3A-2 強連結成分ベースのグラフ分割による分散並列LTLモデル検査の高速化(高性能計算,一般セッション,アーキテクチャ)
- 6ZJ-9 階層グラフ書換え言語LMNtalによるモデル検査(情報爆発時代における並列分散処理技術,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- 4K-2 分散検証環境DiVinEを用いた分散LTLモデル検査アルゴリズムの性能評価(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)