Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]
DC2011-20
K-induction-based model checking of concurrent systems with unbounded integer variables
Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
pp. 1 - 5
DC2011-21
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.)
pp. 7 - 11
DC2011-22
Data Movement Algorithm for Flash SSD with Long Life-time
Daiki Mamada, Masato Kitakami (Chiba Univ.)
pp. 13 - 18
DC2011-23
Neighborhood Level Error Control Codes for Multiple-level Systems
Shohei Kotaki, Masato Kitakami (Chiba Univ.)
pp. 19 - 24
DC2011-24
Modeling and Performance Evaluation of Colluding Attack in Volunteer Computing
Kan Watanabe, Nobuo Funabiki, Toru Nakanishi (Okayama Univ.), Masaru Fukushi (Tohoku Univ.)
pp. 25 - 30
DC2011-25
Network Coding-Based Gossip
Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)
pp. 31 - 36
DC2011-26
An Online Routing Mechanism with Higher Fault-Tolerance for Network-on-Chip
Daihan Wang, Chammika Mannakkara, Vijay Holimath, Tomohiro Yoneda (NII)
pp. 37 - 42
DC2011-27
[Invited Talk]
*
Yuichiro Ajima (Fujistu)
pp. 43 - 49
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.