10月20日(火) 午前 10:30 - 12:00 |
(1) |
10:30-11:00 |
PPM圧縮データにおける誤り回復手法 |
○海老原友也・北神正人(千葉大) |
(2) |
11:00-11:30 |
高信頼SSDの長寿命化とその評価法 |
○田井健介・北神正人(千葉大) |
(3) |
11:30-12:00 |
Integrating Trust into Scheduling Algorithms in Grid System |
○Abu ElEnin Sherihan・Masato Kitakami(Chiba Univ.) |
|
12:00-13:00 |
休憩 ( 60分 ) |
10月20日(火) 午後 13:00 - 14:30 |
(4) |
13:00-13:30 |
ラウンドモデルからの変換による非同期コンセンサスアルゴリズムの導出 |
○赤井和幸・土屋達弘・菊野 亨(阪大) |
(5) |
13:30-14:00 |
モデル検査を用いたコンセンサスアルゴリズムの合意性検証 |
○野口達也・土屋達弘・菊野 亨(阪大) |
(6) |
14:00-14:30 |
分散システムにおけるデータレプリケーションの評価尺度について |
○石川康太・福本 聡(首都大東京) |
|
14:30-14:40 |
休憩 ( 10分 ) |
10月20日(火) 午後 14:40 - 15:40 |
(7) |
14:40-15:40 |
[招待講演]見える障害を見えなくする・見えない障害を見えるようにする |
○河野健二(慶大/JST) |
|
15:40-15:50 |
休憩 ( 10分 ) |
10月20日(火) 午後 15:50 - 16:50 |
(8) |
15:50-16:50 |
[招待講演]SINET3の高信頼アーキテクチャ |
○阿部俊二(NII) |