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

===============================================
Technical Committee on Mathematical Systems Science and its applications (MSS)
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)
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.)

DATE:
Thu, Jan 30, 2014 13:00 - 17:30
Fri, Jan 31, 2014 09:30 - 16:40

PLACE:
TOYOTA central R&D Lab

TOPICS:


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

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

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

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

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

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

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.


=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===
# FUTURE SCHEDULE:

Thu, Mar 6, 2014 - Fri, Mar 7, 2014: Ehime Univ. [Sun, Jan 19]

# SECRETARY:
Shin'nosuke Yamaguchi (Kyushu Institute of Technology)
Tel: 0948-29-7572
E-mail: siiisck

=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Tue, Mar 11, 2014 - Wed, Mar 12, 2014: Tenbusu Naha [Fri, Jan 17], Topics: Software Science

# SECRETARY:
Hironori Washizaki (Waseda University)
TEL: 03-5286-3272
FAX: 03-5286-3272
E-mail:

# 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.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[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 Web Page]


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