4月21日(火) 午前 11:00 - 11:50 |
(1) |
11:00-11:25 |
同時多重に発生する過渡故障を考慮した高信頼化順序回路 |
○小日向秀雄・丸本耕平・新井雅之・福本 聡(首都大東京) |
(2) |
11:25-11:50 |
モデル検査基準を用いたモデル検査プロセスについて |
○乾 道孝(三菱電機マイコン機器ソフトウエア)・吉岡信和(NII) |
|
11:50-13:00 |
昼食 ( 70分 ) |
4月21日(火) 午後 13:00 - 14:15 |
(3) |
13:00-13:25 |
非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価 |
○高村達史・土屋達弘・菊野 亨(阪大) |
(4) |
13:25-13:50 |
セキュアソフトウェア開発環境DFITSにおけるセキュリティに注目したデータフロー解析 |
○中西福友・林 良太郎・春木洋美・藤松由里恵・橋本幹生(東芝) |
(5) |
13:50-14:15 |
算術演算器を含む回路に対する高速なソフトエラー率評価手法 |
○平田元春・吉村正義・松永裕介・安浦寛人(九大) |
|
14:15-14:30 |
休憩 ( 15分 ) |
4月21日(火) 午後 14:30 - 15:30 |
(6) |
14:30-15:30 |
[招待講演]ボットネット ~ その脅威と進化 ~ |
○須藤年章(NTTコミュニケーションズ) |
|
15:30-15:45 |
休憩 ( 15分 ) |
4月21日(火) 午後 15:45 - 17:00 |
(7) |
15:45-16:10 |
組込み自己テストにおけるテスト可能な応答圧縮器の設計について |
○深澤祐樹・吉川祐樹・市原英行・井上智生(広島市大) |
(8) |
16:10-16:35 |
セルベース設計に適したSER評価の為のパルス発生確率解析手法 |
○小津和大昌・吉村正義・松永裕介(九大) |
(9) |
16:35-17:00 |
SER評価のための論理回路におけるパルスの伝搬解析 |
○原田翔次・赤峰悠介・吉村正義・松永裕介(九大) |