本文に飛ぶ

年 〜
年

検索結果 3 件

内部構造が可変な汎用コプロセツサシステムおよびその最適化コンパイラに関する研究

内部構造が可変な汎用コプロセツサシステムおよびその最適化コンパイラに関する研究
紙図書
渡邊, 勝正, 奈良先端科学技術大学院大学1995-1997<Y151-H07458060>
国立国会図書館
  • 件名ハードウエア/ソフトウエアコデザイン ハードウエア/ソフトウエア協調動作 高位合成 再構成可能システム ハードウエアアクセラレータ FPGA 汎用コプロセツサ C...

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
デジタルその他
山根, 智, Yamane, Satoshi2015-06-09平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report2012-04-01 - 2015-03-31p.4p.-
全国の図書館
  • 件名組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述 形式的検証 動的再構成可能システム CEGAR

FPGA向けテクノロジ・マッピングにおける深さ最小ネットワーク生成のための効率的なカット列挙手法

FPGA向けテクノロジ・マッピングにおける深さ最小ネットワーク生成のための効率的なカット列挙手法
デジタル規格・テクニカルリポート類
高田, 大河, 松永, 裕介電子情報通信学会2009-01-29電子情報通信学会技術研究報告108 412/413/414p.57-62
インターネットで読める全国の図書館
  • 件名再構成可能システム FPGA テクノロジ・マッピング カット列挙 reconf...

検索結果は以上です。

RSS