===============================================
Technical Committee on Dependable Computing (DC)
Chair: Takashi Aikyo (STARC) Vice Chair: Tomohiro Yoneda (NII)
Secretary: Masato Kitagami (Chiba Univ.), Michinobu Nakao (Renesas)
DATE:
Tue, Oct 20, 2009 10:30 - 16:50
PLACE:
Room 2, 3rd Basement, Kikaishikou-kaikai Building(3-5-8 Shiba-kouen Minato-ku, Tokyo 105-0011, Japan. http://www.jspmi.or.jp/mapright.htm)
TOPICS:
----------------------------------------
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.)
----- 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.)
----- 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)
----- 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)
# Information for speakers
General Talk will have 25 minutes for presentation and 5 minutes for discussion.
=== Technical Committee on Dependable Computing (DC) ===
# FUTURE SCHEDULE:
Wed, Dec 2, 2009 - Fri, Dec 4, 2009: Kochi City Culture-Plaza [Mon, Sep 14], Topics: Design Gaia 2009 ―New Field of VLSI Design―
Fri, Dec 11, 2009: [Tue, Oct 20]
# SECRETARY:
Masato Kitakami
Graduate School of Advanced Integration Science,
Chiba University
1-33 Yayoi-cho Inage-ku, Chiba 263-8522 JAPAN
TEL/FAX +43.290.3039
E-mail:fultyba-u
Last modified: 2009-08-21 14:19:20
|
Notification: Mail addresses are partially hidden against SPAM.
|