情報・システム-ディペンダブルコンピューティング(開催日：2005/06/10)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2005/6/10
[資料番号]
目次

,  

[発表日]2005/6/10
[資料番号]
モデル検査による分散システムにおける合意アルゴリズムの安全性の検証(ディペンダブルソフトウェアとネットワーク及び一般)

松尾 尚文,  土屋 達弘,  菊野 亨,  

[発表日]2005/6/10
[資料番号]DC2005-7
1ステップ分散合意問題の可解性について(ディペンダブルソフトウェアとネットワーク及び一般)

泉 泰介,  増澤 利光,  

[発表日]2005/6/10
[資料番号]DC2005-8
BISTにおけるReseedingの確率的モデル : テスト手法選択の指針として(ディペンダブルソフトウェアとネットワーク及び一般)

古屋 清,  

[発表日]2005/6/10
[資料番号]DC2005-9
10 Gigabit Ethernet用の軽量かつ高速なCRC-32回路の実装(ディペンダブルソフトウェアとネットワーク及び一般)

片下 敏宏,  坂巻 佳壽美,  乾 剛,  名古屋 貢,  寺島 康典,  戸田 賢二,  

[発表日]2005/6/10
[資料番号]DC2005-10
分散チェックポインティングの評価手法に関する検討(ディペンダブルソフトウェアとネットワーク及び一般)

大原 衛,  新井 雅之,  福本 聡,  岩崎 一彦,  

[発表日]2005/6/10
[資料番号]DC2005-11
R-2Rラダー型D-Aコンバータの冗長設計手法(ディペンダブルソフトウェアとネットワーク及び一般)

佐久間 大斗,  新井 雅之,  福本 聡,  岩崎 一彦,  

[発表日]2005/6/10
[資料番号]DC2005-12
複写される方へ

,  

[発表日]2005/6/10
[資料番号]
Notice about photocopying

,  

[発表日]2005/6/10
[資料番号]
奥付

,  

[発表日]2005/6/10
[資料番号]