| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2012)
Search Results: Keywords 'from:2012-05-10 to:2012-05-10'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2012-05-10 14:10 |
Ehime | Ehime Univ. | 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.)  SS2012-1 |
Software Product Line (or SPL for short), which enables reuse of software artifacts among products, always require a con... [more] | SS2012-1 pp.1-6 |
| SS | 2012-05-10 14:40 |
Ehime | Ehime Univ. | On Multi-Task Scheduling for Reducing Heap Memory Consumption Using Live Variable Analysis Hiroki Funase, Akio Nakata (Hiroshima City Univ.) SS2012-2 |
Multitasking system often consume more memory than singletasking system, because when context switching occurs, the runn... [more] | SS2012-2 pp.7-12 |
| SS | 2012-05-10 15:10 |
Ehime | Ehime Univ. | 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.) SS2012-3 |
The Mining Software Repositories (MSR) field integrates and analyzes data stored in repositories such as source control ... [more] | SS2012-3 pp.13-18 |
| SS | 2012-05-10 15:55 |
Ehime | Ehime Univ. | An Analysis Method of Code Clone With Context and Content of Code Toshihiro Kamiya (Fun) SS2012-4 |
In order to improve clone-detection methods and to enable new analysis methods with clone detection, e.g., to detect th... [more] |
SS2012-4 pp.19-24 |
| SS | 2012-05-10 16:25 |
Ehime | Ehime Univ. | 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.) SS2012-5 |
In the development of embedded systems, it is generally difficult to check, in the design phase, whether or not a design... [more] | SS2012-5 pp.25-30 |
| SS | 2012-05-11 09:30 |
Ehime | Ehime Univ. | Mining API Usage Patterns from Software Repositories by Categorizing Method Invocations Rizky Januar Akbar, Takayuki Omori, Katsuhisa Maruyama (Ritsumeikan Univ.) SS2012-6 |
Developers often have difficulties using APIs. To aid developers in efficiently using APIs, API usage patterns can be ex... [more] | SS2012-6 pp.31-36 |
| SS | 2012-05-11 10:00 |
Ehime | Ehime Univ. | A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control Pablo Lamilla Alvarez, Yoshiaki Takata (Kochi Univ. of Tech.) SS2012-7 |
Information-Based Access Control (IBAC) has been proposed as an improvement to History-Based Access Control (HBAC) model... [more] | SS2012-7 pp.37-42 |
| SS | 2012-05-11 10:45 |
Ehime | Ehime Univ. | Introducing Array Mechanism into High-Level Assembly Language for Malbolge Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2012-8 |
Malbolge is known to be one of the most esoteric programming languages. Although it is possible to write programs in Mal... [more] | SS2012-8 pp.43-48 |
| SS | 2012-05-11 11:15 |
Ehime | Ehime Univ. | Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types Keiichirou Kusakari (Nagoya Univ.) SS2012-9 |
For simply-typed term rewriting systems (STRSs) and higher-order rewrite systems (HRSs) {\em \`a la} Nipkow, we propo... [more] |
SS2012-9 pp.49-54 |
[Return to Top Page]