Jump to main content

yr 〜
yr

Search results 18

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

等価検証の効率化に関する一考察
Digital規格・テクニカルリポート類
松永, 裕介電子情報通信学会CPSY研究会2002-11電子情報通信学会技術研究報告, CPSY2002-63(2002-11)p.73-78
Available onlineOther Libraries in Japan
  • Subject Heading形式的検証 等価性検証 二分決定グラフ formal verification equivalen...

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

ブーリアンマッチングを利用したFPGAの深さ最小化マッピング手法について
Digital規格・テクニカルリポート類
松永, 裕介電子情報通信学会VLD研究会, CPS研究会2002-01電子情報通信学会技術研究報告5p.121-128
Available onlineOther Libraries in Japan
  • Subject HeadingFPGA テクノロジマッピング 遅延最小化 関数分解 二分決定グラフ technology mapping delay mini...

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

人工生命による生態進化モデルとその応用に関する研究
Digital博士論文
武藤, 敦子
Available onlineOther Libraries in Japan
  • Subject Heading人工生命研究 ミーム 種分化 性選択 遺伝的アルゴリズム 多出力二分決定グラフ

Reached to the end of result.

RSS