IEICE Technical Report

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

Concurrent Systems Technology

Workshop Date : 2009-01-29 - 2009-01-30 / Issue Date : 2009-01-22

CST2008-41
On Upper and Lower Bounds of Optimal Execution Time of Task Graph by Considering Communication Delays
Takashi Otsuka, Masato Nakahara, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Yuu Moriyama, Hirotoshi Tonou (Fujitsu TEN Limited)
pp. 1 - 4

CST2008-42
A Method of Petri Nets and Calculating the Elementary T-invariants for Public-key Cryptography MEPKC
Ryo Yamaguchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.)
pp. 5 - 10

CST2008-43
Enhancing an Algorithm for Finding Legal Firing Sequences of Petri Nets by Means of Controlling Token Supply Flow and Conflicting Transition-based Backtracking
Kaigo Hatano, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 11 - 16

CST2008-44
An Algorithm for the Marking Construction Problem of Petri Nets Enhanced by a MAX-LFS Algorithm and Improvement of Post-processing
Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 17 - 22

CST2008-45
Optimal Resource Allocation with Fairness in Multi-tier Server Systems
Hirokazu Akai, Toshimitsu Ushio (Osaka Univ.)
pp. 23 - 26

CST2008-46
On Model Checking Method for Soundness Verification of Workflow Nets
Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.)
pp. 27 - 32

CST2008-47
On Analysis of Dynamic Change to Chained and Nested Interworkflows
Tetsushi Narui, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
pp. 33 - 38

CST2008-48
An Improved Algorithm to Generate Feature Graphs for Handwritten Character Recognition
Masaki Hayashi, Shuichi Nishida, Mariko Kuramochi, Asami Ninomiya, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.)
pp. 39 - 44

CST2008-49
Reinforcement Learning of Optimal Supervisor based on the Worst-Case Behavior
Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.)
pp. 45 - 50

CST2008-50
Design and Implementation of Secret Sharing Distributed Database System
Shota Minakami, Toshiyuki Miyamoto (Osaka Univ.)
pp. 51 - 56

CST2008-51
A Parallel Evolutionary Tree-base Method on Line Topologies for Multiple Alignment Problems
Hidehito Katsumi, Morikazu Nakamura, Takeo Okazaki (Univ. of the Ryukyus)
pp. 57 - 60

CST2008-52
VNS-based Enhancing of a Distributed Branch-and-Bound Algorithm ParaBSC for the Graph Coloring Problem
Yukihiro Dougo, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 61 - 66

CST2008-53
Modeling and Verification of Hybrid Systems using Boolean Differential Constraints
Daisuke Ishii, Kazunori Ueda (Waseda Univ.), Hiroshi Hosobe (National Inst. of Info.)
pp. 67 - 70

CST2008-54
Distributed Multiple and Simultaneous Control via Shared Memory
Eleazar Jimenez-Serrano (KnowledgeNet Corp.)
pp. 71 - 76

CST2008-55
[Invited Talk] An Overview of Character Recognition Techniques and Its Application to Postal Sorting Systems
Daisuke Nishiwaki (NEC Corp.)
pp. 77 - 80

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