岡山理科大学 · 工学部 · 准教授

研究キーワード闈炲悓鏈熷紡鍥炶矾・FPGA蹇滅敤

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking
• 相補制御に基づく休止相を隠蔽可能な非同期式直列乗算器の一構成法
• 共有バス型大規模デジタルシステムを対象とした性能評価の高速化
• Globally Asynchronous Locally Synchronous Systemにおける非同期バスの一構成法

• 密結合ヘテロジニアスマルチコアによる高信頼車載応用画像認識の研究
• 複数のFPGAを用いた超高信頼システム設計支援環境の構築
• 非同期式直列演算器に基づいた超低消費電力デジタル補聴器の開発
• ネットワークオンチップに基づく革新的な医用画像処理アクセラレータの開発

• 公式プロフィール