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) [schedule] [select]
Chair Seiji Kajihara (Kyushu Inst. of Tech.)
Vice Chair Nobuyasu Kanekawa (Hitachi)
Secretary Tomohiro Nakamura (Hitachi), Tatsuhiro Tsuthiya (Osaka Univ.)

Conference Date Fri, Dec 14, 2012 13:45 - 17:30
Topics Safety, etc. 
Conference Place AOSSA Fukui 
Address 1-4-1 Teyori, Fukui-shi, Fukui 910-0858 Japan
Transportation Guide 1 min walk from JR Fukui station
http://www.aossa.jp/access.html
Contact
Person
鉄道総合技術研究所
+81-776-20-1535 (Venue)
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)

Fri, Dec 14 PM 
13:45 - 17:30
(1) 13:45-14:15 Mobile device prediction for location-based cloud service DC2012-73 Haibo Yan, Masato Kitakami (Chiba Univ.)
(2) 14:15-14:45 Error Control for Loss-less Compressed Data by Using Inverted Index DC2012-74 Kohei Toyama, Masato Kitakami (Chiba Univ.)
(3) 14:45-15:15 Fault Tolerance of an In-vehicle LAN by CAN Protocol under Severe Electro-magnetic Noise DC2012-75 Masahiko Negishi, Aromhack Saysanasongkham, Masayuki Arai, Mamoru Ohara, Satoshi Fukumoto (Tokyo Metropolitan Univ.)
(4) 15:15-15:45 Development of Distributed Control System Using Flexible System Reconfiguration DC2012-76 Hiroshi Mochizuki, Yuta Takeda, Yujiro Tohyama (Nihon Univ.)
  15:45-16:00 Break ( 15 min. )
(5) 16:00-16:30 A Test Generation Model for Over-testing Alleviation and Its Application to Testing Based on Fault Acceptability DC2012-77 Masaaki Sakurada, Hideyuki Ichihara, Tsuyoshi Iwagaki, Tomoo Inoue (HCU)
(6) 16:30-17:00 Research on Formalization and Analysis of Automatic Train Protection and Block System DC2012-78 Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura (Nihon Univ.)
(7) 17:00-17:30 Verification of Automatic Block System for Single Line Using SMT Solver DC2012-79 Natsuki Terada (RTRI)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
DC Technical Committee on Dependable Computing (DC)   [Latest Schedule]
Contact Address  


Last modified: 2012-10-21 01:25:45


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