Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

論文誌
[1] 松尾裕幸, まつ本真佑, 楠本真二, "省電力プログラムの実現に向けて:実装手段の違いによる実行時間と消費電力量の比較調査," 情報処理学会論文誌, volume 59, number 4, pages 1262-1272, 2018年4月. [IPSJ-JNL5904013.pdf]
研究会・全国大会等
[1] 藤田悠矢, 岡野浩三, 楠本真二, "異なるスキーマ間に対応するSQL文の整合性のAlloy Analyzerを用いた一検証手法," 電子情報通信学会技術研究報告, volume 113, number 159, pages 007-012, 2013年7月. [sigss1307_f-yuya.pdf]
[2] 澤健一, 肥後芳樹, 楠本真二, "複数のコードクローン検出ツールによって検出されるコードクローンの差異を用いた不具合検出手法," 情報処理学会第70回全国大会講演論文集, 2008年3月. [0]

Search

Tags

この検索内の頻出タグ: different:3 code:2 verification:1 towards:1 tools:1 time:1 study:1 statements:1 sql:1 schemas:1 program:1 method:1 implementations:1 implementation:1 find:1 execution:1 energy-saving:1 energy:1 differences:1 detected:1 detction:1 consumption:1 consistency:1 comparative:1 clones:1 clone:1 bugs:1 analyzer:1 alloy:1

3 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.121251 seconds.