情報・システム-ディペンダブルコンピューティング(開催日:2017/10/19)

タイトル/著者/発表日/資料番号
動的型付き手続き型言語の変更影響分析と振る舞い同定のためのラムダグラフ書き換え系に向けて

山本 晃治(富士通研),  

[発表日]2017-10-19
[資料番号]SS2017-21,DC2017-20
トップ木に基づく圧縮データに対する直接更新法

西村 卓(名大),  橋本 健二(名大),  関 浩之(名大),  

[発表日]2017-10-19
[資料番号]SS2017-22,DC2017-21
パターンマッチングのためのデータフローグラフ抽出器の実装

新山 祐介(東工大),  荒堀 喜貴(東工大),  権藤 克彦(東工大),  

[発表日]2017-10-19
[資料番号]SS2017-27,DC2017-26
XQuery問合せを圧縮XML文書上で評価するための変換手法

小椋 寿希也(阪大),  石原 靖哲(阪大),  藤原 融(阪大),  

[発表日]2017-10-19
[資料番号]SS2017-23,DC2017-22
離散時間実行環境におけるYampaプログラムの振舞いモデル

市橋 友樹(名大),  結縁 祥治(名大),  

[発表日]2017-10-19
[資料番号]SS2017-24,DC2017-23
Javaプログラミング学習支援システムのコードクローン除去問題におけるメソッド生成課題の改善

石原 信也(岡山大),  舩曵 信生(岡山大),  栗林 稔(岡山大),  

[発表日]2017-10-19
[資料番号]SS2017-25,DC2017-24
Javaプログラミング学習支援システムのコード作成問題のための情報伝達テストコード手法

Khin Khin Zaw(岡山大),  Nobuo Funabiki(岡山大),  

[発表日]2017-10-19
[資料番号]SS2017-26,DC2017-25
組織属性観点でのログレコード出現偏りに着目するシステム機能スリム化分析手法の提案

伊藤 秀朗(日立),  三部 良太(日立),  大須賀 浩二(日立公共システム),  保井 努(日立公共システム),  

[発表日]2017-10-19
[資料番号]SS2017-28,DC2017-27
組込みシステムの要求仕様書に対する修正候補の定量的調査

山本 椋太(名大),  吉田 則裕(名大),  高田 広章(名大),  

[発表日]2017-10-19
[資料番号]SS2017-29,DC2017-28
SMTを用いた制約付きロケーティングアレイの生成について

金 浩(阪大),  崔 銀惠(産総研),  土屋 達弘(阪大),  

[発表日]2017-10-20
[資料番号]SS2017-30,DC2017-29
Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks

井上 美智子(奈良先端大),  大下 福仁(奈良先端大),  Sebastien Tixeuil(UPMC),  

[発表日]2017-10-20
[資料番号]SS2017-31,DC2017-30
デューティサイクル動作を行う無線センサーネットワークにおけるワームホール攻撃とその対策

王 文揚(拓殖大),  蓑原 隆(拓殖大),  

[発表日]2017-10-20
[資料番号]SS2017-32,DC2017-31
遅延耐性ネットワークとクラウドソーシングを用いたトップ-kリストの作成

唐口 翔平(首都大東京),  酒井 和也(首都大東京),  福本 聡(首都大東京),  

[発表日]2017-10-20
[資料番号]SS2017-33,DC2017-32