情報・システム-ソフトウェアサイエンス(開催日：2014/01/23)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2014/1/23
[資料番号]
目次

,  

[発表日]2014/1/23
[資料番号]
制御性能の最適化を考慮したマルチホップ制御ネットワークのスケジューリング

斜森 泰樹,  潮 俊光,  

[発表日]2014/1/23
[資料番号]SS2013-48,MSS2013-51
クラウドシステムにおけるジョブスケジューリングのためのカッコウサーチアルゴリズム

アムテード スパチープ,  宮本 俊幸,  

[発表日]2014/1/23
[資料番号]SS2013-49,MSS2013-52
調理手順スケジューリングのためのWeb公開レシピー変換アルゴリズム

張 一加,  舷曳 信生,  中西 透,  

[発表日]2014/1/23
[資料番号]SS2013-50,MSS2013-53
近似によるパラメトリック実行時間解析の効率化手法およびその評価

杉原 圭佑,  中田 明夫,  

[発表日]2014/1/23
[資料番号]SS2013-51,MSS2013-54
拡張SysML記述に対する性能検証に必要な情報の抽出手法の提案

元家 裕介,  中田 明夫,  

[発表日]2014/1/23
[資料番号]SS2013-52,MSS2013-55
アスペクト指向プログラミングによる高性能・低消費電力化

鷲崎 弘宜,  大河原 洸太,  原 章浩,  深澤 良彰,  

[発表日]2014/1/23
[資料番号]SS2013-53,MSS2013-56
ワークフローネットの構造からフットプリントへの多項式時間変換法とその応用

西 颯麻,  山口 真悟,  

[発表日]2014/1/23
[資料番号]SS2013-54,MSS2013-57
禁止枝ペトリネットの最大発火系列問題に関する可解性 : 重みなし/あり無競合ペトリネット

田岡 智志,  落岩 諭,  渡邉 敏正,  

[発表日]2014/1/23
[資料番号]SS2013-55,MSS2013-58
健全なサイクリックWell-Structuredワークフローネットの可達性の多項式時間判定について

曲 媛,  山口 真悟,  

[発表日]2014/1/23
[資料番号]SS2013-56,MSS2013-59
ペトリネットを用いた量子回路のモデル化と解析

村主 健太,  太田 淳,  辻 孝吉,  

[発表日]2014/1/23
[資料番号]SS2013-57,MSS2013-60
アクターモデルに基づいたストリームデータに対する分散オンライン決定木学習手法の提案

山本 幸一,  櫻井 孝平,  山根 智,  

[発表日]2014/1/23
[資料番号]SS2013-58,MSS2013-61
CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査

竹下 淳,  小橋 潤平,  山根 智,  

[発表日]2014/1/23
[資料番号]SS2013-59,MSS2013-62
Runtime Control of a Program based on Quantitative Information Flow

,  

[発表日]2014/1/23
[資料番号]SS2013-60,MSS2013-63
誤りを引き起こすインタラクションを特定可能なテストセット生成法の改善

永元 雄宙,  小島 英春,  土屋 達弘,  

[発表日]2014/1/23
[資料番号]SS2013-61,MSS2013-64
FAのためのピーク負荷抑制と作業進行を両立する臨機応変な工程進捗制御の基礎概念

輕部 満國,  高橋 宏治,  

[発表日]2014/1/23
[資料番号]SS2013-62,MSS2013-65
統計的ラフ集合手法によるif-thenルール導出に関する考察とシミュレーション実験

加藤 裕一,  佐伯 徹郎,  

[発表日]2014/1/23
[資料番号]SS2013-63,MSS2013-66
トランジションシステムの模倣制御における出力フィードバックコントローラの最大許容性

串 直紀,  高井 重昌,  

[発表日]2014/1/23
[資料番号]SS2013-64,MSS2013-67
言語間の関係に基づく意味を保つ表現間変換を表す処理モデル

古宇田 フミ子,  近山 隆,  

[発表日]2014/1/23
[資料番号]SS2013-65,MSS2013-68
12>> 1-20hit(30hit)