| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, NLP (併催) |
2020-03-10 15:45 |
愛知 | やすらぎの宿 蒲郡荘 （開催中止，技報発行あり） |
Simulinkモデルに対するChainerRLを用いたハイブリッド頑健性に基づく時相理論仕様の不具合導出 ○大脇亮太・結縁祥治（名大）  MSS2019-67 |
本研究では Simulink モデルの連続値と離散値を含むハイブリッドな性質に対して、深層強化学習を用いた不具合導出の提... [more] | MSS2019-67 pp.53-58 |
| SS | 2017-03-09 09:30 |
沖縄 | てんぶす那覇 | クロック凍結機構を持つ稠密時間プッシュダウンオートマトンの記号実行 ○平岡 祥・結縁祥治（名大） SS2016-60 |
本研究では，クロック凍結機構を持つ稠密時間プッシュダウンオートマトン（Dense-Timed Pushdown Auto... [more] | SS2016-60 pp.1-6 |
| SS | 2017-03-10 09:15 |
沖縄 | てんぶす那覇 | Androidアプリケーションの並行実行における予期しない消費電力増加の検出 ○稲垣貴大・結縁祥治（名大） SS2016-74 |
本研究では，Androidアプリケーションの並行実行をすることで発生する電力消費問題について，有界モデル検査による解法を... [more] | SS2016-74 pp.85-90 |
| DC, SS (共催) |
2016-10-27 15:05 |
滋賀 | 彦根勤労福祉会館(彦根市) | クロック凍結機構を持つ稠密時間プッシュダウンオートマトンのゾーン構成による検証 ○平岡 祥・結縁祥治（名大） SS2016-25 DC2016-27 |
本研究では、クロック凍結機構を持つ稠密時間プッシュダウンオートマトンの状態到達可能性を保存するゾーン構成手法を提案する。... [more] | SS2016-25 DC2016-27 pp.43-48 |
| SS | 2009-12-18 09:40 |
香川 | 香川大学幸町キャンパス | 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル ○水野洋樹・結縁祥治（名大） SS2009-43 |
あらまし 本論文では,マルチコア環境で実行される実時間応用プロク... [more] | SS2009-43 pp.49-54 |
[研究会発表申込システムのトップページに戻る]