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

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

Volume 112, Number 362

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

開催日 2012-12-14 / 発行日 2012-12-07

[PREV] [NEXT]

[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

DC2012-73
Mobile device prediction for location-based cloud service
○Haibo Yan・Masato Kitakami(Chiba Univ.)
pp. 1 - 4

DC2012-74
転置索引を用いた可逆圧縮データに対する誤り制御
○戸山光平・北神正人(千葉大)
pp. 5 - 9

DC2012-75
CANプロトコルによる車載LANにおける高電磁ノイズ下での耐故障性
○根岸正彦・サイサナソンカム アロムハック・新井雅之・大原 衛・福本 聡(首都大東京)
pp. 11 - 15

DC2012-76
系再構成機能を有する分散制御システムの開発
○望月 寛・武田裕太・遠山雄二郎(日大)
pp. 17 - 20

DC2012-77
過剰テスト緩和のためのテスト生成モデルと故障の許容性に基づくテストへの応用
○櫻田正明・市原英行・岩垣 剛・井上智生(広島市大)
pp. 21 - 26

DC2012-78
Research on Formalization and Analysis of Automatic Train Protection and Block System
○Guo Xie・Hiroshi Mochizuki・Sei Takahashi・Hideo Nakamura(Nihon Univ.)
pp. 27 - 30

DC2012-79
SMTソルバによる単線自動閉そく装置の検証
○寺田夏樹(鉄道総研)
pp. 31 - 36

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


IEICE / 電子情報通信学会