D-10-4 コンパイラを用いた命令変換によるメモリエラーの検出と訂正(D-10.ディペンダブルコンピューティング)
スポンサーリンク
概要
- 論文の詳細を見る
- 2013-03-05
著者
-
片山 吉章
三菱電機株式会社 情報技術総合研究所
-
出口 昌弘
東洋通信機株式会社
-
毛利 公一
立命館大学
-
瀧本 栄二
立命館大学
-
出口 昌弘
三菱電機株式会社情報技術総合研究所
-
若林 大晃
立命館大学
関連論文
- サーバ仮想化技術を利用したアプリケーション障害再現システムの提案(仮想化)
- 1L-8 無線基地局と端末の協調によるQoS制御システム(組込みとネットワーク,学生セッション,アーキテクチャ)
- 4ZB-5 Thin Clientシステムにおけるリムーバブルメディアを介した情報漏洩の防止手法(セキュリティ(4),学生セッション,セキュリティ)
- Thin Clientシステムにおけるリムーバブルメディアのアクセス制御(セッションB-4:セキュアOS)
- 仮想化環境におけるハードウェア障害模擬とHAクラスタシステム試験への適用(信頼性とセキュリティ,SWoPP佐賀2008-2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ)
- 2F-5 マイクロカーネルLavenderにおけるセキュリティ機構の導入
- マイクロカーネルLavenderにおける階層化インタフェース
- 動的なプロセッサコア資源の変動に適応するCPUスケジューラの検討(仮想化(3))
- プライバシ情報の伝播範囲を制御するためのOSレベルの通信制御方式(セッション1-C : 侵入検知(1))
- Privacy-Aware Data Object Containerによる細粒度データアクセス制御方式(セキュリティとプライバシー)
- Privacy-Aware Data Object Container による細粒度データアクセス制御方式
- Privacy-Aware OS Salviaにおけるデータアクセス時のコンテキストに基づく適応的データ保護方式(オペレーティングシステム)
- 異種ネットワーク環境における適応的通信デバイス制御(UBI7:ネットワーク・デバイス制御)
- センサネットワークにおけるゲートウェイサービスの構成(UBI6:プラットフォーム・アーキテクチャ)
- オペレーティングシステムSalviaにおけるデータアクセス制御の記述モデル
- プライバシ保護を実現するオペレーティングシステムのファイルアクセス制御手法(ファイルシステム)
- プライバシ保護を実現するオペレーティングシステムにおけるコンテキスト管理手法(セキュリティ)
- データの拡散防止を実現するコンテキスト適応型ソフトウェア基盤(インターネットとセキュリティ)
- 4W-5 ユーザレベルでの情報漏洩防止機構User-Mode Salviaの構築(認証・アクセス制御,学生セッション,セキュリティ)
- 4W-2 情報漏洩防止のための出力先毎に制御可能なファイルアクセス制御方式(認証・アクセス制御,学生セッション,セキュリティ)
- Thin Clientシステムにおけるリムーバブルメディアのアクセス制御(セッションB-4:セキュアOS)
- プライバシ情報の伝播範囲を制御するためのOSレベルの通信制御方式(セッション1-C : 侵入検知(1))
- 1K-3 協調型仮想計算機システムにおける協調機構(仮想化と言語処理系,学生セッション,アーキテクチャ)
- 1K-2 組込みシステムを想定したXenの軽量化手法(仮想化と言語処理系,学生セッション,アーキテクチャ)
- 1K-1 仮想計算機モニタにおける割込み処理の性能評価(仮想化と言語処理系,学生セッション,アーキテクチャ)
- 2A-6 仮想計算機上のRT-OSと非RT-OSに対するタイマ割込み管理手法(仮想化技術,一般セッション,アーキテクチャ)
- 4W-7 Linux Security Moduleを用いたPrivacy-aware OS Salviaの構築(認証・アクセス制御,学生セッション,セキュリティ)
- 4W-1 Privacy-aware OS Salviaにおけるデータフローを主体としたアクセス制御手法(認証・アクセス制御,学生セッション,セキュリティ)
- リアルタイム仮想化ソフトウェア基盤におけるタイマ割込み通知機構(リアルタイムシステム)
- 協調型仮想計算機システム向けOSにおけるプロセッサ間同期手法(セッション8:仮想化技術(2))
- 1P-3 仮想計算機上でのリアルタイムOSの動作に対する評価と考察(仮想化技術(1),学生セッション,アーキテクチャ)
- 仮想計算機モニタを利用したゲストOSの入出力要求監視手法(仮想化(1))
- 複数の無線基地局を用いたQoS制御システムにおける通信チャネル制御方式(MBL-UBI合同セッション3)
- 個々の学習者の理解状況と学習意欲に合わせたプログラミング教育支援(教育)
- 複数の無線基地局を用いたQoS制御システムにおける通信チャネル制御方式(MBL-UBI合同セッション3)
- 異種ネットワーク環境における適応的通信デバイス制御(UBI7:ネットワーク・デバイス制御)
- センサネットワークにおけるゲートウェイサービスの構成(UBI6:プラットフォーム・アーキテクチャ)
- オペレーティングシステムSalviaにおけるデータアクセス制御の記述モデル
- オペレーティングシステムSalviaにおけるデータアクセス制御の記述モデル
- ユビキタス環境におけるトランザクション処理方式(実行環境)
- ネットワークデバイス切替え時における通信の継続手法(ネットワーク)
- 分散オペレーティングシステムSolelcにおけるメモリ操作のトランザクション化による耐障害性向上手法(OS構成法)
- XenにおけるPCI Passthroughの性能評価
- リアルタイム性保証のためのI/O割込み管理手法
- リアルタイム性保証のためのI/O割込み管理手法
- プライバシアウェアOS Salvia における共有メモリアクセス制御手法
- リアルタイム性保証のためのI/O割込み管理手法
- リアルタイム性保証のためのI/O割込み管理手法
- サーバ仮想化技術を利用した障害試験自動化手法の提案
- 2A-2 仮想化技術を利用した異常処理試験自動化手法 : 試験開始状態の復元(仮想化技術(1),一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2A-1 仮想化技術を利用した異常処理試験自動化手法 : 状態情報収集方式(仮想化技術(1),一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 分散オペレーティングシステムSolelcにおけるファイル管理機構の構成と性能評価(分散ファイルシステム)
- リアルタイム環境に適用可能なUltra DMA転送機構の設計と実装
- 分散オペレーティングシステムSolelcにおけるシステムコール処理の分散化方式
- 動的なコンフィグレーションを可能としたオペレーティングシステムの構成手法
- エージェント指向オペレーティングシステムAGにおけるリフレクティブエージェントの実現手法
- リアルタイム環境に適用可能なUltra DMA転送機構の設計と実装
- 分散オペレーティングシステム Solelc におけるシステムコール処理の分散化方式
- 動的なコンフィグレーションを可能としたオペレーティングシステムの構成手法
- エージェント指向オペレーティングシステムAGにおけるリフレクティブエージェントの実現手法
- 2F-4 マイクロカーネルLavenderにおけるUNIXサーバの構成
- 2F-3 マイクロカーネルLavenderにおけるIPC機構とデバイスドライバの構成
- 2F-2 マイクロカーネルLavenderにおけるネームサーバの構築
- 2F-1 マイクロカーネルLavenderにおけるシステムサーバの処理方式
- マイクロカーネルLavender上へのネットワークシステムサーバの構築
- マイクロカーネルLavender上のファイルシステムサーバの構築と応用
- マイクロカーネルLavenderにおけるプロセス管理方式
- マイクロカーネルLavenderにおける多段階スケジューリング機構
- マイクロカーネルLavenderにおけるIPC機構とデバイスドライバの構成
- マイクロカーネルLavenderにおけるスケジューラの構成
- マイクロカーネルLavenderの構成
- マイクロカーネルLavenderの構成
- マイクロカーネルLavenderにおけるメモリ管理部の構成
- マイクロカーネルLavenderにおけるプロセス管理部の構成
- D-3-2 仮想マシン環境の組込み機器への適応性検討(D-3. ソフトウェアサイエンス,一般セッション)
- 遺伝的アルゴリズムを用いた計算機ホログラムの再生像改善
- 1ZE-2 マルウェア解析のための仮想計算機モニタを用いたシステムコール情報の取得(ネットワークセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 1ZE-1 マルウェア解析のための仮想計算機モニタを用いたシステムコールフック手法(ネットワークセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 仮想計算機モニタXenにおけるMSIを用いたRTOS向け割込み通知機構
- 仮想計算機モニタXenにおけるMSIを用いたRTOS向け割込み通知機構
- データフロー情報に基づくアクセス制御のためのプログラム解析
- マルチチャネル・マルチホップ無線LANシステムにおける経路制御方式
- データフロー情報に基づくアクセス制御のためのプログラム解析
- マルチチャネル・マルチホップ無線LANシステムにおける経路制御方式
- TCP/IPのタスクプロトコルによるアプリケーション化
- OSの多重化とプロセス移植によるフェイルオーバー機構の開発
- 命令レベル動的解析と関数レベル静的解析による侵入検知システムの開発
- コールスタックの制御データ検査によるスタック偽装攻撃検知
- アプリケーション-カーネル間共有メモリを用いたユーザ関数カーネル内実行機構の実現
- アプリケーション-カーネル間共有メモリを用いたユーザ関数カーネル内実行機構の実現
- 複数異種無線環境における自律分散型経路制御方式
- 無線マルチホップネットワークにおけるTCP通信へのネットワークコーディングの適用(インターネットやイントラネットの信頼性,品質,計測,監視,セキュリティ,トラヒック理論及び一般)
- D-6-10 仮想マシン環境における障害通知機構の開発(D-6.コンピュータシステムC(ソフトウェア))
- D-10-4 コンパイラを用いた命令変換によるメモリエラーの検出と訂正(D-10.ディペンダブルコンピューティング)
- D-6-11 LinuxのCgroupsにおけるCPU throttlingの性能評価(D-6.コンピュータシステムC(ソフトウェア))
- 国際会議NDSS2014参加報告
- 国際会議NDSS2014参加報告
- プロセスの耐障害性向上のための多重OSの開発と評価
- Androidにおけるユーザの意図しない情報の漏洩を防止するパーミッション動的制御(セキュリティ,一般)
- シーケンス番号の差分に基づいた経路変更に起因するTCP再送制御の抑制手法(映像/音声サービスの品質,メディア品質,ネットワークの品質・QoS制御,次世代/新世代ネットワークアーキテクチャ,超臨場感コミュニケーション,信頼性,一般)