本文に飛ぶ

年 〜
年

検索結果 18 件

離散構造処理系の基盤アルゴリズムの研究

離散構造処理系の基盤アルゴリズムの研究
紙図書
湊真一, 京都大学 [著][湊真一]2015-2019<Y151-H15H05711>
国立国会図書館
  • 件名...引化 / 離散構造処理系 / 二分決定グラフ / ZDD / 列挙アルゴリズム / データ構造 / BD...

二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究

二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究
紙図書
湊真一, 北海道大学 [著][湊真一]2005-2007<Y151-H17300041>
国立国会図書館
  • 件名二分決定グラフ / BDD / ZBDD / データマイニング / データ...

有向グラフ論理にもとづく量子ドツト情報処理システムの開拓

有向グラフ論理にもとづく量子ドツト情報処理システムの開拓
紙図書
雨宮, 好仁, 北海道大学2000-2001<Y151-H12450134>
国立国会図書館
  • 件名グラフ 論理回路 量子ドツト 二分決定グラフ 単電子

論理関数処理を用いたFPGA用テクノロジマッパの開発

論理関数処理を用いたFPGA用テクノロジマッパの開発
紙図書
松永裕介, 九州大学 [著][松永裕介]2003-2004<Y151-H15300019>
国立国会図書館
  • 件名FPGA / テクノロジマッピング / 論理合成 / 関数分解 / 二分決定グラフ / ブーリアン・マッチング

エージエントの分散制約充足に基づく計算機システムの検証および診断

エージエントの分散制約充足に基づく計算機システムの検証および診断
紙図書
栗原, 正仁, 北海道工業大学1997-1999<Y151-H09650444>
国立国会図書館
  • 件名エージエント 分散制約充足 停止性検証 二分決定グラフ 項書換え系

単一磁束量子論理回路を用いた新機能単一量子集積システムの研究

単一磁束量子論理回路を用いた新機能単一量子集積システムの研究
紙図書
吉川, 信行, 横浜国立大学2000-2002<Y151-H12450144>
国立国会図書館
  • 件名単一磁束量子 SFQ 超伝導集積回路 Josephson素子 BDD 二分決定グラフ セルベ-ス設計法 マイクロプロセツサ

二分決定グラフ論理にもとづく単電子集積デバイスの研究

二分決定グラフ論理にもとづく単電子集積デバイスの研究
紙図書
雨宮, 好仁, 北海道大学1996-1998<Y151-H08455156>
国立国会図書館
  • 件名単電子 シングルエレクトロン 論理回路 二分決定グラフ BDD ロジツク

二分決定グラフを知識表現に用いたデータマイニングシステムの開発

二分決定グラフを知識表現に用いたデータマイニングシステムの開発
紙図書
宮野, 悟, 東京大学1997-1999<Y151-H09558032>
国立国会図書館
  • 件名二分決定グラフ 学習 知識発見 パターンマツチングアルゴリズム データマイ...

ナノショットキーゲート制御量子ドットによるBDDアーキテクチャ単電子集積回路

ナノショットキーゲート制御量子ドットによるBDDアーキテクチャ単電子集積回路
紙図書
長谷川英機, 北海道大学 [著][長谷川英機]2001-2003<Y151-H13305020>
国立国会図書館
  • 件名単電子回路 / 二分決定グラフ (BDD) / ヘキサゴナルBDD量子回路 / 量子ドット...

時相論理に基づく計算機援用形式的設計検証に関する研究

時相論理に基づく計算機援用形式的設計検証に関する研究
紙図書
平石, 裕実, 京都産業大学1991-1992<Y151-H03650301>
国立国会図書館
  • 件名論理設計検証 形式的検証 時相論理 計算機援設計 二分決定グラフ

時相理論に基づく論理設計の形式的検証システムの試作研究

時相理論に基づく論理設計の形式的検証システムの試作研究
紙図書
矢島脩三, 京都大学1993-1994<Y151-H05558030>
国立国会図書館
  • 件名時相論理 論理設計 形式的検証 論理関数処理 二分決定グラフ モデルチエツキング 仕様記述

マイクロプロセツサの形式的論理設計検証システムの試作研究

マイクロプロセツサの形式的論理設計検証システムの試作研究
紙図書
矢島, 脩三, 京都大学1995-1996<Y151-H07558155>
国立国会図書館
  • 件名形式的設計検証 機能レベル設計 時相論理 第一階述語論理 モデルチエツキング 論理関数処理 二分決定グラフ

解空間の圧縮保持によりグラフ最適化問題を解く技法 : 平成30年度実施状況報告書

解空間の圧縮保持によりグラフ最適化問題を解く技法 : 平成30年度実施状況報告書
デジタル規格・テクニカルリポート類
川原, 純奈良先端科学技術大学院大学2019
インターネットで読める全国の図書館
  • 件名グラフアルゴリズム データ構造 区間グラフ 二分決定グラフ ネットワーク信頼性評価

論理関数高速処理機構に関する基礎的研究

論理関数高速処理機構に関する基礎的研究
紙図書
矢島, 修三, 京都大学1993-1994<Y151-H05452352>
国立国会図書館
  • 件名論理関数 二分決定グラフ 論理関数処理 論理設計支援 並列アルゴリズム 計算複雑さ ...

共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究

共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
紙図書
矢島, 脩三, 京都大学1990-1991<Y151-H02452162>
国立国会図書館
  • 件名論理関数 二分決定グラフ 論理関数処理 計算機援用設計 記号シミユレーシヨン タイミ...

等価検証の効率化に関する一考察

等価検証の効率化に関する一考察
デジタル規格・テクニカルリポート類
松永, 裕介電子情報通信学会CPSY研究会2002-11電子情報通信学会技術研究報告, CPSY2002-63(2002-11)p.73-78
インターネットで読める全国の図書館
  • 件名形式的検証 等価性検証 二分決定グラフ formal verification equivalen...

ブーリアンマッチングを利用したFPGAの深さ最小化マッピング手法について

ブーリアンマッチングを利用したFPGAの深さ最小化マッピング手法について
デジタル規格・テクニカルリポート類
松永, 裕介電子情報通信学会VLD研究会, CPS研究会2002-01電子情報通信学会技術研究報告5p.121-128
インターネットで読める全国の図書館
  • 件名FPGA テクノロジマッピング 遅延最小化 関数分解 二分決定グラフ technology mapping delay mini...

人工生命による生態進化モデルとその応用に関する研究

人工生命による生態進化モデルとその応用に関する研究
デジタル博士論文
武藤, 敦子
インターネットで読める全国の図書館
  • 件名人工生命研究 ミーム 種分化 性選択 遺伝的アルゴリズム 多出力二分決定グラフ

検索結果は以上です。

RSS