一般講演プログラム
B分野 ソフトウェア |
|
テスト・検証 | |
9月7日 (水)9:30-12:00 1B会場 (函館大学 2F 205)
座長 岸 知二(早大) |
|
RB-001 | テスト設計手法PROST! ○鷲見 毅・加瀬直樹・市田憲明・小笠原秀人(東芝) |
B-001 | 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール ○式見 遼・小形真平・松浦佐江子(芝浦工大) |
B-002 | Webアプリケーションを対象とした高網羅率の単体テスト自動生成について ◎鎌田高如・樋口昌宏(近畿大) |
B-003 | ソフトウェア開発の上流工程での要求定義支援ツールについて ○上田翔太・石野正彦・石田秀信・寺田郁二(福井工大) |
B-004 | オブジェクト指向プログラミング初学者のためのソースコード品質評価ツール ◎若林智徳・松浦佐江子(芝浦工大) |
B-005 | モデル検査ツールNuSMVを用いたオントロジー検証 ◎阿部雄貴・鈴木大輝(仙台高専)・和泉 諭(東北大)・高橋 薫(仙台高専) |
B-006 | 並列制御システム設計のUMLアクティビティ図に対するペトリネットによる正当性検証 ◎關屋貴詞・和崎克己(信州大) |
ソフトウェアアーキテクチャ | |
9月7日 (水)14:30-17:30 2B会場 (函館大学 2F 205)
座長 山本里枝子(富士通研) |
|
B-007 | ソフトウェア抽象化レイヤーの性能評価方法 ○河井 裕・岩井 郷・佐々木節・渡瀬芳行(高エネルギー加速器研) |
B-008 | 選択的関数展開によるソフトウェア高速化の検討 ◎加賀洋渡・細木浩二・石川 誠(日立) |
B-009 | Webシステムにおけるオンラインバッチ処理方式 ○鹿島啓吾・引地一将・山村喜恒・宮崎肇之(日立) |
B-010 | 上流設計におけるシステム性能予測と評価 ○吉村礼子・魚住光成(三菱) |
B-011 | エンドユーザによるWebアプリケーション構築環境の研究 ◎朽木 拓・山田敬三・高木正則・佐々木淳(岩手県大) |
B-012 | ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析 ◎奥田博隆・小形真平・松浦佐江子(芝浦工大) |
B-013 | エンドユーザ向けWebアプリケーションフレームワークの提案と試作 ◎李 静・中所武司(明大) |
B-014 | (講演取消) |
開発支援・プロジェクト管理 | |
9月8日 (木)9:30-12:00 3B会場 (函館大学 2F 205)
座長 白銀 純子(東京女子大) |
|
B-015 | (講演取消) |
B-016 | ロールオントロジーに基づいた個人・組織情報への動的なアクセス制御 ◎佐藤晋也・伊藤 仁(仙台高専)・和泉 諭(東北大)・高橋 薫(仙台高専) |
B-017 | “meiseki”セマンティックWebサーバーの開発 ◎青木祐香里・塚本享治(東京工科大) |
B-018 | ソフトウェア開発データの分析に基づくエンジニアリング研究の推進~収集データの活用に向けたIPA/SECの取組み~ ○山下博之・秋田君夫(情報処理推進機構) |
B-019 | PC操作履歴を用いたプロジェクト管理システム ○楯 武士・戸田直美・伊藤智子・長森藤江(NTTコムウェア) |
B-020 | (講演取消) |
B-021 | Repository-based Design Method of Cooperation Protocol for Multiagent System ◎Wenpeng Wei(Tohoku University)・Takahiro Uchiya(Nagoya Institute of Technology)・Tetsuo Kinoshita(Tohoku University) |
デジタルドキュメント・ソフトウェアサイエンス | |
9月8日 (木)15:30-17:30 4B会場 (函館大学 2F 205)
座長 神谷 年洋(はこだて未来大) |
|
B-022 | 視点の可視化によって文章推敲を支援するシステムの提案 ○山口 琢・椿本弥生・大場みち子・高橋 修(はこだて未来大) |
B-023 | A Proposal on Flexible Information Management System for Next Generation of Museum ○Pao Sriprasertsuk・Channa Van・Pakornchat Pojanapreecha・Wataru Kameyama(早大) |
B-024 | Webサイト群の構造分析による典型的構造の抽出法 ◎東祐太朗・粕谷英人・大久保弘崇・山本晋一郎(愛知県大) |
B-025 | セキュリティ要求分析を容易にするシステム機能ベースセキュリティパターンの研究 ○宇野健二・田中英彦(情報セキュリティ大) |
B-026 | GUI graphics library for embedded system ◎アルマン ジリエ・深井祐介・中西 晃・堀口健生(東芝) |
RB-002 | WebブラウザからのGPGPUを実現するプラグインとその応用 ◎富澤勇介・髙井昌彰(北大) |
ソフトウェアサイエンス | |
9月9日 (金)9:30-12:00 5B会場 (函館大学 2F 205)
座長 樋口 昌宏(近畿大) |
|
RB-003 | ラダーダイアグラムの検索的解析環境の構築 ○仲井 勘(三菱) |
B-027 | 時間ペトリネットでモデル化されたGALSシステムを対象としたUPPAALによる自動検証手法 ◎三輪陽介・横川智教(岡山県大)・宮崎 仁(川崎医療福祉大)・近藤真史・佐藤洋一郎(岡山県大) |
B-028 | UMLシーケンス図の構造記述から線形時相論理式への自動変換手法 ◎宮本直樹・和崎克己(信州大) |
B-029 | ボランティアコンピューティングにおける功績値評価に基づいた探索問題解決手法 ◎伊草拓哉・松澤智史・武田正之(東理大) |
B-030 | モバイルエージェントシステムAgentSphereにおける強マイグレーション機構の改良 ◎鈴木幸祐・山口大祐・甲斐宗徳(成蹊大) |
B-031 | モバイルエージェントシステムAgentSphereにおける通信プロトコルの開発 ◎山本拓哉・山口大祐・甲斐宗徳(成蹊大) |
B-032 | JavaVM 上での非手続オブジェクト転送を可能とする直列化方式の構築 ◎山口大祐・赤井雄樹・甲斐宗徳(成蹊大) |
GPGPU | |
9月9日 (金)13:00-16:00 6B会場 (函館大学 2F 205)
座長 山口 実靖(工学院大) |
|
B-033 | メモリ選択を考慮した画像減色処理のCUDA実装 ◎田中宏二郎・目出雅之・若谷彰良(甲南大) |
B-034 | CUDAによるフラクタル画像符号化実装の有効性評価 ◎目出雅之・田中宏二郎・若谷彰良(甲南大) |
B-035 | GPUを考慮した並列分散GAの高速処理 ◎井沼安広・小柳 滋(立命館大) |
B-036 | GPUを用いた波面記録法による計算機合成ホログラムの作成 ◎岡田直久・西辻 崇・老川 稔・杉山 充・下馬場朋禄・増田信之・伊藤智義(千葉大) |
B-037 | GPUによる合成開口レーダ画像再生処理の評価 ○佐藤裕幸・高橋勝己・若山俊夫・尾崎敦夫(三菱) |
B-038 | CUDAプログラミングのためのプロファイリングと最適化支援 ○大橋拓也・桑原寛明・國枝義敏(立命館大) |
B-039 | GPU用自動並列化コンパイラを用いたFortranプログラムの高速化手法の提案 ◎田中裕也・吉見真聡・三木光範(同志社大) |
B-040 | GPUのための回路方程式求解における命令レベル並列度の評価 ◎富永浩文・中村あすか・篠塚研太・前川仁孝(千葉工大) |
OS・ストレージ | |
9月7日 (水)9:30-12:00 1C会場 (函館大学 2F 206)
座長 早坂 光雄(日立) |
|
B-041 | 多コアファイルサーバのメモリ回収遅延を削減する分割リクレイム方式 ◎深谷崇元・松沢敬一・揚妻匡邦・中村隆喜(日立) |
B-042 | OSスローダウン発生時のプロセス情報取得方式 ◎亀井仁志(日立)・中村隆喜(日立/阪大)・薦田憲久(阪大) |
B-043 | 組込み用OSのネットワーク機能の設計と形式手法SPINによる検証 ◎笠原良太(日立情報通信エンジニアリング)・望月祐希・野口健一郎(神奈川大) |
B-044 | 安全な組込み用OSの試作 : セパレーションカーネルに基づくセキュリティ機能の検討 ◎望月祐希・野口健一郎(神奈川大) |
B-045 | 二重ファイルシステム環境を想定した仮想HDDイメージファイルの再配置に関する考察 ◎山田将也・山口実靖(工学院大) |
B-046 | Android OS のI/O性能評価と動作解析 ◎服部拓也・新居健一・山口実靖(工学院大) |
B-047 | 二重キャッシュ環境の下位キャッシュにおける参照の局所性の解析 ◎竹内洸祐・山口実靖・長廻雄介(工学院大) |
B-048 | 上位キャッシュサイズを考慮した二重キャッシュ環境における下位キャッシュの置換手法 ◎長廻雄介・山口実靖(工学院大) |
並列分散・仮想化技術 | |
9月7日 (水)14:30-17:30 2C会場 (函館大学 2F 206)
座長 大谷 真(湘南工科大) |
|
B-049 | MPIを利用した分散大容量メモリシステムにおけるページスワッププロトコルの評価 ◎古尾谷歩・緑川博子・甲斐宗徳(成蹊大) |
B-050 | 遠隔メモリアクセスのためのスワップページサイズ動的変更機構の検討 ◎内山 丞・緑川博子・甲斐宗徳(成蹊大) |
B-051 | 並列計算機の通信ネットワークトポロジの3次元表示手法 ◎鈴木遼平・石畑宏明(東京工科大) |
B-052 | 仮想機械ライブマイグレーションの統合方式 ◎都築俊徳・梅澤 猛・大澤範高(千葉大) |
B-053 | ホストOSとゲストOSの統合的動作解析によるVMメモリ割当量に関する考察 ○渡邉有貴・山口実靖(工学院大) |
B-054 | I/Oスケジューラの改善による仮想計算機I/O性能向上手法の応答性能の評価 ◎新居健一・山口実靖(工学院大) |
B-055 | 遠隔ライブマイグレーションによるVM上プロセスの性能に関する考察 ○久野陽介・新居健一・山口実靖(工学院大) |
B-056 | 探索の重複領域を削減した階層的挟み撃ち探索による実行時間最小マルチプロセッサスケジューリング問題の求解 ◎中村あすか・富永浩文・前川仁孝(千葉工大) |