スポンサーリンク
大阪大学大学院情報学研究科 | 論文
- 傷病者の自動監視を実現する電子トリアージシステム(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 災害現場の被災者や救援者の行動記述とそれを用いたネットワークシミュレーション環境の提案
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 複数時間オートマトンによる仕様記述と検証
- GUI制御部の記述と実現の一手法
- 規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法
- MANETにおける位置情報マルチキャストルーティングMgCastの提案と性能評価(無線・モバイルネットワーク)
- 無線端末の遭遇履歴情報を用いた移動軌跡推定手法の提案
- 多人数参加型アプリケーションにおける品質要求を考慮した帯域制御の一方式(マルチメディア通信と分散処理)
- 動画の品質劣化の許容度を考慮した帯域制御の一方式
- 帯域割譲交渉による動的帯域制御方式
- 品質要求を考慮した動的な帯域制御を行うプロトコルの提案とその性能評価
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般テスト)