| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ディペンダブルコンピューティング研究会 (DC) (検索条件: 2012年度)
「from:2012-12-14 to:2012-12-14」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| DC | 2012-12-14 13:45 |
福井 | アオッサ(福井) | Mobile device prediction for location-based cloud service ○Haibo Yan・Masato Kitakami（Chiba Univ.）  DC2012-73 |
[more] | DC2012-73 pp.1-4 |
| DC | 2012-12-14 14:15 |
福井 | アオッサ(福井) | 転置索引を用いた可逆圧縮データに対する誤り制御 ○戸山光平・北神正人（千葉大） DC2012-74 |
近年，コンピュータで扱う情報量が大規模化してきたことに伴い，データ圧縮技術が多用されるようになってきており，データ検索を... [more] | DC2012-74 pp.5-9 |
| DC | 2012-12-14 14:45 |
福井 | アオッサ(福井) | CANプロトコルによる車載LANにおける高電磁ノイズ下での耐故障性 ○根岸正彦・サイサナソンカム アロムハック・新井雅之・大原 衛・福本 聡（首都大東京） DC2012-75 |
本研究では， 高電磁環境下における車載ネットワークの耐故障技術について考察する． はじめに， 対象となる CAN ... [more] |
DC2012-75 pp.11-15 |
| DC | 2012-12-14 15:15 |
福井 | アオッサ(福井) | 系再構成機能を有する分散制御システムの開発 ○望月 寛・武田裕太・遠山雄二郎（日大） DC2012-76 |
近年，リアルタイムでのより高度な作業を実現するために，複数のコントローラ を用いた分散制御システムが注目されている．筆... [more] |
DC2012-76 pp.17-20 |
| DC | 2012-12-14 16:00 |
福井 | アオッサ(福井) | 過剰テスト緩和のためのテスト生成モデルと故障の許容性に基づくテストへの応用 ○櫻田正明・市原英行・岩垣 剛・井上智生（広島市大） DC2012-77 |
正常に動作するチップを不良と判断してしまう過剰テストは，実効歩留まりの低下を引き起こす．本論文では，過剰テスト緩和を目的... [more] | DC2012-77 pp.21-26 |
| DC | 2012-12-14 16:30 |
福井 | アオッサ(福井) | ATP閉そくシステムにおける形式化と分析の検討 ○謝 国・望月 寛・高橋 聖・中村英夫（日大） DC2012-78 |
[more] | DC2012-78 pp.27-30 |
| DC | 2012-12-14 17:00 |
福井 | アオッサ(福井) | SMTソルバによる単線自動閉そく装置の検証 ○寺田夏樹（鉄道総研） DC2012-79 |
形式手法によりプログラム仕様の品質を向上させることが期待されている．仕様の検証に関して，定理証明を使用する手法は，厳密な... [more] | DC2012-79 pp.31-36 |
[研究会発表申込システムのトップページに戻る]