山根 智 | 金沢大学理工研究域

スポンサーリンク

概要

• 山根 智の詳細を見る
• 同名の論文著者
• 金沢大学理工研究域の論文著者

関連著者

• 山根 智

  金沢大学理工研究域

• 酒井 誠

  金沢大学大学院 自然科学研究科

• 酒井 誠

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大学自然科学研究科電子情報工学専攻

• 山根 智

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大学工学部情報システム工学科

• 柳瀬 龍

  金沢大学

• 南 翔太

  金沢大

• 山根 智

  金沢大学理工学域電子情報学系

• 酒井 辰典

  金沢大学

• 山根 智

  金沢大学理工研究域電子情報学系

• 山根 智

  金沢大学

• 酒井 辰典

  金沢大学大学院自然科学研究科

• 山根 智

  金沢大学大学院自然科学研究科電子情報工学専攻

• 瀧内 新悟

  金沢大学自然科学研究科

• 瀬古口 智

  金沢大

• 山根 智

  金沢大学自然科学研究科

• 田中 祐史

  金沢大学大学院 自然科学研究科

• 田中 祐史

  金沢大学大学院自然科学研究科

• 瀧内 新悟

  金沢大学大学院自然科学研究科電子情報工学専攻

• 高 穎

  金沢大学自然科学研究科

• 柳瀬 龍

  金沢大学自然科学研究科

• 南 翔太

  金沢大学自然科学研究科

もっと見る 閉じる

著作論文

• CPUと動的再構成可能プロセッサとの協調システムのモデル検査(ペトリネット,離散事象システム,一般)
• 動的リアルタイムCEGAR(一般セッション)
• 動的リアルタイムハイブリッド CEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用)
• DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
• DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
• Hybrid Automata Theoretic Specification and Verification of CPU-DRP Reconfigurable Systems (アルゴリズムと計算理論の新展開 : RIMS研究集会報告集)

スポンサーリンク