Information and Systems-Dependable Computing(Date:2004/04/09)

Presentation
表紙

,  

[Date]2004/4/9
[Paper #]
目次

,  

[Date]2004/4/9
[Paper #]
A Concept of a Flexible System and its Applications to Railway Signaling

Hideo NAKAMURA,  Sei TAKAHASHI,  

[Date]2004/4/9
[Paper #]CPSY2004-1,DC2004-1
A Design and Implementation of The Trapezoid Protocol for Replicated Data

Tabito SUZUKI,  Yasuo TANAKA,  Mamoru OHARA,  Masayuki ARAI,  Satoshi FUKUMOTO,  Kazuhiko IWASAKI,  

[Date]2004/4/9
[Paper #]CPSY2004-2,DC2004-2
An Evaluation of Recoverability of Hybrid Checkpointing

Mamoru OHARA,  Yasuo TANAKA,  Masayuki ARAI,  Satoshi FUKUMOTO,  Kazuhiko IWASAKI,  

[Date]2004/4/9
[Paper #]CPSY2004-3,DC2004-3
VLSI Design Education by Development of i8086 Compatible Processor Core and VLSI Development Environment featuring sfl2vl

Masashiro OHYAMA,  Naohiko SHIMIZU,  

[Date]2004/4/9
[Paper #]CPSY2004-4,DC2004-4
Dependable software constructed with post object-oriented technology

Shigeru CHIBA,  

[Date]2004/4/9
[Paper #]CPSY2004-5,DC2004-5
A Note on a testability metric for redundant logic circuits

Masato DOI,  Ryuichi TAKAHASHI,  

[Date]2004/4/9
[Paper #]CPSY2004-6,DC2004-6
Timed Uniform Consensus Protocol Tolerating Crash and Timing Faults

Taisuke IZUMI,  Akinori SAITOH,  Toshimitsu MASUZAWA,  

[Date]2004/4/9
[Paper #]CPSY2004-7,DC2004-7
Dynamic Fault-Tolerance of an Adaptive Router for Parallel Computers

Hajime TOMURA,  Hiroyuki HOSOGOSHI,  Tsutomu YOSHINAGA,  Masahiro SOWA,  

[Date]2004/4/9
[Paper #]CPSY2004-8,DC2004-8
複写される方へ

,  

[Date]2004/4/9
[Paper #]
奥付

,  

[Date]2004/4/9
[Paper #]