IEICE Technical Committee Submission System
Conference Schedule		 Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

Technical Committee on Dependable Computing (DC)  (Searched in: 2011)

Search Results: Keywords 'from:2011-10-20 to:2011-10-20'
[Go to Official DC Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 8 of 8  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
DC 2011-10-20
11:00		 Tokyo   K-induction-based model checking of concurrent systems with unbounded integer variables
Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2011-20		 We discuss k-induction-based model checking that uses a Satisfiability Modulo Theories (SMT) solver. The state space of ... [more] DC2011-20
pp.1-5
DC 2011-10-20
11:30		 Tokyo   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.) DC2011-21		 Recently, research on miniaturizing and densifying the power converter circuit are showing significant progressions. Con... [more] DC2011-21
pp.7-11
DC 2011-10-20
13:00		 Tokyo   Data Movement Algorithm for Flash SSD with Long Life-time
Daiki Mamada, Masato Kitakami (Chiba Univ.) DC2011-22		 Recently，storage capacity of flash memories is rapidly increasing，so the solid-state drive (SSD) constituted by the flas... [more] DC2011-22
pp.13-18
DC 2011-10-20
13:30		 Tokyo   Neighborhood Level Error Control Codes for Multiple-level Systems
Shohei Kotaki, Masato Kitakami (Chiba Univ.) DC2011-23		 Multiple-level concept, which deals with more than 2 states as data unit, is used in such systems as Flash Memory or mod... [more] DC2011-23
pp.19-24
DC 2011-10-20
14:00		 Tokyo   Modeling and Performance Evaluation of Colluding Attack in Volunteer Computing
Kan Watanabe, Nobuo Funabiki, Toru Nakanishi (Okayama Univ.), Masaru Fukushi (Tohoku Univ.) DC2011-24		 This paper proposes a model of a colluding attack in Volunteer Computing (VC), where some of participants are unreliable... [more] DC2011-24
pp.25-30
DC 2011-10-20
14:40		 Tokyo   Network Coding-Based Gossip
Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2011-25		 Gossip is a broadcasting method for distributed systems. In gossip, the node that initiates a broadcast sends the broadc... [more] DC2011-25
pp.31-36
DC 2011-10-20
15:10		 Tokyo   An Online Routing Mechanism with Higher Fault-Tolerance for Network-on-Chip
Daihan Wang, Chammika Mannakkara, Vijay Holimath, Tomohiro Yoneda (NII) DC2011-26		 In this work we present an idea of a new online fault-tolerant routing mechanism for Network-on-Chip (NoC).
Compared wi... [more]		 DC2011-26
pp.37-42
DC 2011-10-20
15:50		 Tokyo   [Invited Talk] *
Yuichiro Ajima (Fujistu) DC2011-27		 (To be available after the conference date) [more] DC2011-27
pp.43-49
 Results 1 - 8 of 8  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan