Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2014-01-30 13:00 |
Aichi |
|
Scheduling of Multi-Hop Control Networks with Optimal Control Performance Yasuki Nanamori, Toshimitsu Ushio (Osaka Univ.) MSS2013-51 SS2013-48 |
We propose a scheduling method to achieve the optimal control performance in a multi-hop control network, where actuatio... [more] |
MSS2013-51 SS2013-48 pp.1-4 |
SS, MSS |
2014-01-30 13:25 |
Aichi |
|
Cuckoo Search Algorithm for Job Scheduling in Cloud Systems Supacheep Amtade, Toshiyuki Miyamoto (Osaka Univ.) MSS2013-52 SS2013-49 |
[more] |
MSS2013-52 SS2013-49 pp.5-10 |
SS, MSS |
2014-01-30 13:50 |
Aichi |
|
A Web Recipe Conversion Algorithm for Cooking-Step Scheduling Yijia Zhang, Nobuo Funabiki, Toru Nakanishi (Okayama Univ.) MSS2013-53 SS2013-50 |
Previously, we have proposed the cooking-step scheduling algorithm to assist home-made cooking by busy people such as wo... [more] |
MSS2013-53 SS2013-50 pp.11-16 |
SS, MSS |
2014-01-30 14:25 |
Aichi |
|
An Efficient Parametric Execution Time Analysis of Real-Time Programs Using Approximation and its Evaluation Keisuke Sugihara, Akio Nakata (Hiroshima City Univ.) MSS2013-54 SS2013-51 |
For reusing real-time software in some different execution platform, it is useful to adjust the execution time of the pr... [more] |
MSS2013-54 SS2013-51 pp.17-22 |
SS, MSS |
2014-01-30 14:50 |
Aichi |
|
A Method for Extracting Necessary Information for Performance Verification from Extended SysML Diagrams Yusuke Motoie, Akio Nakata (Hiroshima City Univ.) MSS2013-55 SS2013-52 |
Achieving performance requirements under severe resource constraints is one of the most important design issues in embed... [more] |
MSS2013-55 SS2013-52 pp.23-28 |
SS, MSS |
2014-01-30 15:15 |
Aichi |
|
High Performance and Low Energy Consumption by Aspect-Oriented Programming Hironori Washizaki, Kota Ohkawara, Akihiro Hara, Yoshiaki Fukazawa (Waseda Univ.) MSS2013-56 SS2013-53 |
[more] |
MSS2013-56 SS2013-53 pp.29-34 |
SS, MSS |
2014-01-30 15:50 |
Aichi |
|
A polynomial time conversion method of footprints from structure of workflow nets and its application Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ) MSS2013-57 SS2013-54 |
[more] |
MSS2013-57 SS2013-54 pp.35-40 |
SS, MSS |
2014-01-30 16:15 |
Aichi |
|
Solvability for The Maximum Legal Firing Sequence Problem of Inhibitor-Arc Petri nets
-- Unweighted/Weighted Conflict-Free Petri nets -- Satoshi Taoka, Satoru Ochiiwa, Toshimasa Watanabe (Hiroshima Univ.) MSS2013-58 SS2013-55 |
[more] |
MSS2013-58 SS2013-55 pp.41-45 |
SS, MSS |
2014-01-30 16:40 |
Aichi |
|
On Polynomial Time Checking on Reachability in Sound Cyclic Well-Structured Work Yuan Qu, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-59 SS2013-56 |
[more] |
MSS2013-59 SS2013-56 pp.47-52 |
SS, MSS |
2014-01-30 17:05 |
Aichi |
|
Modeling and Analysis of Quantum Circuits by using Extended Petri Nets Kenta Muranushi, Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) MSS2013-60 SS2013-57 |
Quantum computers came to attention since the Shor's algorithm showed that they have the computing power superior to con... [more] |
MSS2013-60 SS2013-57 pp.53-58 |
SS, MSS |
2014-01-31 09:30 |
Aichi |
|
Distributed Online Decison Tree Learning for Stream Data Based on Actor Model Koichi Yamamoto, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2013-61 SS2013-58 |
Because the conventional decision tree learning algorithm is not designed for the large-scale data computing, it isn't p... [more] |
MSS2013-61 SS2013-58 pp.59-64 |
SS, MSS |
2014-01-31 09:55 |
Aichi |
|
Bounded model checking based in SMT for CISC embedded assembly programs Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.) MSS2013-62 SS2013-59 |
In this paper,we describe the method of verification by bounded model checking based in SMT using Code Block for embedde... [more] |
MSS2013-62 SS2013-59 pp.65-70 |
SS, MSS |
2014-01-31 10:20 |
Aichi |
|
Runtime Control of a Program based on Quantitative Information Flow Bao Trung Chu (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) MSS2013-63 SS2013-60 |
Quantitative information flow is a new notion based on
information theory for expressing how much the program
leaks in... [more] |
MSS2013-63 SS2013-60 pp.71-76 |
SS, MSS |
2014-01-31 10:45 |
Aichi |
|
Improving a Test Case Generation Method for Faulty Interaction Location Takahiro Nagamoto, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ) MSS2013-64 SS2013-61 |
This paper discusses the location of interaction faults in software interaction testing.In our previous
study we propos... [more] |
MSS2013-64 SS2013-61 pp.77-81 |
SS, MSS |
2014-01-31 11:20 |
Aichi |
|
Basic Concept of Flexible Control of FA Systems for Peak Power Cut and Process Progress Mitsukiniu Karube, Koji Takahashi (Tokyo Inst. of Tech.) MSS2013-65 SS2013-62 |
[more] |
MSS2013-65 SS2013-62 pp.83-88 |
SS, MSS |
2014-01-31 11:45 |
Aichi |
|
Studies on If-then Rule Induction by Statistical Rough Set Method and its Simulation Experiment Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.) MSS2013-66 SS2013-63 |
[more] |
MSS2013-66 SS2013-63 pp.89-94 |
SS, MSS |
2014-01-31 12:10 |
Aichi |
|
Maximal Permissiveness of the Output Feedback Controller for Similarity Control of Transition Systems Naoki Kushi, Shigemasa Takai (Osaka Univ.) MSS2013-67 SS2013-64 |
For a similarity control problem for transition systems, a necessary and sufficient condition for the solvability and a ... [more] |
MSS2013-67 SS2013-64 pp.95-100 |
SS, MSS |
2014-01-31 13:35 |
Aichi |
|
Computer processing model as language translation Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo) MSS2013-68 SS2013-65 |
Users of computer systems often feel difficulty in finding desired processing. To solve the problem, a
new model of pro... [more] |
MSS2013-68 SS2013-65 pp.101-106 |
SS, MSS |
2014-01-31 14:00 |
Aichi |
|
Towards Automated Code Evolution Hiroaki Murakami, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) MSS2013-69 SS2013-66 |
Changing source code is not an easy task. Developers sometimes change source code in wrong ways or overlook code fragmen... [more] |
MSS2013-69 SS2013-66 pp.107-112 |
SS, MSS |
2014-01-31 14:25 |
Aichi |
|
Design and Implementation of the tool for bug prediction at the change level Shutaro Tanaka, Kazuhiro Yamashita, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) MSS2013-70 SS2013-67 |
Some previous studies show that bug prediction at the change-level (i.e., bug prediction for a commit to version control... [more] |
MSS2013-70 SS2013-67 pp.113-118 |