講演番号 | 題目/著者 |
---|---|
D-10-1 | Model Checking of TTCAN Protocol Using UPPAAL ◎Shuxin Liu, Noriaki Yoshiura, |
D-10-2 | 安全制御装置における可変タイムパーティションを用いたタスクスケジューリング手法 塩 雅史, ○塚本洋平, 伊東輝顕, |
D-10-3 | 光再構成型ゲートアレイVLSIの放射線耐性評価 ◎△藤森卓巳, 渡邊 実, |
D-10-4 | メモリスタニューラルネットワークにおける縮退故障による識別性能への影響 ○石坂 守, 新谷道広, 井上美智子, |
D-10-5 | デジタル温度電圧センサの精度向上のための推定式の拡充について ◎波多江雅貴, 三宅庸資, 加藤隆明, 佐藤康夫, 梶原誠司, |