竹中 崇 | 大阪大学大学院情報科学研究科:(現)necマルチメデイア研究所
スポンサーリンク
概要
関連著者
-
竹中 崇
大阪大学大学院基礎工学研究科情報数理系専攻
-
竹中 崇
大阪大学大学院情報科学研究科:(現)necマルチメデイア研究所
-
竹中 崇
日本電気株式会社システムIPコア研究所
-
竹中 崇
日本電気株式会社
-
北道 淳司
大阪大学大学院基礎工学研究科
-
西川 清史
大阪大学大学院基礎工学研究科情報数理系専攻
-
西川 清史
大阪大学大学院基礎工学研究科
-
竹中 崇
Necシステムipコア研究所
-
西川 清史
大阪大学大学院基礎光学研究科情報数理系専攻
-
本村 真人
NECシステムIPコア研究所
-
浅井 哲也
北海道大学 大学院 情報科学研究科
-
浅井 哲也
はこだて未来大複雑系
-
谷口 健一
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学基礎工学部情報工学科
-
本村 真人
北海道大学大学院情報科学研究科
-
井上 浩明
Necシステムipコア研究所
-
真田 祐樹
北海道大学大学院情報科学研究科
-
尹 征一
北海道大学大学院情報科学研究科
-
山垣 則夫
NECシステムIPコア研究所
-
神谷 聡史
NECシステムIPコア研究所
-
東野 輝夫
大阪大学大学院情報科学研究科
-
岡野 浩三
岡山大学大学院自然科学研究科
-
若林 一敏
日本電気株式会社
-
北道 淳司
会津大学コンピュータ理工学部
-
岡野 浩三
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
船曵 信生
大阪大学大学院基礎工学研究科情報数理系専攻
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
斎藤 義勝
大阪大学大学院 基礎工学研究科 情報数理系専攻
-
景山 洋行
大阪大学大学院基礎工学研究科情報数理系専攻
-
竹中 崇
大阪大学基礎工学部情報工学科
-
北道 淳司
大阪大学基礎工学部情報工学科
-
西川 清史
大阪大学基礎工学部情報工学科
-
中越 優佳
NEC情報システムズ
-
齊藤 義勝
大阪大学大学院基礎工学研究科情報数理系専攻
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
小林 栄太
NECシステムIPコア研究所
-
中越 優佳
(株)NEC情報システムズ
-
東野 輝夫
大阪大学大学院情報学研究科
著作論文
- 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
- 複数の制御部を持つ同期式順序回路の一設計検証法
- 複数モジュールにより構成される回路仕様に対する効率的な形式的検証法
- 複数モジュールにより構成される回路仕様に対する効率的な形式的検証法
- 代数的手法を用いた複数の制御部を持つ同期式順序回路に対する設計および検証支援系の開発
- 代数的手法によるPCIバスコントローラの設計検証
- シストリックアレーによる回路設計の正しさの一証明法
- あるクラスのOut-of-Order型パイプラインCPUの設計の正しさの十分条件とその形式的検証 (電子システムの設計技術と設計自動化)
- 複数の制御部を持つ同期式順序回路に対する不変式の形式的検証法 (機能論理設計, アーキテクチャ設計支援と一般)
- リニアサーチを併用した決定木によるフロー検索ハードウェアエンジン(アプリケーション(1))
- C言語設計によるハードウェア複合イベント処理
- C言語設計によるハードウェア複合イベント処理
- C-12-11 ウェーブレット縮退の多段化によるデノイズ画像処理とそのLSIアーキテクチャ : Part II(C-12.集積回路,一般セッション)
- C-12-10 ウェーブレット縮退の多段化によるデノイズ画像処理とそのLSIアーキテクチャ : Part I(C-12.集積回路,一般セッション)
- 不完全ネストループに対するループパイプライン(暗号と高位設計,システムオンシリコンを支える設計技術)