|
|
| Chair |
|
Takashi Aikyo (STARC) |
| Vice Chair |
|
Tomohiro Yoneda (NII) |
| Secretary |
|
Masato Kitagami (Chiba Univ.), Michinobu Nakao (Renesas) |
|
| Conference Date |
Mon, Oct 20, 2008 13:30 - 17:00 |
| Topics |
|
| Conference Place |
|
Contact
Person |
03-4212-6000 |
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) |
Mon, Oct 20 PM
13:30 - 15:00 |
| (1) |
13:30-13:55 |
Fault-Tolerant Multilayer Neural Networks for Multiple Weight-and-Neuron-Fault  DC2008-22 |
Kazuhiro Nishimura (Polytech Univ.), Masato Ootsu (JP Network), Tadayoshi Horita (Polytech Univ.), Itsuo Takanami (Ichinoseki kousen (former)) |
| (2) |
13:55-14:20 |
An implementation of a fault-tolerant 2D systolic array on an FPGA and its evaluation DC2008-23 |
Tadayoshi Horita (Polytechnic Univ.), Itsuo Takanami (Ichinoseki National College of Tech. in former times) |
| (3) |
14:20-14:45 |
A Note on Evaluation Techniques for Fault Tolerant Processor DC2008-24 |
Satoshi Fukumoto, Masayuki Arai, Kazuhiko Iwasaki (Tokyo Metropolitan Univ.) |
| |
14:45-15:00 |
Break ( 15 min. ) |
Mon, Oct 20 PM
15:00 - 16:00 |
| (4) |
15:00-15:25 |
A Power Optimization Method for Quorum Systems DC2008-25 |
Munetoshi Ishikawa, Koji Hasebe (Tsukuba Univ.), Akiyoshi Sugiki (JST), Takahiro Shinagawa (Tsukuba Univ.), Kazuhiko Kato (Tsukuba Univ., JST) |
| (5) |
15:25-15:50 |
Feature Interaction Verification Using Model Checking with Interpolation DC2008-26 |
Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
| |
15:50-16:00 |
Break ( 10 min. ) |
Mon, Oct 20 PM
16:00 - 17:00 |
| (6) |
16:00-17:00 |
[Invited Talk]
DSN2008 Report The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks DC2008-27 |
Nobuyasu Kanekawa (Hitachi) |
| Announcement for Speakers |
| General Talk (25) | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| DC |
Technical Committee on Dependable Computing (DC) [Latest Schedule]
|
| Contact Address |
Masato Kitakami
Graduate School of Integration Science,
Chiba University
1-33 Yayoi-cho Inage-ku, Chiba 263-8522 JAPAN
TEL/FAX +42.290.3269
E- :    f ulty  ba-u |
Last modified: 2010-10-12 19:46:05
|