Thu, Jan 30 PM
13:00 - 17:30 |
| (1) |
13:00-13:25 |
Scheduling of Multi-Hop Control Networks with Optimal Control Performance |
Yasuki Nanamori, Toshimitsu Ushio (Osaka Univ.) |
| (2) |
13:25-13:50 |
Cuckoo Search Algorithm for Job Scheduling in Cloud Systems |
Supacheep Amtade, Toshiyuki Miyamoto (Osaka Univ.) |
| (3) |
13:50-14:15 |
A Web Recipe Conversion Algorithm for Cooking-Step Scheduling |
Yijia Zhang, Nobuo Funabiki, Toru Nakanishi (Okayama Univ.) |
| |
14:15-14:25 |
Break ( 10 min. ) |
| (4) |
14:25-14:50 |
An Efficient Parametric Execution Time Analysis of Real-Time Programs Using Approximation and its Evaluation |
Keisuke Sugihara, Akio Nakata (Hiroshima City Univ.) |
| (5) |
14:50-15:15 |
A Method for Extracting Necessary Information for Performance Verification from Extended SysML Diagrams |
Yusuke Motoie, Akio Nakata (Hiroshima City Univ.) |
| (6) |
15:15-15:40 |
High Performance and Low Energy Consumption by Aspect-Oriented Programming |
Hironori Washizaki, Kota Ohkawara, Akihiro Hara, Yoshiaki Fukazawa (Waseda Univ.) |
| |
15:40-15:50 |
Break ( 10 min. ) |
| (7) |
15:50-16:15 |
A polynomial time conversion method of footprints from structure of workflow nets and its application |
Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ) |
| (8) |
16:15-16:40 |
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.) |
| (9) |
16:40-17:05 |
On Polynomial Time Checking on Reachability in Sound Cyclic Well-Structured Work |
Yuan Qu, Shingo Yamaguchi (Yamaguchi Univ.) |
| (10) |
17:05-17:30 |
Modeling and Analysis of Quantum Circuits by using Extended Petri Nets |
Kenta Muranushi, Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
Fri, Jan 31 AM
09:30 - 16:40 |
| (11) |
09:30-09:55 |
Distributed Online Decison Tree Learning for Stream Data Based on Actor Model |
Koichi Yamamoto, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) |
| (12) |
09:55-10:20 |
Bounded model checking based in SMT for CISC embedded assembly programs |
Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.) |
| (13) |
10:20-10:45 |
Runtime Control of a Program based on Quantitative Information Flow |
Bao Trung Chu (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) |
| (14) |
10:45-11:10 |
Improving a Test Case Generation Method for Faulty Interaction Location |
Takahiro Nagamoto, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ) |
| |
11:10-11:20 |
Break ( 10 min. ) |
| (15) |
11:20-11:45 |
Basic Concept of Flexible Control of FA Systems for Peak Power Cut and Process Progress |
Mitsukiniu Karube, Koji Takahashi (Tokyo Inst. of Tech.) |
| (16) |
11:45-12:10 |
Studies on If-then Rule Induction by Statistical Rough Set Method and its Simulation Experiment |
Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.) |
| (17) |
12:10-12:35 |
Maximal Permissiveness of the Output Feedback Controller for Similarity Control of Transition Systems |
Naoki Kushi, Shigemasa Takai (Osaka Univ.) |
| |
12:35-13:35 |
Break ( 60 min. ) |
| (18) |
13:35-14:00 |
Computer processing model as language translation |
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo) |
| (19) |
14:00-14:25 |
Towards Automated Code Evolution |
Hiroaki Murakami, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
| (20) |
14:25-14:50 |
Design and Implementation of the tool for bug prediction at the change level |
Shutaro Tanaka, Kazuhiro Yamashita, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
| (21) |
14:50-15:15 |
An Application of an Incremental Approach for Feature Location and Identification in Source Code |
Hiroshi Kazato (NTT DATA), Shinpei Hayashi, Takashi Kobayashi (Tokyo Inst. of Tech.), Tsuyoshi Oshima, Shunsuke Miyata, Katsuyuki Natsukawa, Takashi Hoshino (NTT), Motoshi Saeki (Tokyo Inst. of Tech.) |
| |
15:15-15:25 |
Break ( 10 min. ) |
| (22) |
15:25-15:50 |
Division Constraint-based Receding Horizon Control of Nonlinear Discrete-time Systems |
Quan Gan, Toshimitsu Ushio (Osaka Univ.) |
| (23) |
15:50-16:15 |
Experimental Study of a Trajectory Generation Method of a Multi-rotor Helicopter Using Finite-horizon Optimal Control |
Tatsuya Kono, Toshimitsu Ushio (Osaka Univ.), Takashi Takimoto (KCT) |
| (24) |
16:15-16:40 |
Simulation of Nonlinear Hybrid Systems using a Parallelotope Method |
Daisuke Ishii (Tokyo Inst. of Tech.), Alexandre Goldsztejn (CNRS/LINA) |
: 
s
ii
isc
