検索結果 9 件
紙図書
国立国会図書館
- 件名信頼性 / ユビキタスネットワーク / 動的再構成可能プロセッサ / 実時間システム / モデル検査 / 無線...
紙図書
国立国会図書館
- 件名FPGA / 部分グラフ同型判定 / データ依存回路 / 計算困難問題 / 動的再構成 / グラフアルゴリズム / 専用回路
デジタル文書・図像類
全国の図書館
- 件名組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述 形式的検証 動的再構成可能システム CEGAR
- 一般注記金沢大学 理工研究域電子情報通信学系 動的再構成可能組込みシステムは,ソフトウ......(汎用CPU)とハードウェア(動的再構成可能プロセッサ(DRP))が協......どを扱える設計検証を実現して,動的再構成可能組込みシステムの高度な設計検証技術を確立して,その有効性...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名Redefis 動的再構成可能ハードウェア DES JPEG Dynamic Reco...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名特定用途向けプロセッサ 動的再構成可能プロセッサ AES Application Specif...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名動的再構成可能プロセッサ 特定用途向けプロセッサ Vulcan2 IS...
紙文書・図像類
全国の図書館
- 件名VLSI ビットシリアルアーキテクチャ 並列プロセッサ 動的再構成 演算語長 知能ロボット 知能集積システム 高速応答性
紙文書・図像類
全国の図書館
- 件名...ング 並列VLSIプロセッサ 動的再構成 半田付埋込型ヒータ 多層基板試作システム 知能ロボット 被...
検索結果は以上です。