2008年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
B-031AnTオペレーティングシステムにおける高精度な周期実行制御法の設計

古川 友樹,  谷口 秀夫,  田端 利宏,  

B-032AnTオペレーティングシステムにおけるLinuxのFDドライバのプロセス化手法

島崎 泰,  谷口 秀夫,  田端 利宏,  乃村 能成,  

B-033Apacheサーバの実行中ライブラリに対する入替えの評価

西野 裕一,  谷口 秀夫,  

B-034仮想計算機の画面転送処理効率化のためのWindowsディスプレイドライバ

坂井 成道,  後藤 真孝,  峰松 美佳,  西林 泰如,  村井 信哉,  

B-035形式手法を用いた組込み用OSの試作 : Bメソッドによる仕様検証実験

川守田 慶,  野口 健一郎,  

B-036拡張状態遷移技法を用いた仕様検証の実験 : 組込み用OS試作への適用

野口 健一郎,  川守田 慶,  

B-037携帯機器向け適応型サービスプラットフォームの提案と評価

奥山 玄,  中川 好久,  才田 好則,  臼井 和敏,