スポンサーリンク
岡山県立大学 情報工学部 情報システム工学科 | 論文
- B-027 時間ペトリネットでモデル化されたGALSシステムを対象としたUPPAALによる自動検証手法(ソフトウェアサイエンス,B分野:ソフトウェア)
- メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ(システムと信号処理及び一般)
- メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ(システムと信号処理及び一般)
- メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ(システムと信号処理及び一般)
- C-016 多様な資源を対象とした多資源非同期式アービタの一構成(システム設計,C分野:ハードウェア・アーキテクチャ)
- メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ(システムと信号処理及び一般)
- 状態マシン図を用いたスマートフォンアプリのモデル化
- 状態マシン図を用いたスマートフォンアプリのモデル化
- エネルギー保存を考慮した画素値分布推定法(画像処理・符号化及び一般)
- エネルギー保存を考慮した画像の線形変換法(マルチメディア通信/システム,ライフログ活用技術,IP放送/映像伝送,メディアセキュリティ,一般)
- エネルギー保存を考慮した画像の線形変換法(マルチメディア通信/システム,ライフログ活用技術,IP放送/映像伝送,メディアセキュリティ,一般)
- GPGPUを用いた透視化マルチウィンドウの一高速合成手法
- リングセグメント型GALSシステムの階層化
- エネルギー保存を考慮した画像の線形変換法(マルチメディア通信/システム,ライフログ活用技術,IP放送/映像伝送,メディアセキュリティ,一般)
スポンサーリンク