安浦 寛人 | 京都大学工学部情報工学教室
スポンサーリンク
概要
関連著者
-
安浦 寛人
京都大学工学部情報工学教室
-
矢島 脩三
京都大学工学研究科情報工学専攻
-
矢島 脩三
京都大学工学部情報工学教室
-
田丸 啓吉
京都大学工学部
-
高木 直史
京都大学工学部情報工学教室
-
大村 昌彦
京都大学工学部電子工学科
-
石浦 菜岐佐
京都大学工学部
-
淡海 功二
京都大学工学部
-
大井 康
京都大学工学部情報工学教室
-
大久保 雅且
京都大学工学部情報工学教室
-
木村 晋二
京都大学工学部情報工学教室
-
石浦 菜岐佐
京都大学工学部情報工学教室
-
岩間 一雄
京都大学大学院情報学研究科
-
田丸 啓吉
京都大学 通信情報システム専攻
-
上林 弥彦
京都大学工学部
-
蚊野 浩
京都大学工学部情報工学教室
-
岩間 一雄
京都産大
-
岩間 一雄
京都産業大学理学部
-
Thompson Clark
Univ. California At Berkeley
-
Thompson D.
Univ. Of California Berkeley
-
葉山 悟
京都大学工学部情報工学科
-
大高 史嗣
京都大学工学部
-
THOMPSON CLARK
カリフォルニア大学バークレー分校
著作論文
- 連想メモリを利用したハードウェア向き単一化アルゴリズム
- 連想メモリを利用した高速単一化アルゴリズム
- 入力制約監視機能をもつ会話型シミュレーション・システムISS
- 同期式順序回路の機能情報抽出について
- FINES:組合せ回路の機能情報抽出システム
- 算術演算回路の機能情報抽出
- 論理関数のグラフ表現を利用した組合せ回路の機能情報抽出
- 入力制約を用いた論理回路の形式的検証について(計算機科学の基礎理論)
- 記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用)
- 40. VLSI用の正規集合認識法 (アルゴリズムの最近の動向)
- ハードウェアアルゴリズムの記述法について (形式言語理論とオートマトン理論)
- ベクトル計算機上でのソーティング手法
- 組合せ論理回路のハザード検出問題の計算複雑さについて(計算アルゴリズムと計算量の基礎理論)
- 選択問題の面積時間複雑度
- UDL/Iのセマンティクス定義に基づく処理系の試作
- 論理シミュレーションの精度に関する考察
- ハードウェア記述言語の厳密な意味定義のための非決定的動作モデルシミュレータの試作
- 4. 各種のハードウェアアルゴリズム 4.2 ソーティングのハードウェアアルゴリズム : VLSIモデル上での計算複雑度 (VLSI向きハードウェアアルゴリズム)