北嶋 暁 | 大阪電気通信大学総合情報学部メディアコンピュータシステム学科
スポンサーリンク
概要
関連著者
-
北嶋 暁
大阪電気通信大学総合情報学部メディアコンピュータシステム学科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
森岡 澄夫
大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社
-
北嶋 暁
大阪電気通信大学総合情報学部情報工学科
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
浜口 清治
大阪大学大学院情報科学研究科
-
柏原 敏伸
大阪大学大学院情報科学研究科
-
垣内 洋介
大阪大学大学院情報科学研究科
-
垣内 洋介
大阪大学 大学院情報科学研究科
-
島谷 肇
大阪大学大学院基礎工学研究科情報数理系専攻:(現)株式会社東芝
-
柏原 敏伸
大阪大学大学院
-
谷口 健一
大阪大学基礎工学部情報工学科
-
北嶋 暁
大阪電気通信大学 総合情報学部情報工学科
-
北嶋 暁
大阪大学基礎工学部情報科学科
-
浜口 清治
大阪大学大学院基礎工学研究科
-
森岡 澄夫
大阪大学基礎工学部情報学科
-
島谷 肇
大阪大学基礎工学部情報工学科
-
北嶋 暁
大阪大学大学院基礎工学研究科情報数理系専攻
-
谷口 健一
大阪大学大学院情報科学研究科
-
森岡 澄夫
日本電気システムIPコア研究所
-
森岡 澄夫
日本電気株式会社システムipコア研究所
-
東野 輝夫
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学 大学院情報科学研究科
-
北道 淳司
大阪大学大学院基礎工学研究科
-
岡野 浩三
大阪大学大学院情報科学研究科
-
安本 慶一
滋賀大学経済学部情報管理学科
-
谷口 健一
大阪大学 基礎工学部
-
北道 淳司
大阪大学基礎工学部情報工学科
-
森岡 澄夫
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
北浜 優子
大阪大学大学院基礎工学研究科
-
北嶋 暁
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
島谷 肇
大阪大学 基礎工学部 情報工学科
-
東野 輝夫
大阪大学大学院情報学研究科
著作論文
- CPU設計導入教育への形式的設計検証手法の適用
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(ハードウェア,フォーマルアプローチ論文)
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
- 形式的手法を用いたin-order実行パイプラインCPUの自動設計検証(並列処理)
- 並行EFSM群でモデル化された通信プロトコル動作仕様のハードウェア実現とマルチランデブ制御機構
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- 代数的手法を用いたパイプライン方式CPUの設計検証
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証