| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Hiroyuki Seki (NAIST) Vice Chair: Shin Nakajima (NII) Secretary: Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.) Assistant: Hironobu Washizaki (Waseda Univ.) DATE: Thu, May 10, 2012 14:10 - 16:55 Fri, May 11, 2012 09:30 - 11:45 PLACE: Media Hall on 1F of Center for Information Technology, Ehime University(3 Bunkyo-cho, Matsuyama, Ehime Pref. 790-8577, Japan.Nearby Teppo-cho tram stop. http://wserv.cite.ehime-u.ac.jp/modules/smartsection/item.php?itemid=16. Prof. Hirohisa Aman) TOPICS: General topics ---------------------------------------- Thu, May 10 PM (14:00 - 16:55) ---------------------------------------- ----- 2011 IEICE SIGSS Incentive Award Ceremony ( 10 min. ) ----- (1) 14:10 - 14:40 Adoption of Software Product Line from Extreme Derivative Development Process Tsuneo Nakanishi (Kyushu Univ.), Hans-Werner Griepentrog, Claes Jaeger-Hansen (UHOH), Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) (2) 14:40 - 15:10 On Multi-Task Scheduling for Reducing Heap Memory Consumption Using Live Variable Analysis Hiroki Funase, Akio Nakata (Hiroshima City Univ.) (3) 15:10 - 15:40 QORAL: External Domain-Specific Language for Mining Software Repositories with GPGPU Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda (Kyushu Univ.) ----- Break ( 15 min. ) ----- (4) 15:55 - 16:25 An Analysis Method of Code Clone With Context and Content of Code Toshihiro Kamiya (Fun) (5) 16:25 - 16:55 Throughput Performance Verification of Airship Autopilot Software: A Case Study for Evaluating Performance Verification of Software Design Model Akira Kado, Akio Nakata (Hiroshima City Univ.) ---------------------------------------- Fri, May 11 AM (09:30 - 11:45) ---------------------------------------- (6) 09:30 - 10:00 Mining API Usage Patterns from Software Repositories by Categorizing Method Invocations Rizky Januar Akbar, Takayuki Omori, Katsuhisa Maruyama (Ritsumeikan Univ.) (7) 10:00 - 10:30 A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control Pablo Lamilla Alvarez, Yoshiaki Takata (Kochi Univ. of Tech.) ----- Break ( 15 min. ) ----- (8) 10:45 - 11:15 Introducing Array Mechanism into High-Level Assembly Language for Malbolge Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) (9) 11:15 - 11:45 Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types Keiichirou Kusakari (Nagoya Univ.) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. # CONFERENCE ANNOUNCEMENT: - Please join us for an opening reception on Thu., 10 May. Please register yourself by the following site by 2 May. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Fri, Jul 27, 2012 - Sat, Jul 28, 2012: Future University Hakodate [Tue, May 22], Topics: General session # SECRETARY: Hironori Washizaki (Waseda University) TEL 03-5286-3272 E-mail:      a    -  # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.washi.cs.waseda.ac.jp/sigss/ Last modified: 2012-05-02 18:17:12 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] /
| Go Top | Go Back | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]