IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 113, Number 421

Mathematical Systems Science and its applications

Workshop Date : 2014-01-30 - 2014-01-31 / Issue Date : 2014-01-23

[PREV] [NEXT]

[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

MSS2013-51
Scheduling of Multi-Hop Control Networks with Optimal Control Performance
Yasuki Nanamori, Toshimitsu Ushio (Osaka Univ.)
pp. 1 - 4

MSS2013-52
Cuckoo Search Algorithm for Job Scheduling in Cloud Systems
Supacheep Amtade, Toshiyuki Miyamoto (Osaka Univ.)
pp. 5 - 10

MSS2013-53
A Web Recipe Conversion Algorithm for Cooking-Step Scheduling
Yijia Zhang, Nobuo Funabiki, Toru Nakanishi (Okayama Univ.)
pp. 11 - 16

MSS2013-54
An Efficient Parametric Execution Time Analysis of Real-Time Programs Using Approximation and its Evaluation
Keisuke Sugihara, Akio Nakata (Hiroshima City Univ.)
pp. 17 - 22

MSS2013-55
A Method for Extracting Necessary Information for Performance Verification from Extended SysML Diagrams
Yusuke Motoie, Akio Nakata (Hiroshima City Univ.)
pp. 23 - 28

MSS2013-56
High Performance and Low Energy Consumption by Aspect-Oriented Programming
Hironori Washizaki, Kota Ohkawara, Akihiro Hara, Yoshiaki Fukazawa (Waseda Univ.)
pp. 29 - 34

MSS2013-57
A polynomial time conversion method of footprints from structure of workflow nets and its application
Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ)
pp. 35 - 40

MSS2013-58
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.)
pp. 41 - 45

MSS2013-59
On Polynomial Time Checking on Reachability in Sound Cyclic Well-Structured Work
Yuan Qu, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 47 - 52

MSS2013-60
Modeling and Analysis of Quantum Circuits by using Extended Petri Nets
Kenta Muranushi, Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.)
pp. 53 - 58

MSS2013-61
Distributed Online Decison Tree Learning for Stream Data Based on Actor Model
Koichi Yamamoto, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
pp. 59 - 64

MSS2013-62
Bounded model checking based in SMT for CISC embedded assembly programs
Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.)
pp. 65 - 70

MSS2013-63
Runtime Control of a Program based on Quantitative Information Flow
Bao Trung Chu (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.)
pp. 71 - 76

MSS2013-64
Improving a Test Case Generation Method for Faulty Interaction Location
Takahiro Nagamoto, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ)
pp. 77 - 81

MSS2013-65
Basic Concept of Flexible Control of FA Systems for Peak Power Cut and Process Progress
Mitsukiniu Karube, Koji Takahashi (Tokyo Inst. of Tech.)
pp. 83 - 88

MSS2013-66
Studies on If-then Rule Induction by Statistical Rough Set Method and its Simulation Experiment
Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.)
pp. 89 - 94

MSS2013-67
Maximal Permissiveness of the Output Feedback Controller for Similarity Control of Transition Systems
Naoki Kushi, Shigemasa Takai (Osaka Univ.)
pp. 95 - 100

MSS2013-68
Computer processing model as language translation
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo)
pp. 101 - 106

MSS2013-69
Towards Automated Code Evolution
Hiroaki Murakami, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 107 - 112

MSS2013-70
Design and Implementation of the tool for bug prediction at the change level
Shutaro Tanaka, Kazuhiro Yamashita, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.)
pp. 113 - 118

MSS2013-71
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.)
pp. 119 - 124

MSS2013-72
Division Constraint-based Receding Horizon Control of Nonlinear Discrete-time Systems
Quan Gan, Toshimitsu Ushio (Osaka Univ.)
pp. 125 - 130

MSS2013-73
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)
pp. 131 - 134

MSS2013-74
Simulation of Nonlinear Hybrid Systems using a Parallelotope Method
Daisuke Ishii (Tokyo Inst. of Tech.), Alexandre Goldsztejn (CNRS/LINA)
pp. 135 - 139

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


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