島谷 肇 | 大阪大学基礎工学部情報工学科

スポンサーリンク

概要

• 同名の論文著者
• 大阪大学基礎工学部情報工学科の論文著者

関連著者

• 東野 輝夫

  大阪大学基礎工学部情報科学科

• 谷口 健一

  大阪大学基礎工学部情報科学科

• 森岡 澄夫

  大阪大学基礎工学部情報学科

• 東野 輝夫

  大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest

• 森岡 澄夫

  大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社

• 島谷 肇

  大阪大学大学院基礎工学研究科情報数理系専攻:(現)株式会社東芝

• 谷口 健一

  大阪大学基礎工学部情報工学科

• 島谷 肇

  大阪大学基礎工学部情報工学科

• 北嶋 暁

  大阪電気通信大学総合情報学部メディアコンピュータシステム学科

• 北嶋 暁

  大阪大学基礎工学部情報科学科

• 森岡 澄夫

  日本電気株式会社システムipコア研究所

• 森岡 澄夫

  日本電気システムIPコア研究所

もっと見る 閉じる

著作論文

• in-order実行パイプラインCPUの正しさの自動証明例
• 代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明
• 代数的手法を用いたパイプライン方式CPUの設計検証
• 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
• in-order実行パイプラインCPUの正しさの自動証明例

スポンサーリンク