中田 明夫 | 広島市立大学 大学院情報科学研究科 システム工学専攻
スポンサーリンク
概要
関連著者
-
中田 明夫
広島市立大学 大学院情報科学研究科
-
中田 明夫
広島市立大学 大学院情報科学研究科 システム工学専攻
-
中田 明夫
広島市立大学大学院情報科学研究科システム工学専攻
-
中田 明夫
広島市立大学大学院情報科学研究科
-
百々 太市
広島市立大学情報科学部
-
山脇 弘
広島市立大学大学院情報科学研究科システム工学専攻|現在 Nttソフトウェア(株)勤務
-
百々 太市
広島市立大学大学院情報科学研究科システム工学専攻
-
山脇 弘
広島市立大学大学院情報科学研究科システム工学専攻|現在,NTTソフトウェア(株)勤務
-
河井 敏宏
広島市立大学情報科学部
-
倉田 和哉
広島市立大学大学院情報科学研究科システム工学専攻
-
椛島 和宏
広島市立大学大学院情報科学研究科システム工学専攻
著作論文
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (ディペンダブルコンピューティング)
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証 (コンピュータシステム)
- 時間オートマトンのモデル検査(モデル検査,フォーマルアプローチ論文)
- 時間オートマトンのモデル検査
- 時間オートマトンにとる実時間システムの形式的検証
- 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作
- リソース制約を持つ複数タスク動作仕様におけるタイムバジェット最適化の一手法