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

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

,  

[発表日]2015/1/19
[資料番号]
目次

,  

[発表日]2015/1/19
[資料番号]
コード形状を利用したクローン抽出方式の適用評価

垣谷 広輝,  中谷 和希,  平山 雅之,  菊地 奈穂美,  

[発表日]2015/1/19
[資料番号]MSS2014-69,SS2014-33
派生開発ソフトウェア群に対するコードクローン分析技術の適用事例

肥後 芳樹,  堀田 圭佑,  村上 寛明,  楠本 真二,  中村 伸裕,  加藤 孝則,  牟田 幸功,  西川 憲二,  

[発表日]2015/1/19
[資料番号]MSS2014-70,SS2014-34
コードクローン解析に対するスーパーコンピュータ導入に向けた試行実験

大坂 陽,  亀井 靖高,  堀田 圭佑,  鵜林 尚靖,  

[発表日]2015/1/19
[資料番号]MSS2014-71,SS2014-35
Just-In-Time欠陥予測支援ツールanko

田中 秀太郎,  福島 崇文,  山下 一寛,  亀井 靖高,  鵜林 尚靖,  

[発表日]2015/1/19
[資料番号]MSS2014-72,SS2014-36
近似模倣を利用した人間機械系に存在するオートメーションサプライズの検出

石井 大貴,  潮 俊光,  

[発表日]2015/1/19
[資料番号]MSS2014-73,SS2014-37
センサネットワークによるカルマンフィルタリングのためのエネルギー消費と情報量を考慮した最適サンプリング

今井 健,  潮 俊光,  

[発表日]2015/1/19
[資料番号]MSS2014-74,SS2014-38
複数のShort Readセットを活用したde Bruijnグラフに基づく二段階De Novoゲノムアセンブリ手法

重信 琢人,  名嘉村 盛和,  

[発表日]2015/1/19
[資料番号]MSS2014-75,SS2014-39
制約付き項書換え系の停止性証明におけるナローイングの効果について

上山 智也,  西田 直樹,  酒井 正彦,  坂部 俊樹,  

[発表日]2015/1/19
[資料番号]MSS2014-76,SS2014-40
A Consideration on How to Model Check Distributed Snapshot Reachability Property

,  

[発表日]2015/1/19
[資料番号]MSS2014-77,SS2014-41
例外処理を含む関数型プログラムの停止性証明のための条件付き依存対法の実現

太田 浩一,  濱口 毅,  酒井 正彦,  山田 晃久,  西田 直樹,  坂部 俊樹,  

[発表日]2015/1/19
[資料番号]MSS2014-78,SS2014-42
An approach to Application of Inductive Logic Programming to Characterization of Reachable States

,  

[発表日]2015/1/19
[資料番号]MSS2014-79,SS2014-43
区間解析を用いたハイブリッドシステムの統計的モデル検査

石井 大輔,  米崎 直樹,  

[発表日]2015/1/19
[資料番号]MSS2014-80,SS2014-44
木文法に基づくXML圧縮文書に対する直接更新手法の評価

後藤 健志,  尾上 栄浩,  橋本 健二,  関 浩之,  

[発表日]2015/1/19
[資料番号]MSS2014-81,SS2014-45
部分観測におけるMaxSATソルバを用いたスーパバイザ合成手法

廣田 樹,  結縁 祥治,  東道 徹也,  

[発表日]2015/1/19
[資料番号]MSS2014-82,SS2014-46
ワークフローネットのスーパークラス抽出問題とその解法の洗練

西 颯麻,  山口 真悟,  

[発表日]2015/1/19
[資料番号]MSS2014-83,SS2014-47
ワークフローネットのリファクタリングに対するimplicitプレースに着目したアプローチ

張 佳,  豊嶋 伊知郎,  山口 真悟,  

[発表日]2015/1/19
[資料番号]MSS2014-84,SS2014-48
決定表の統計的縮約法に関する考察

加藤 裕一,  佐伯 徹郎,  水野 祥太郎,  

[発表日]2015/1/19
[資料番号]MSS2014-85,SS2014-49
Pull Request駆動型の開発を支援するツールの検討

齋藤 雄輔,  藤原 賢二,  井垣 宏,  吉田 則裕,  飯田 元,  

[発表日]2015/1/19
[資料番号]MSS2014-86,SS2014-50
12>> 1-20hit(28hit)