学生研究発表：上田健司，中祖達也（コンピュータデザイン研究室）


上田健司君，中祖達也君（博士前期課程1年）が下記のように研究発表を行いました．

  • 研究会名：デザインガイア
  • 開催日時：2012年11月27日
  • 開催場所：九州大学
  • 発表タイトル：
    上田：解の再利用を用いたSATに基づくテスト生成におけるインスタンス順序と変数割当順序の決定法
    中祖：耐過渡故障データパス合成における演算器バインディングのためのヒューリスティックアルゴリズム