B分野 ソフトウェア | |
モバイルOS | |
9月4日 (水)09:30-12:00 1B会場 (共通教育棟 D棟 2F D21)
座長 山内 利宏(岡山大) |
|
B-001 | モバイル端末のOSとブラウザの組合せに対するベンチマーク結果に関する考察 ◎田島誠也(電機大)・Teemu Leppanen(University of Oulu/東大)・岩井将行(電機大) |
B-002 | Androidにおけるアプリケーション起動履歴を用いた終了プロセス選定 ◎野村 駿・永田恭輔・中村優太・山口実靖(工学院大) |
B-003 | Android OSにおける複数アプリ同時表示手法の提案と評価 ◎森田清隆・桐村昌行(三菱) |
B-004 | Android OSにおける状態変化通知による同期の回避に関する検討 ◎川崎仁嗣・神山 剛・小西哲平・大久保信三・稲村 浩(NTTドコモ) |
B-005 | Dalvik VM GCの性能の評価 ◎永田恭輔・中村優太・野村 駿・山口実靖(工学院大) |
基盤ソフトウェア | |
9月4日 (水)13:00-15:00 2B会場 (共通教育棟 D棟 2F D21)
座長 山田 浩史(農工大) |
|
B-006 | KVMにおける優先度制御法の有効性 ◎森山英明(有明高専)・山内利宏・谷口秀夫(岡山大) |
B-007 | システム障害発生部位判定方法と障害の分類 ○篠原昭夫・泉 隆(日大) |
B-008 | Tenderにおける効率的なページアウト規則の実現 ◎濵口知之・山内利宏・谷口秀夫(岡山大) |
B-009 | 複数NICを連携制御する既存手法の問題点 ◎吉田泰三・谷口秀夫(岡山大) |
B-010 | リアルオブジェクトを対象とするシミュレータの時刻同期 ◎加藤靖之・平中幸雄・武田利浩(山形大) |
B-011 | C言語自動並列化トランスレータの開発:構文木をベースとした並列構造解析と動的実行制御の実現 ◎武市和真・遠山純也・小林裕昌・甲斐宗徳(成蹊大) |
並列処理 | |
9月4日 (水)15:30-17:30 3B会場 (共通教育棟 D棟 2F D21)
座長 城田 祐介(東芝) |
|
B-012 | GPUを用いた直積量子化の近似最近傍探索における並列化実装 ◎村上明男・若谷章良(甲南大) |
B-013 | GPUサイクル共有システムのための遊休時間予測手法の比較 ◎南 翔太・伊野文彦・萩原兼一(阪大) |
B-014 | 省電力化を意識したプログラムの実装の比較と評価 ◎田中献大・黒田久泰(愛媛大) |
B-015 | MPS法による3次元の水柱崩壊シミュレーションの高速化とその評価 ◎北山雅邦・黒田久泰(愛媛大) |
B-016 | プル型ジョブスケジューラにおける動的通信量制御方式 ○齊藤隆之(アンクル)・善甫康成(法大) |
仕様・設計,形式的手法 | |
9月5日 (木)09:30-12:00 4B会場 (共通教育棟 D棟 2F D21)
座長 井上 真二 (鳥取大) |
|
B-017 | 問いを中心としたステークホルダの課題獲得手法 ◎畑中翔太(北九州市役所)・久代紀之(九工大) |
B-018 | プロダクトライン開発におけるセミ形式化記述を用いた仕様整合支援ツール ○小宮紀之(三菱)・久代紀之(九工大)・深澤良彰(早大) |
B-019 | 要求、設計、評価工程をつなぐ仕様記述手法 ○久代紀之(九工大)・小宮紀之(三菱)・深澤良彰(早大) |
B-020 | デザインパターン検出結果を基にクラスを配置したプログラム設計理解のためのクラス図生成 ◎鵜飼公平・酒井三四郎・松澤芳昭(静岡大) |
B-021 | タイムアウト機構を有するメッセージ交換プロトコルのUMLモデルとSPINモデル検査 ◎坂本 統・和崎克己(信州大) |
B-022 | 文字列一致による数学的等価性判定可能なモデル分割アルゴリズム ◎三鍋孝介・織田 健(電通大) |
アプリケーション開発,品質保証 | |
9月5日 (木)15:30-17:30 5B会場 (共通教育棟 D棟 2F D21)
座長 阿萬 裕久(愛媛大) |
|
B-023 | 複数仮想マシン上におけるアプリケーションの性能予測のための階層的性能モデルの検証 ◎沼田絵梨子・木村大地・河津正人(NEC) |
B-024 | Androidアプリによる食品管理システムの構築と適用評価 ◎飯山大樹・中所武司(明大) |
B-025 | フレームワークを利用したWebアプリケーション開発時におけるセッション汚染対策の検討 ◎木村勇一・後藤厚宏(情報セキュリティ大) |
B-026 | FXMLからJSFページとプログラムの自動生成 ◎原口久美子・塚本享治(東京工科大) |
B-027 | 組込みソフトウェアに対するソフトウェアFMEAの試行実験とその考察 ○余宮尚志(東芝)・小島昌一(東芝ソフトウェア・コンサルティング) |
B-028 | 記号実行を用いた等価ミュータントの検出手法の提案 ◎上芝貴也・王 玮涛・芳賀博英(同志社大) |
デジタルドキュメント・ソフトウェアサイエンス | |
9月6日 (金)09:30-12:00 6B会場 (共通教育棟 D棟 2F D21)
座長 久代 紀之(九工大) |
|
B-029 | アノテーションを利用したスライド再利用支援システムの試作 ◎杉山亮弘・白松 俊・大囿忠親・新谷虎松(名工大) |
B-030 | 複数コンテンツの部分関連付けに基づく論文作成支援 ◎棚瀬達央・大平茂輝・長尾 確(名大) |
B-031 | XSLTを用いた既存文書から新規複合文書の生成 ◎西原裕則・塚本享治(東京工科大) |
B-032 | 内部のHTML構造を自由に設計できるウィジェットの実現方法 ◎日野克哉・中島暢康(東芝) |
B-033 | モバイルエージェントシステムAgentSphereの開発―強マイグレーションエージェントコードのためのソースコード変換器の改良― ◎疋田直也・坂巻 渉・甲斐宗徳(成蹊大) |
B-034 | モバイルエージェントシステムAgentSphereの開発―エージェントへの移動指示を行うAPIの設計と実装― ◎大久保秀・佐藤 寿・甲斐宗徳(成蹊大) |
B-035 | モバイルエージェントシステムAgentSphereの開発―分散ハッシュテーブルを用いたエージェント検索機能の実現― ◎黒崎信清・鈴木幸祐・長塩征幸・甲斐宗徳(成蹊大) |