| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2018年度)
「from:2018-10-04 to:2018-10-04」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| DC, SS (共催) |
2018-10-04 14:00 |
愛知 | 犬山国際観光センター「フロイデ」 | スマートデバイスとサーバによるイメージデータ保存／復旧システム ～ ハッシュチェーンによる楽観的検査プロトコルを用いた管理 ～ ○童 磊・小林 洋（東海大）  SS2018-18 DC2018-19 |
最近，文書や音声等の記録をスマートフォンやタブレット等のスマートデバイスでイメージデータとして保存するような機会が増えて... [more] | SS2018-18 DC2018-19 pp.1-6 |
| DC, SS (共催) |
2018-10-04 14:25 |
愛知 | 犬山国際観光センター「フロイデ」 | NANDフラッシュメモリにおける信頼性に合わせた多段階誤り訂正 ○小倉 涼・北神正人（千葉大） SS2018-19 DC2018-20 |
[more] | SS2018-19 DC2018-20 pp.7-12 |
| DC, SS (共催) |
2018-10-04 14:50 |
愛知 | 犬山国際観光センター「フロイデ」 | 品質を考慮したタスク割り当てアルゴリズムの設計と性能評価 ○唐口翔平・酒井和哉・福本 聡（首都大東京） SS2018-20 DC2018-21 |
本研究では，日和見的ネットワークにおけるクラウドソーシングにおいて，作業者の専門性を考慮した上で，タスクをどのようなスケ... [more] | SS2018-20 DC2018-21 pp.13-18 |
| DC, SS (共催) |
2018-10-04 15:25 |
愛知 | 犬山国際観光センター「フロイデ」 | プラント制御システムにおけるオンラインアップグレード手法 ～ バッチ制御言語のインタプリタへの適用 ～ ○大野 毅・村上 威（横河電機） |
石油／化学プラント等を操業するプラント制御システムは，生産効率を高めるために長期安定稼働が要求される．従来，コントローラ... [more] | |
| DC, SS (共催) |
2018-10-04 15:50 |
愛知 | 犬山国際観光センター「フロイデ」 | 継続渡しスタイルの関数型プログラミング言語における分散処理の記述 ○井原 唯・小島 渚・島 和之（広島市大） SS2018-21 DC2018-22 |
これまでの研究として，継続渡しスタイル（以下，CPS）のラムダ計算を簡潔に表現し，CPSのラムダ式の部分適用について合流... [more] | SS2018-21 DC2018-22 pp.19-24 |
| DC, SS (共催) |
2018-10-05 10:00 |
愛知 | 犬山国際観光センター「フロイデ」 | 組込みシステムの要求仕様書を対象とした状態遷移モデル作成支援 ○中村 成・山本椋太・吉田則裕・高田広章（名大） SS2018-22 DC2018-23 |
要求仕様書は多くの場合，自然言語で記述される．そのため，目視による確認では発見できない記述漏れや不整合が存在しうる． ... [more] |
SS2018-22 DC2018-23 pp.25-30 |
| DC, SS (共催) |
2018-10-05 10:25 |
愛知 | 犬山国際観光センター「フロイデ」 | ソースコード推薦あるいは修正の情報源としての質問掲示板とソースコードレポジトリの比較 ○神谷年洋（島根大） SS2018-23 DC2018-24 |
[more] | SS2018-23 DC2018-24 pp.31-36 |
| DC, SS (共催) |
2018-10-05 10:50 |
愛知 | 犬山国際観光センター「フロイデ」 | ソースコードのXML表現のための選択例を用いた対話的XPath生成支援 ○夏目雅槻・相澤遥也（東工大）・渥美紀寿（京大）・小林隆志（東工大） SS2018-24 DC2018-25 |
汎用的なコーディング規約検査手法としてソースコー ドの構文情報をXMLに変換し，このXMLが規約を遵守して いるかをXP... [more] | SS2018-24 DC2018-25 pp.37-42 |
[研究会発表申込システムのトップページに戻る]