スポンサーリンク
広島市立大学 大学院情報科学研究科 | 論文
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (ディペンダブルコンピューティング)
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (コンピュータシステム)
- ネットワークオンチップにおける回路面積と配線コストを考慮したチップ内通信構造最適化の一手法(コンピュータシステムの設計・検証及び一般,デザインガイア2007-VLSI設計の新しい大地を考える研究会)
- 非同期型アニメーションによる意見交換支援システム(セッション5,新領域創造インタラクション)
- 時間オートマトンのモデル検査(モデル検査,フォーマルアプローチ論文)
- 格子状道路における車車間アドホック通信を用いた渋滞緩和を目的とする自動車走行制御(セッション6:ITSアプリケーション)
- レポートの課題との関連度と意見文抽出による情報量評価(教育システム,システム開発論文)
- 時間オートマトンのモデル検査
- マルチエージェントに基づいた予備VP予約法とその実験的評価(ネットワークソフトウェア)
- 地図型アニメーションインタフェースにおけるキーワードの価値変化の検出
- キーワードの価値変化を捉えるための地図型アニメーションインタフェース(「Webインテリジェンス」及び一般)
- キーワードの価値変化を捉えるための地図型アニメーションインタフェース(インタフェース・ナビゲーション(学生セッション))
- 時間オートマトンにとる実時間システムの形式的検証
- 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法
- B-19-33 アドホックネットワークを活用した児童見守りシステムにおける誤登録された経路の修復(B-19. ネットワークソフトウェア,一般セッション)
- B-19-32 アドホックネットワークを活用した児童見守りシステムにおける直前のタグ情報を利用した認識率の向上(B-19. ネットワークソフトウェア,一般セッション)
- センサネットワークにおける間欠通信のための経路を考慮した同期方式の提案(無線ネットワーク・センサネットワーク,インターネットトラヒック,TCP/IP,性能解析・評価,ネットワークモデル及び一般)
- センサネットワークにおけるデータ集約を効率化するクラスタリング手法(無線ネットワーク・センサネットワーク,インターネットトラヒック,TCP/IP,性能解析・評価,ネットワークモデル及び一般)
- 遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証
- B-19-7 センサネットワークの長寿命化のための省電力通信を用いた経路探索法(B-19.ネットワークソフトウェア,一般セッション)
スポンサーリンク