Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]
DC2011-20
上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査
○井上裕之・土屋達弘・菊野 亨（阪大）
pp. 1 - 5
DC2011-21
高電磁環境下における過渡故障に耐性を持つ順序回路方式の検討
○サイサナソンカム アロムハック・今井健太・小山善史・新井雅之・福本 聡（首都大東京）
pp. 7 - 11
DC2011-22
長寿命フラッシュSSDのためのデータ移動アルゴリズム
○儘田泰樹・北神正人（千葉大）
pp. 13 - 18
DC2011-23
多値システムのための近傍値誤り制御符号
○小滝翔平・北神正人（千葉大）
pp. 19 - 24
DC2011-24
ボランティアコンピューティングにおける結託攻撃のモデル化と性能評価
○渡邊 寛・舩曵信生・中西 透（岡山大）・福士 将（東北大）
pp. 25 - 30
DC2011-25
ネットワークコーディングに基づくゴシップの提案
○徳山 瞬・土屋達弘・菊野 亨（阪大）
pp. 31 - 36
DC2011-26
An Online Routing Mechanism with Higher Fault-Tolerance for Network-on-Chip
○Daihan Wang・Chammika Mannakkara・Vijay Holimath・Tomohiro Yoneda（NII）
pp. 37 - 42
DC2011-27
［招待講演］8万ノードを接続する京速コンピュータ「京」のTofuインターコネクト
○安島雄一郎（富士通）
pp. 43 - 49
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．