| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ディペンダブルコンピューティング研究会 (DC) (検索条件: 2010年度)
「from:2010-10-14 to:2010-10-14」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| DC | 2010-10-14 13:00 |
東京 | 機械振興会館 | Hardware Objectモデルに基づくネットワーク環境下におけるhw/sw複合体システムの設計例 ○田向 権・有泉政博・ベルグシュタイン ナダヴ（東京農工大）・ロブリア ジョナタン（グルノーブル第1大）・関根優年（東京農工大）  DC2010-18 |
本論文では，hardware object modelに基づくnetworked hw/sw complex syste... [more] | DC2010-18 pp.1-6 |
| DC | 2010-10-14 13:30 |
東京 | 機械振興会館 | Grid Monitoring System based on GMA ○Abu ElEnin Sherihan・Masato Kitakami（Chiba Univ.） DC2010-19 |
[more] | DC2010-19 pp.7-12 |
| DC | 2010-10-14 14:00 |
東京 | 機械振興会館 | 最近のデータレプリケーション手法の研究動向 ○寺田夢人・福本 聡・新井雅之（首都大東京） DC2010-20 |
分散システムにおいて，オブジェクトのレプリカ配置を決定して管理するためのデータレプリケーション手法が数多く提案されている... [more] | DC2010-20 pp.13-18 |
| DC | 2010-10-14 14:40 |
東京 | 機械振興会館 | Webアプリケーションの脆弱性検出を目的とした自動テストツールの性能評価 ○中井亮介・土屋達弘・菊野 亨（阪大） DC2010-21 |
本研究ではWebアプリケーションの脆弱性検出ツールを用いた実験を行い，False Positiveの割合などを基準として... [more] | DC2010-21 pp.19-23 |
| DC | 2010-10-14 15:10 |
東京 | 機械振興会館 | GPUを用いた状態可到達性解析の高速化 ○仲田善満・土屋達弘・菊野 亨（阪大） DC2010-22 |
状態可到達性解析とは，システム検証のために状態空間を探索する処理である．この処理はモデル検査などの自動検証において欠かせ... [more] | DC2010-22 pp.25-29 |
| DC | 2010-10-14 15:50 |
東京 | 機械振興会館 | ［招待講演］DSN2010報告(The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks) ○今井 雅（東大） DC2010-23 |
[more] | DC2010-23 pp.31-34 |
[研究会発表申込システムのトップページに戻る]