===============================================
Technical Committee on Dependable Computing (DC)
Chair: Tomohiro Yoneda (NII) Vice Chair: Seiji Kajihara (Kyushu Inst. of Tech.)
Secretary: Masato Kitagami (Chiba Univ.), Tomohiro Nakamura (Hitachi)
DATE:
Thu, Oct 20, 2011 11:00 - 16:50
PLACE:
(http://www.jspmi.or.jp/mapright.htm)
TOPICS:
----------------------------------------
Thu, Oct 20 AM (11:00 - 12:00)
----------------------------------------
(1) 11:00 - 11:30
K-induction-based model checking of concurrent systems with unbounded integer variables
Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
(2) 11:30 - 12:00
A Study on Sequential Circuits Tolerating for Transient Faults in a Highly Electromagnetic Environment
Aromhack Saysanasongkham, Kenta Imai, Yoshifumi Koyama, Masayuki Arai, Satoshi Fukumoto (Tokyo Metropolitan Univ.)
----- Lunch Break ( 60 min. ) -----
----------------------------------------
Thu, Oct 20 PM (13:00 - 14:30)
----------------------------------------
(3) 13:00 - 13:30
Data Movement Algorithm for Flash SSD with Long Life-time
Daiki Mamada, Masato Kitakami (Chiba Univ.)
(4) 13:30 - 14:00
Neighborhood Level Error Control Codes for Multiple-level Systems
Shohei Kotaki, Masato Kitakami (Chiba Univ.)
(5) 14:00 - 14:30
Modeling and Performance Evaluation of Colluding Attack in Volunteer Computing
Kan Watanabe, Nobuo Funabiki, Toru Nakanishi (Okayama Univ.), Masaru Fukushi (Tohoku Univ.)
----- Break ( 10 min. ) -----
----------------------------------------
Thu, Oct 20 PM (14:40 - 15:40)
----------------------------------------
(6) 14:40 - 15:10
Network Coding-Based Gossip
Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
(7) 15:10 - 15:40
An Online Routing Mechanism with Higher Fault-Tolerance for Network-on-Chip
Daihan Wang, Chammika Mannakkara, Vijay Holimath, Tomohiro Yoneda (NII)
----- Break ( 10 min. ) -----
----------------------------------------
Thu, Oct 20 PM (15:50 - 16:50)
----------------------------------------
(8) 15:50 - 16:50
[Invited Talk]
*
Yuichiro Ajima (Fujistu)
# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.
=== Technical Committee on Dependable Computing (DC) ===
# FUTURE SCHEDULE:
Mon, Nov 28, 2011 - Wed, Nov 30, 2011: NewWelCity Miyazaki [Thu, Sep 1], Topics: Design Gaia 2010 -New Field of VLSI Design-
Fri, Dec 16, 2011: [Wed, Oct 19], Topics: Safety, etc
# 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: 2011-08-18 18:01:07
|
Notification: Mail addresses are partially hidden against SPAM.
|