Mon, Oct 20 PM 13:30 - 15:00 |
(1) |
13:30-13:55 |
Fault-Tolerant Multilayer Neural Networks for Multiple Weight-and-Neuron-Fault |
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 |
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 |
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 |
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 |
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 |
Nobuyasu Kanekawa (Hitachi) |