電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 110, Number 168

ディペンダブルコンピューティング

[PREV] [NEXT]

[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]

目次

DC2010-14
情報家電向けの分散環境における軽量な耐障害機構
藤井貴晴・○福島　拓・菅谷みどり・中島達夫（早大）
pp. 1 - 6

DC2010-15
リンク故障リカバリ機能を有する多値非同期転送方式
○松本　敦・鬼沢直哉・羽生貴弘（東北大）
pp. 7 - 11

DC2010-16
強連結成分の特性を用いた並列モデル検査アルゴリズムSCC-OWCTYの設計と評価
○川端聡基・小林史佳・上田和紀（早大）
pp. 13 - 18

DC2010-17
LMNtalモデル検査器における状態爆発対策
○後町将人・上田和紀（早大）
pp. 19 - 24

注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．