学位論文情報

2016年度

修士
  • OpenCLを用いたFPGAコンピューティングの性能分析
  • 精度保証付き数値計算のための区間演算FPUの設計 ~区間演算方式の違いが性能に与える影響の調査~
  • 細粒度再構成可能デバイスMPLDにおける機械学習を用いた配置手法
  • 図示された証明木に基づく定理証明支援系の利用に向けたProof Generalと連携するユーザインタフェースの設計と実装
  • セレクタベース論理ブロックSLBを用いた再構成デバイスの評価
学士
  • 吸排気管シミュレーションに用いられるMacCormackスキームのFPGA実装
  • 実数計算ライブラリIFNの高速化を目指した区間演算ライブラリMPFIを用いた設計と実装
  • 結晶構造データからの蛍光X線ホログラムの理論計算の並列化
  • 細粒度再構成可能デバイスMPLDの論理セル配置問題を対象としたSA法におけるコスト関数の改善
  • 証明支援ツールと連携した証明木のLATEX記述抽出機能の実現
  • 区間演算ライブラリMPFIへのHaskellバインディングの設計と実装
  • エンジン制御用RBFネットワークのオンライン学習およびFPGAを用いた高速化の検討
  • メソッドデータベース検索の効率化のためのAPI呼び出しに着目したタグ付け手法の検討
  • プログラムのAPI呼び出し系列の不備について制御構造を踏まえて指摘できるツールの設計と実装
  • 画像の圧縮・復元を行う深層ボルツマンマシンのFPGA実装
  • 再構成デバイスSePLDの0.6μmCMOSプロセスを用いた設計試作
  • マルチポート・マルチバンクメモリを用いた大規模グラフ解析のFPGA実装