10月4日(木) 午後 14:00 - 15:15 |
(1) |
14:00-14:25 |
スマートデバイスとサーバによるイメージデータ保存/復旧システム ~ ハッシュチェーンによる楽観的検査プロトコルを用いた管理 ~ |
○童 磊・小林 洋(東海大) |
(2) |
14:25-14:50 |
NANDフラッシュメモリにおける信頼性に合わせた多段階誤り訂正 |
○小倉 涼・北神正人(千葉大) |
(3) |
14:50-15:15 |
品質を考慮したタスク割り当てアルゴリズムの設計と性能評価 |
○唐口翔平・酒井和哉・福本 聡(首都大東京) |
|
15:15-15:25 |
休憩 ( 10分 ) |
10月4日(木) 午後 15:25 - 16:15 |
(4) |
15:25-15:50 |
プラント制御システムにおけるオンラインアップグレード手法 ~ バッチ制御言語のインタプリタへの適用 ~ |
○大野 毅・村上 威(横河電機) |
(5) |
15:50-16:15 |
継続渡しスタイルの関数型プログラミング言語における分散処理の記述 |
○井原 唯・小島 渚・島 和之(広島市大) |
10月5日(金) 午前 10:00 - 11:15 |
(6) |
10:00-10:25 |
組込みシステムの要求仕様書を対象とした状態遷移モデル作成支援 |
○中村 成・山本椋太・吉田則裕・高田広章(名大) |
(7) |
10:25-10:50 |
ソースコード推薦あるいは修正の情報源としての質問掲示板とソースコードレポジトリの比較 |
○神谷年洋(島根大) |
(8) |
10:50-11:15 |
ソースコードのXML表現のための選択例を用いた対話的XPath生成支援 |
○夏目雅槻・相澤遥也(東工大)・渥美紀寿(京大)・小林隆志(東工大) |