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

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

,  

[発表日]2010/7/28
[資料番号]
目次

,  

[発表日]2010/7/28
[資料番号]
情報家電向けの分散環境においける軽量な耐障害機構(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)

藤井 貴晴,  福島 拓,  菅谷 みどり,  中島 達夫,  

[発表日]2010/7/28
[資料番号]DC2010-14
リンク故障リカバリ機能を有する多値非同期転送方式(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)

松本 敦,  鬼沢 直哉,  羽生 貴弘,  

[発表日]2010/7/28
[資料番号]DC2010-15
強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)

川端 聡基,  小林 史佳,  上田 和紀,  

[発表日]2010/7/28
[資料番号]DC2010-16
LMNtalモデル検査器における状態爆発対策(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)

後町 将人,  上田 和紀,  

[発表日]2010/7/28
[資料番号]DC2010-17
複写される方へ

,  

[発表日]2010/7/28
[資料番号]
奥付

,  

[発表日]2010/7/28
[資料番号]
裏表紙

,  

[発表日]2010/7/28
[資料番号]