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

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

,  

[発表日]2011/10/13
[資料番号]
目次

,  

[発表日]2011/10/13
[資料番号]
上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査(ネットワーク環境でのディペンダビリティ,及び一般)

井上 裕之,  土屋 達弘,  菊野 亨,  

[発表日]2011/10/13
[資料番号]DC2011-20
高電磁環境下における過渡故障に耐性を持つ順序回路方式の検討(ネットワーク環境でのディペンダビリティ,及び一般)

サイサナソンカム アロムハック,  今井 健太,  小山 善史,  新井 雅之,  福本 聡,  

[発表日]2011/10/13
[資料番号]DC2011-21
長寿命フラッシュSSDのためのデータ移動アルゴリズム(ネットワーク環境でのディペンダビリティ,及び一般)

儘田 泰樹,  北神 正人,  

[発表日]2011/10/13
[資料番号]DC2011-22
多値システムのための近傍値誤り制御符号(ネットワーク環境でのディペンダビリティ,及び一般)

小滝 翔平,  北神 正人,  

[発表日]2011/10/13
[資料番号]DC2011-23
ボランティアコンピューティングにおける結託攻撃のモデル化と性能評価(ネットワーク環境でのディペンダビリティ,及び一般)

渡邊 寛,  舩曵 信生,  中西 透,  福士 将,  

[発表日]2011/10/13
[資料番号]DC2011-24
ネットワークコーディングに基づくゴシップの提案(ネットワーク環境でのディペンダビリティ,及び一般)

徳山 瞬,  土屋 達弘,  菊野 亨,  

[発表日]2011/10/13
[資料番号]DC2011-25
An Online Routing Mechanism with Higher Fault-Tolerance for Network-on-Chip

,  

[発表日]2011/10/13
[資料番号]DC2011-26
8万ノードを接続する京速コンピュータ「京」のTofuインターコネクト(ネットワーク環境でのディペンダビリティ,及び一般)

安島 雄一郎,  

[発表日]2011/10/13
[資料番号]DC2011-27
複写される方へ

,  

[発表日]2011/10/13
[資料番号]
Notice for Photocopying

,  

[発表日]2011/10/13
[資料番号]
奥付

,  

[発表日]2011/10/13
[資料番号]
裏表紙

,  

[発表日]2011/10/13
[資料番号]