Search results 9
Paper図書
National Diet Library
- Subject Heading信頼性 / ユビキタスネットワーク / 動的再構成可能プロセッサ / 実時間システム / モデル検査 / 無線...
Paper図書
National Diet Library
- Subject HeadingFPGA / 部分グラフ同型判定 / データ依存回路 / 計算困難問題 / 動的再構成 / グラフアルゴリズム / 専用回路
Digital文書・図像類
Other Libraries in Japan
- Subject Heading組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述 形式的検証 動的再構成可能システム CEGAR
- Note (General)金沢大学 理工研究域電子情報通信学系 動的再構成可能組込みシステムは,ソフトウ......(汎用CPU)とハードウェア(動的再構成可能プロセッサ(DRP))が協......どを扱える設計検証を実現して,動的再構成可能組込みシステムの高度な設計検証技術を確立して,その有効性...
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject HeadingRedefis 動的再構成可能ハードウェア DES JPEG Dynamic Reco...
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject Heading特定用途向けプロセッサ 動的再構成可能プロセッサ AES Application Specif...
Digital文書・図像類
Available onlineOther Libraries in Japan
- Subject Heading動的再構成可能プロセッサ 特定用途向けプロセッサ Vulcan2 IS...
Paper文書・図像類
Other Libraries in Japan
- Subject HeadingVLSI ビットシリアルアーキテクチャ 並列プロセッサ 動的再構成 演算語長 知能ロボット 知能集積システム 高速応答性
Paper文書・図像類
Other Libraries in Japan
- Subject Heading...ング 並列VLSIプロセッサ 動的再構成 半田付埋込型ヒータ 多層基板試作システム 知能ロボット 被...
Reached to the end of result.