Tue, Oct 20 AM 10:30 - 12:00 |
(1) |
10:30-11:00 |
Error recovery method for PPM Compressed Data |
Tomoya Ebihara, Masato Kitakami (Chiba Univ) |
(2) |
11:00-11:30 |
Prolongation of Lifetime and the Evaluation Method of Dependable SSD |
Kensuke Tai, Masato Kitakami (Chiba Univ.) |
(3) |
11:30-12:00 |
Integrating Trust into Scheduling Algorithms in Grid System |
Abu ElEnin Sherihan, Masato Kitakami (Chiba Univ.) |
|
12:00-13:00 |
Break ( 60 min. ) |
Tue, Oct 20 PM 13:00 - 14:30 |
(4) |
13:00-13:30 |
Deriving an Asynchronous Consensus Algorithm from a Round Model-Based Algorithm |
Kazuyuki Akai, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
(5) |
13:30-14:00 |
Model Checking-Based Agreement Verification of Consensus Algorithms |
Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
(6) |
14:00-14:30 |
On the Evaluation Measures for Data Replication in Distributed Systems |
Kota Ishikawa, Satoshi Fukumoto (Tokyo Metropolitan Univ.) |
|
14:30-14:40 |
Break ( 10 min. ) |
Tue, Oct 20 PM 14:40 - 15:40 |
(7) |
14:40-15:40 |
[Invited Talk]
Making Visible Failures Invisible, Invisible Failures Visible |
Kenji Kono (Keio Univ./JST) |
|
15:40-15:50 |
Break ( 10 min. ) |
Tue, Oct 20 PM 15:50 - 16:50 |
(8) |
15:50-16:50 |
[Invited Talk]
Reliable Architecture of SINET3 |
Shunji Abe (NII) |