| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2013年度)
「from:2014-01-30 to:2014-01-30」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2014-01-30 13:00 |
愛知 | 豊田中央研究所 | 制御性能の最適化を考慮したマルチホップ制御ネットワークのスケジューリング ○斜森泰樹・潮 俊光（阪大）  MSS2013-51 SS2013-48 |
本報告ではマルチホップ制御ネットワークにおいて，ネットワークの制約の下プラントの制御性能を最大化するようなデータの転送と... [more] | MSS2013-51 SS2013-48 pp.1-4 |
| SS, MSS (共催) |
2014-01-30 13:25 |
愛知 | 豊田中央研究所 | Cuckoo Search Algorithm for Job Scheduling in Cloud Systems ○Supacheep Amtade・Toshiyuki Miyamoto（Osaka Univ.） MSS2013-52 SS2013-49 |
[more] | MSS2013-52 SS2013-49 pp.5-10 |
| SS, MSS (共催) |
2014-01-30 13:50 |
愛知 | 豊田中央研究所 | 調理手順スケジューリングのためのWeb公開レシピー変換アルゴリズム ○張 一加・舩曵信生・中西 透（岡山大） MSS2013-53 SS2013-50 |
本研究グループでは，勤労者や学生など忙しい毎日を送る人への「手作り料理」支援を目的とした調理手順スケジューリングアルゴリ... [more] | MSS2013-53 SS2013-50 pp.11-16 |
| SS, MSS (共催) |
2014-01-30 14:25 |
愛知 | 豊田中央研究所 | 近似によるパラメトリック実行時間解析の効率化手法およびその評価 ○杉原圭佑・中田明夫（広島市大） MSS2013-54 SS2013-51 |
実時間制約を持つソフトウェアを異なる実行環境で再利用するためには，プロセッサの各命令の実行時間やプログラムのループ回数な... [more] | MSS2013-54 SS2013-51 pp.17-22 |
| SS, MSS (共催) |
2014-01-30 14:50 |
愛知 | 豊田中央研究所 | 拡張SysML記述に対する性能検証に必要な情報の抽出手法の提案 ○元家裕介・中田明夫（広島市大） MSS2013-55 SS2013-52 |
組込みシステム開発においては，厳しいリソース制約下での性能要求の達成は重要な設計目標の一つであり，設計段階で性能要求を満... [more] | MSS2013-55 SS2013-52 pp.23-28 |
| SS, MSS (共催) |
2014-01-30 15:15 |
愛知 | 豊田中央研究所 | アスペクト指向プログラミングによる高性能・低消費電力化 ○鷲崎弘宜・大河原洸太・原 章浩・深澤良彰（早大） MSS2013-56 SS2013-53 |
[more] | MSS2013-56 SS2013-53 pp.29-34 |
| SS, MSS (共催) |
2014-01-30 15:50 |
愛知 | 豊田中央研究所 | ワークフローネットの構造からフットプリントへの多項式時間変換法とその応用 ○西 颯麻・山口真悟（山口大） MSS2013-57 SS2013-54 |
[more] | MSS2013-57 SS2013-54 pp.35-40 |
| SS, MSS (共催) |
2014-01-30 16:15 |
愛知 | 豊田中央研究所 | 禁止枝ペトリネットの最大発火系列問題に関する可解性 ～ 重みなし/あり無競合ペトリネット ～ ○田岡智志・落岩 諭・渡邉敏正（広島大） MSS2013-58 SS2013-55 |
[more] | MSS2013-58 SS2013-55 pp.41-45 |
| SS, MSS (共催) |
2014-01-30 16:40 |
愛知 | 豊田中央研究所 | 健全なサイクリックWell-Structuredワークフローネットの可達性の多項式時間判定について ○曲 媛・山口真悟（山口大） MSS2013-59 SS2013-56 |
[more] | MSS2013-59 SS2013-56 pp.47-52 |
| SS, MSS (共催) |
2014-01-30 17:05 |
愛知 | 豊田中央研究所 | ペトリネットを用いた量子回路のモデル化と解析 ○村主健太・太田 淳・辻 孝吉（愛知県立大） MSS2013-60 SS2013-57 |
量子コンピュータは，Shor の因数分解アルゴリズムによって従来のコンピュータより高速な計算が可能であることが示され，注... [more] | MSS2013-60 SS2013-57 pp.53-58 |
| SS, MSS (共催) |
2014-01-31 09:30 |
愛知 | 豊田中央研究所 | アクターモデルに基づいたストリームデータに対する分散オンライン決定木学習手法の提案 ○山本幸一・櫻井孝平・山根 智（金沢大） MSS2013-61 SS2013-58 |
ストリームデータに対する決定木構築において従来の決定木学習アルゴリズムは大規模データコンピューティングに向けた設計ではな... [more] | MSS2013-61 SS2013-58 pp.59-64 |
| SS, MSS (共催) |
2014-01-31 09:55 |
愛知 | 豊田中央研究所 | CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査 ○竹下 淳・小橋潤平・山根 智（金沢大） MSS2013-62 SS2013-59 |
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] | MSS2013-62 SS2013-59 pp.65-70 |
| SS, MSS (共催) |
2014-01-31 10:20 |
愛知 | 豊田中央研究所 | 量的情報流に基づくプログラムの実行時制御法の提案 ○Bao Trung Chu（奈良先端大）・橋本健二・関 浩之（名大） MSS2013-63 SS2013-60 |
[more] | MSS2013-63 SS2013-60 pp.71-76 |
| SS, MSS (共催) |
2014-01-31 10:45 |
愛知 | 豊田中央研究所 | 誤りを引き起こすインタラクションを特定可能なテストセット生成法の改善 ○永元雄宙・小島英春・土屋達弘（阪大） MSS2013-64 SS2013-61 |
本研究では, ソフトウェアのインタラクションテストにおいて, テストの実行結果から異常動作などの原因 である故障インタ... [more] |
MSS2013-64 SS2013-61 pp.77-81 |
| SS, MSS (共催) |
2014-01-31 11:20 |
愛知 | 豊田中央研究所 | FAのためのピーク負荷抑制と作業進行を両立する臨機応変な工程進捗制御の基礎概念 ○輕部満國・高橋宏治（東工大） MSS2013-65 SS2013-62 |
[more] | MSS2013-65 SS2013-62 pp.83-88 |
| SS, MSS (共催) |
2014-01-31 11:45 |
愛知 | 豊田中央研究所 | 統計的ラフ集合手法によるif-thenルール導出に関する考察とシミュレーション実験 ○加藤裕一（島根大）・佐伯徹郎（山口大） MSS2013-66 SS2013-63 |
[more] | MSS2013-66 SS2013-63 pp.89-94 |
| SS, MSS (共催) |
2014-01-31 12:10 |
愛知 | 豊田中央研究所 | トランジションシステムの模倣制御における出力フィードバックコントローラの最大許容性 ○串 直紀・高井重昌（阪大） MSS2013-67 SS2013-64 |
トランジションシステムの模倣制御問題において，可解となるための必要十分条件，模倣制御問題の解となる状態フィードバックコン... [more] | MSS2013-67 SS2013-64 pp.95-100 |
| SS, MSS (共催) |
2014-01-31 13:35 |
愛知 | 豊田中央研究所 | 言語間の関係として表した意味を保つ表現間変換に基づく処理モデル ○古宇田フミ子・近山 隆（東大） MSS2013-68 SS2013-65 |
計算機システムの利用者が必要な処理を容易に見つけられないことは少なくない。この問題の解決のため に、処理を意味を保存す... [more] |
MSS2013-68 SS2013-65 pp.101-106 |
| SS, MSS (共催) |
2014-01-31 14:00 |
愛知 | 豊田中央研究所 | ソースコードの自動進化に向けて ○村上寛明・堀田圭佑・肥後芳樹・楠本真二（阪大） MSS2013-69 SS2013-66 |
ソースコードの変更作業は難しく，誤った方法で変更してしまったり，変更すべき箇所を見逃してしまったりという人的過失が起こる... [more] | MSS2013-69 SS2013-66 pp.107-112 |
| SS, MSS (共催) |
2014-01-31 14:25 |
愛知 | 豊田中央研究所 | 変更レベルに着目したバグ予測支援ツールの設計と実装 ○田中秀太郎・山下一寛・亀井靖高・鵜林尚靖（九大） MSS2013-70 SS2013-67 |
ソースコードファイルの変更，つまり版管理システムに対するコミットを対象としたバグ予測（Just-In-Timeバグ予測）... [more] | MSS2013-70 SS2013-67 pp.113-118 |
[研究会発表申込システムのトップページに戻る]