IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES)
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


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)

Technical Committee on Software Science (SS) [schedule] [select]
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 

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)

Announcement for Speakers
General TalkEach 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-: siiisck 
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


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 

[On-Site Price List of Proceedings (Technical Report)] (in Japanese)
 
[Presentation and Participation FAQ] (in Japanese)
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[Return to MSS Schedule Page]   /   [Return to SS Schedule Page]   /  
 
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Home Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan