スポンサーリンク
広島市立大学大学院情報科学研究科システム工学専攻 | 論文
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (ディペンダブルコンピューティング)
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (コンピュータシステム)
- 時間オートマトンのモデル検査(モデル検査,フォーマルアプローチ論文)
- 2パラメータ最適停止に対する預言者の不等式 (不確実性と意思決定の数理)
- 時間オートマトンのモデル検査
- 時間オートマトンにとる実時間システムの形式的検証
- 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- $\sigma$-集合体の行列表現と確率制御問題への応用(数理システムにおける最適化理論とその応用)
- M-020 オーバレイネットワークにおける遅延時間のシミュレーションとPlanetLabの比較(M分野:ユビキタス・モバイルコンピューティング,一般論文)
- 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作
- リソース制約を持つ複数タスク動作仕様におけるタイムバジェット最適化の一手法
- 分数型利得に対する最適停止問題 (不確実・不確定環境下における数理的意思決定とその周辺)
- 条件付き本質的上限と最適停止 (不確実・不確定環境下における数理的意思決定とその周辺)
- B-18-10 ICカードとオーバレイネットワークによる災害時の安否確認システム(B-18.ネットワークソフトウェア,一般セッション)
- 水中ワイヤレスセンサネットワークにおける伝搬遅延を考慮したタイムスロットスケジューリング
- 水中ワイヤレスセンサネットワークにおける伝搬遅延を考慮したタイムスロットスケジューリング