米田友洋

Yoneda Tomohiro

所属機関・部署：
職名：教授
その他の所属（所属・部署名・職名） (1件)：

ホームページURL (1件)： http://research.nii.ac.jp/~yoneda/

研究分野 (1件)：計算機システム

競争的資金等の研究課題 (24件)：

2011 - 2015 非同期式回路の最適化技術に関する研究

2008 - 2010 SVG記述のハードウェア描画装置に関する基礎的研究

2003 - 2004 レベル指向ネットに基づくリアルタイムソフトウェアの効率的解析に関する研究

2000 - 2003 論理的仕様を基礎としたセキュアシステムの検証法

2002 - 2002 多値技術に基づく高速データ転送とそのマルチメディアVLSIプロセッサへの応用

2000 - 2002 超高速非同期式システムのための設計および検証ツールに関する研究

1997 - 1998 有限遅延幅モデルにおける非同期式論理回路の形式的検証に関する研究

1996 - 1996 定理証明方式に基づく非同期式回路の検証に関する研究

1995 - 1996 超高速非同期式マイクロプロセッサの実現と評価に関する試験的研究

1994 - 1995 学術研究の実態に関する研究調査

1994 - 1994 非同期式プロセッサの設計検証システムに関する研究

1993 - 1993 リアルタイムシステムのための階層的時間検証方式に関する研究

1992 - 1993 非同期式プロセッサのアーキテクチャと設計方法に関する研究

1992 - 1992 リアルタイム時相論理に基づく高速時間検証方式に関する研究

1991 - 1991 リアルタイムシステムのための並列時間検証方式に関する研究

1990 - 1991 セルフチェッキングプロセッサ自動合成に関する研究

1989 - 1989 分散型データベースシステムにおける耐故障化プロトコルの検証の関する研究

1988 - 1989 セルフチェッキング機能に基づくVLSIテスト方式に関する研究

1985 - 1986 セルフチェッキングVLSIプロセッサの研究

全件表示

論文 (210件)：

MISC (106件)：

書籍 (3件)：

講演・口頭発表等 (25件)：

GALSシステム向け再構成可能非同期式回路の検討
(ブレインウェア工学研究会 2016)
How is a hardware mechanism for dependability evaluated in ISO26262?
(D2T Symposium 2015 2015)
A New Approach to Synthesis of Transition Signaling Asynchronous Circuits
(SASIMI 2015 2015)
Major Reliability Issues in Hardware Platforms for Automotive Applications
(SASIMI 2015 2015)
改良Pair&Swapによるディペンダブルタスク実行手法の評価
(CREST最終報告会 2015)

Works (2件)：

学位 (1件)：

受賞 (2件)：

所属学会 (4件)：

IEEE , 日本ソフトウェア科学会 , 情報処理学会 , 電子情報通信学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

米田 友洋