Information and Systems-Dependable Computing(Date:2010/07/28)

Presentation
表紙

,  

[Date]2010/7/28
[Paper #]
目次

,  

[Date]2010/7/28
[Paper #]
Lightweight Fault-Tolerance for Distributed Information Appliances

Takaharu FUJII,  Taku FUKUSHIMA,  Midori SUGAYA,  Tatsuo NAKAJIMA,  

[Date]2010/7/28
[Paper #]DC2010-14
Fault-Resilient Multiple-Valued Asynchronous Data-Transfer Scheme

Atsushi MATSUMOTO,  Naoya ONIZAWA,  Takahiro HANYU,  

[Date]2010/7/28
[Paper #]DC2010-15
Design and Performance Evaluation of the Parallel Model Checking Algorithm SCC-OWCTY using Strongly Connected Components

Toshiki KAWABATA,  Fumiyoshi KOBAYASHI,  Kazunori UEDA,  

[Date]2010/7/28
[Paper #]DC2010-16
An approach to state space explosion in the LMNtal model checker

Masato GOCHO,  Kazunori UEDA,  

[Date]2010/7/28
[Paper #]DC2010-17
複写される方へ

,  

[Date]2010/7/28
[Paper #]
奥付

,  

[Date]2010/7/28
[Paper #]
裏表紙

,  

[Date]2010/7/28
[Paper #]