10月14日(木) 午後 13:00 - 14:30 |
(1) |
13:00-13:30 |
Hardware Objectモデルに基づくネットワーク環境下におけるhw/sw複合体システムの設計例 |
○田向 権・有泉政博・ベルグシュタイン ナダヴ(東京農工大)・ロブリア ジョナタン(グルノーブル第1大)・関根優年(東京農工大) |
(2) |
13:30-14:00 |
Grid Monitoring System based on GMA |
○Abu ElEnin Sherihan・Masato Kitakami(Chiba Univ.) |
(3) |
14:00-14:30 |
最近のデータレプリケーション手法の研究動向 |
○寺田夢人・福本 聡・新井雅之(首都大東京) |
|
14:30-14:40 |
休憩 ( 10分 ) |
10月14日(木) 午後 14:40 - 15:40 |
(4) |
14:40-15:10 |
Webアプリケーションの脆弱性検出を目的とした自動テストツールの性能評価 |
○中井亮介・土屋達弘・菊野 亨(阪大) |
(5) |
15:10-15:40 |
GPUを用いた状態可到達性解析の高速化 |
○仲田善満・土屋達弘・菊野 亨(阪大) |
|
15:40-15:50 |
休憩 ( 10分 ) |
10月14日(木) 午後 15:50 - 16:50 |
(6) |
15:50-16:50 |
[招待講演]DSN2010報告(The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks) |
○今井 雅(東大) |