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

論文誌
[1] Hiroto Tanaka, Shinsuke Matsumoto, and Shinji Kusumoto, "A Study on the Current Status of Functional Idioms in Java," IEICE TRANSACTIONS on Information and Systems, volume E102-D, number 12, pages 2414-2422, December 2019. [paper.pdf]
国際会議
[1] Hiroyuki Matsuo, Shinsuke Matsumoto, and Shinji Kusumoto, "What Makes Software Energy-Efficient?: Make It Faster," The 41st IEEE Computer Society Signature Conference on Computers, Software and Applications (COMPSAC), pages 274--275, July 2017. [h-matsuo_COMPSAC.pdf]
研究会・全国大会等
[1] 榛葉 浩章, 尾ノ上 博樹, 岡野 浩三, 楠本真二, "JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案," 電子情報通信学会技術研究報告, volume 113, number 489, pages 19-24, 2014年3月. [document.pdf]
[2] 佐々木幸広, 小林和貴, 岡野浩三, 楠本真二, "SMTソルバーとPDG作成ツールを用いた Java のテストケース自動導出手法の提案," 電子情報通信学会技術研究報告 , volume 111 , number 481, pages 55-60, 2012年2月. [Sigss2012.pdf]
学位論文
[1] 松尾 裕幸, "実装方法の違いによるプログラムの消費電力量および実行時間への影響に関する調査," , 2017年2月. [h-matsuo_bachelor_thesis.pdf]
[2] 尾ノ上 博樹, "JavaにおけるequalsメソッドとhashCodeメソッドの検査ツールの実装と評価," , 2014年2月. [graduation-thesis.pdf]

Search

Tags

この検索内の頻出タグ: Java:6 sorting:2 software:2 program:2 method:2 energy:2 consumption:2 algorithm:2 Verification:2 Theories:2 Satisfiability:2 Modulo:2 Formal:2 Collections:2 test:1 solver:1 idioms:1 hashCode:1 equals:1 classes:1 class:1 case:1 Stream:1 SMT:1 PDG:1 Optional:1 Lambda:1 Functional:1 Expression:1 Daikon:1

6 件の該当がありました. : このページの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.053671 seconds.