| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| Chair |
|
Yuichi Nakamaura (NEC) |
| Vice Chair |
|
Satoshi Yamane (Kanazawa Univ.) |
| Secretary |
|
Shinnosuke Yamaguchi (Kyushu Inst. of Tech.), Mitsuru Nakata (Yamaguchi Univ.) |
| Assistant |
|
Daisuke Nishiwaki (NEC) |
|
|
|
| Chair |
|
Shin Nakajima (NII) |
| Vice Chair |
|
Shoji Yuen (Nagoya Univ.) |
| Secretary |
|
Hironobu Washizaki (Waseda Univ.), Yoshiaki Takata (Kochi Univ. of Tech.) |
| Assistant |
|
Takashi Kobayashi (Tokyo Inst. of Tech.) |
|
| Conference Date |
Thu, Jan 30, 2014 13:00 - 17:30
Fri, Jan 31, 2014 09:30 - 16:40 |
| Topics |
|
| Conference Place |
TOYOTA central R&D Lab |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Jan 30 PM
13:00 - 17:30 |
| (1) |
13:00-13:25 |
Scheduling of Multi-Hop Control Networks with Optimal Control Performance  MSS2013-51 SS2013-48 |
Yasuki Nanamori, Toshimitsu Ushio (Osaka Univ.) |
| (2) |
13:25-13:50 |
Cuckoo Search Algorithm for Job Scheduling in Cloud Systems MSS2013-52 SS2013-49 |
Supacheep Amtade, Toshiyuki Miyamoto (Osaka Univ.) |
| (3) |
13:50-14:15 |
A Web Recipe Conversion Algorithm for Cooking-Step Scheduling MSS2013-53 SS2013-50 |
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 MSS2013-54 SS2013-51 |
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 MSS2013-55 SS2013-52 |
Yusuke Motoie, Akio Nakata (Hiroshima City Univ.) |
| (6) |
15:15-15:40 |
High Performance and Low Energy Consumption by Aspect-Oriented Programming MSS2013-56 SS2013-53 |
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 MSS2013-57 SS2013-54 |
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 -- MSS2013-58 SS2013-55 |
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 MSS2013-59 SS2013-56 |
Yuan Qu, Shingo Yamaguchi (Yamaguchi Univ.) |
| (10) |
17:05-17:30 |
Modeling and Analysis of Quantum Circuits by using Extended Petri Nets MSS2013-60 SS2013-57 |
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 MSS2013-61 SS2013-58 |
Koichi Yamamoto, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) |
| (12) |
09:55-10:20 |
Bounded model checking based in SMT for CISC embedded assembly programs MSS2013-62 SS2013-59 |
Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.) |
| (13) |
10:20-10:45 |
Runtime Control of a Program based on Quantitative Information Flow MSS2013-63 SS2013-60 |
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 MSS2013-64 SS2013-61 |
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 MSS2013-65 SS2013-62 |
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 MSS2013-66 SS2013-63 |
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 MSS2013-67 SS2013-64 |
Naoki Kushi, Shigemasa Takai (Osaka Univ.) |
| |
12:35-13:35 |
Break ( 60 min. ) |
| (18) |
13:35-14:00 |
Computer processing model as language translation MSS2013-68 SS2013-65 |
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo) |
| (19) |
14:00-14:25 |
Towards Automated Code Evolution MSS2013-69 SS2013-66 |
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 MSS2013-70 SS2013-67 |
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 MSS2013-71 SS2013-68 |
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 MSS2013-72 SS2013-69 |
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 MSS2013-73 SS2013-70 |
Tatsuya Kono, Toshimitsu Ushio (Osaka Univ.), Takashi Takimoto (KCT) |
| (24) |
16:15-16:40 |
Simulation of Nonlinear Hybrid Systems using a Parallelotope Method MSS2013-74 SS2013-71 |
Daisuke Ishii (Tokyo Inst. of Tech.), Alexandre Goldsztejn (CNRS/LINA) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
Shin'nosuke Yamaguchi (Kyushu Institute of Technology)
Tel: 0948-29-7572
E- :   s ii   isck   |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Hironori Washizaki (Waseda University)
TEL: 03-5286-3272
FAX: 03-5286-3272
E-:        |
| Announcement |
Latest information will be presented on the homepage
http://www.washi.cs.waseda.ac.jp/sigss/ |
Last modified: 2014-01-13 12:47:15
|