IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev DC Conf / Next DC Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

===============================================
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.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[Return to DC Schedule Page]   /  
 
 Go Top  Go Back   Prev DC Conf / Next DC Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan