広島市立大学 · 情報科学部 / 情報科学研究科 · 教授

研究关键词リアルタイムシステム・形式的手法・モデル検査・組込みシステム・設計検証

研究领域ソフトウェア・情報学基礎論・計算機システム・通信工学

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法 電子情報通信学会論文誌 J109-D (9) (共著) 2026/092026 · 論文
• マルチタスクシステムのメモリ消費量削減のためのメモリ時間積を考慮したスケジューリングの提案 電子情報通信学会ソフトウェアサイエンス研究会, 信学技報 SS2025-28 125 (288),31-36頁 (共著) 2025/12/122025 · 論文
• プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法とその評価 電子情報通信学会ソフトウェアサイエンス研究会, 信学技報 SS2023-41 123 (335),58-63頁 (共著) 2024/01/182023 · 論文
• プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法 2023 年度(第74 回)電気・情報関連学会中国支部連合大会予稿集 (共著) 2023/10/282023 · 論文

• 可動ノードを含む無線センサネットワークの電力最適な動的再構成および実装
• 実時間制約を含ネットワークシステムのHW/SWコデザインに関する研究
• IP再利用の為の次世代検証技術研究
• 高信頼性実時間並行システムの設計と検証に関する研究

• 官方个人主页