Information and Systems-Dependable Computing(Date:2011/10/13)

Presentation
表紙

,  

[Date]2011/10/13
[Paper #]
目次

,  

[Date]2011/10/13
[Paper #]
K-induction-based model checking of concurrent systems with unbounded integer variables

Hiroyuki INOUE,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2011/10/13
[Paper #]DC2011-20
A Study on Sequential Circuits Tolerating for Transient Faults in a Highly Electromagnetic Environment

Aromhack SAYSANASONGKHAM,  Kenta IMAI,  Yoshifumi KOYAMA,  Masayuki ARAI,  Satoshi FUKUMOTO,  

[Date]2011/10/13
[Paper #]DC2011-21
Data movement Algorithm for Flash SSD with Long Life-time

Daiki MAMADA,  Masato KITAKAMI,  

[Date]2011/10/13
[Paper #]DC2011-22
Neighborhood Level Error Control Codes for Multiple-level Systems

Shohei KOTAKI,  Masato KITAKAMI,  

[Date]2011/10/13
[Paper #]DC2011-23
Modeling and Performance Evaluation of Colluding Attack in Volunteer Computing

Kan WATANABE,  Nobuo FUNABIKI,  Toru NAKANISHI,  Masaru FUKUSHI,  

[Date]2011/10/13
[Paper #]DC2011-24
Network Coding-Based Gossip

Shun TOKUYAMA,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2011/10/13
[Paper #]DC2011-25
An Online Routing Mechanism with Higher Fault-Tolerance for Network-on-Chip

Daihan WANG,  Chammika MANNAKKARA,  Vijay HOLIMATH,  Tomohiro YONEDA,  

[Date]2011/10/13
[Paper #]DC2011-26
8万ノードを接続する京速コンピュータ「京」のTofuインターコネクト(ネットワーク環境でのディペンダビリティ,及び一般)

,  

[Date]2011/10/13
[Paper #]DC2011-27
複写される方へ

,  

[Date]2011/10/13
[Paper #]
Notice for Photocopying

,  

[Date]2011/10/13
[Paper #]
奥付

,  

[Date]2011/10/13
[Paper #]
裏表紙

,  

[Date]2011/10/13
[Paper #]