Information and Systems-Dependable Computing(Date:2005/06/10)

Presentation
表紙

,  

[Date]2005/6/10
[Paper #]
目次

,  

[Date]2005/6/10
[Paper #]
Model Checking a Distributed Consensus Algorithm against a Safety Property

Takafumi MATSUO,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2005/6/10
[Paper #]DC2005-7
On Solvability of One-Step Consensus

Taisuke IZUMI,  Toshimitsu MASUZAWA,  

[Date]2005/6/10
[Paper #]DC2005-8
A Probabilistic Model of Reseedings for Built-In Self-Testing : A Guideline for Selecting Test Methodologies

Kiyoshi Furuya,  

[Date]2005/6/10
[Paper #]DC2005-9
Implementation of Fast and Compact CRC-32 Circuit for 10 Gigabit Ethernet

Toshihiro Katashita,  Kazumi Sakamaki,  Takeshi Inui,  Mitsugu Nagoya,  Yasunori Terashima,  Kenji Toda,  

[Date]2005/6/10
[Paper #]DC2005-10
On the Evaluation of Distributed Checkpointing

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

[Date]2005/6/10
[Paper #]DC2005-11
A Method of Redundant Design for R-2R Ladder Type D-A Converter

Hiroto SAKUMA,  Masayuki ARAI,  Satoshi FUKUMOTO,  Kazuhiko IWASAKI,  

[Date]2005/6/10
[Paper #]DC2005-12
複写される方へ

,  

[Date]2005/6/10
[Paper #]
Notice about photocopying

,  

[Date]2005/6/10
[Paper #]
奥付

,  

[Date]2005/6/10
[Paper #]