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) |