IEICE Technical Report

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

Concurrent Systems Technology

Workshop Date : 2010-11-18 - 2010-11-19 / Issue Date : 2010-11-11

CST2010-38
On Soundness Verification for Workflow Nets with Inhibitor Arcs
Yuki Shinohara, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 1 - 5

CST2010-39
A Probability-based State Space Analysis of Petri Nets
Eleazar Jimenez Serrano (Kyushu Univ.)
pp. 7 - 12

CST2010-40
Heuristic Algorithms TPM and TMDLO for Minimizing Initial Markings of Timed Petri Nets
Satoru Ochiiwa, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 13 - 18

CST2010-41
On the Complexity of Three-Dimensional Orthogonal Face Routing
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.)
pp. 19 - 24

CST2010-42
The simplest and smallest network on which the Ford-Fulkerson maximum flow procedure may fail to terminate
Toshihiko Takahashi (Niigata Univ.)
pp. 25 - 30

CST2010-43
Quasi-Equiripple Design of FIR Filters by Updating Weighting Function
Shosuke Kitamura, Kenji Suyama (Tokyo Denki Univ.)
pp. 31 - 36

CST2010-44
An improvement of correction for lens distortion in information retrieval from printed image by using cellular phones with cameras
Hiroshi Kudo, Takafumi Shono, Mitsuji Muneyasu, Yoshiko Hanada (Kansai Univ.)
pp. 37 - 40

CST2010-45
On Transforming UML Communication Diagrams to UML State Machine Diagrams by Deleting T-T Bridges
Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.)
pp. 41 - 46

CST2010-46
Design of CSD Coefficients FIR Filters using PSO with Perturbation
Takashi Konakahara, Kenji Suyama (Tokyo Denki Univ.)
pp. 47 - 52

CST2010-47
Design of IIR Filters by Allocating Poles and Zeros using PSO
Takuya Matsumoto, Kenji Suyama (Tokyo Denki Univ.)
pp. 53 - 58

CST2010-48
Brayton-Moser equations with application to FitzHugh-Nagumo models
Naotake Yoshida, Hiroaki Yoshimura (Waseda Univ.)
pp. 59 - 62

CST2010-49
[Invited Talk] An Approach to Module Placement: Sequence Pair and its Expansion
Mineo Kaneko (JAIST)
p. 63

CST2010-50
A switching method of distances for keystroke dynamics
Yoshihiro Kaneko, Yuji Kinpara, Yuta Shiomi (Gifu Univ.)
pp. 65 - 70

CST2010-51
ADE-LIM for the Fast Transient Simulation of Multiconductor Transmission Lines and Its Estimation
Hiroki Kurobe, Tadatoshi Sekine, Hideki Asai (Shizuoka Univ.)
pp. 71 - 76

CST2010-52
High-speed Electromagnetic Simulation Based on 3-D HIE-FDTD Method by Using GPU
Masaki Unno, Hideki Asai (Shizuoka Univ.)
pp. 77 - 82

CST2010-53
A Study of a Symbolic Encoding Method for Bounded Model Checking of UML State Machines with Synchronous and Asynchronous Transitions
Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.)
pp. 83 - 88

CST2010-54
Task Scheduling based on Degradation of Control Performance by Job Skip in Cyber-physical Systems
Tatsuya Yoshimoto, Toshimitsu Ushio (Osaka Univ.)
pp. 89 - 94

CST2010-55
Braess's Paradox in Graph B^k with Two Sources
Shimpei Hamaguchi, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.)
pp. 95 - 99

CST2010-56
Decentralized Supervisory Control for Timed Discrete Event Systems
Masashi Nomura, Shigemasa Takai (Osaka Univ.)
pp. 101 - 106

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