形式検証とランダムシミュレーションを併用した大規模ハードウェア設計検証
スポンサーリンク
概要
IEEE SMC Hiroshima Chapter | 論文
- マルチコアCPU上におけるサフィックス木を用いた文字列検索の並列処理
- 進化型人工神経回路網を用いたロボティックスワームによる協調行動の生成
- 進化型スワームロボットシステムにおけるDifferential Evolutionの実装
- 広告素材の放送枠への割付最適化問題に対する対話型意思決定
- 電子文書の効率管理のためのWebインタフェースの開発