| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Qi-Wei Ge (Yamaguchi Univ.) |
| Vice Chair |
|
Toshimitsu Ushio (Osaka Univ.) |
| Secretary |
|
Morikazu Nakamura (Univ. of Ryukyus), Shingo yamaguchi (Yamaguchi Univ.) |
| Assistant |
|
Tatsushi Yamasaki (Setsunan Univ.) |
|
| Conference Date |
Thu, Jan 29, 2009 13:00 - 18:15
Fri, Jan 30, 2009 09:05 - 12:00 |
| Topics |
Concurrent Systems |
| Conference Place |
Kanagawa Industrial Promotion Center |
| Address |
5-80, Onoe-cho, Naka-ku Yokohama-shi, 231-0015 Japan |
| Transportation Guide |
http://www.kipc.or.jp/content/view/114/37/ |
Contact
Person |
NEC Yuichi Nakamura |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Jan 29 PM CST(1)
Chair: Shingo Yamaguchi
13:00 - 14:40 |
| (1) |
13:00-13:25 |
On Upper and Lower Bounds of Optimal Execution Time of Task Graph by Considering Communication Delays  CST2008-41 |
Takashi Otsuka, Masato Nakahara, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Yuu Moriyama, Hirotoshi Tonou (Fujitsu TEN Limited) |
| (2) |
13:25-13:50 |
A Method of Petri Nets and Calculating the Elementary T-invariants for Public-key Cryptography MEPKC CST2008-42 |
Ryo Yamaguchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.) |
| (3) |
13:50-14:15 |
Enhancing an Algorithm for Finding Legal Firing Sequences of Petri Nets by Means of Controlling Token Supply Flow and Conflicting Transition-based Backtracking CST2008-43 |
Kaigo Hatano, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| (4) |
14:15-14:40 |
An Algorithm for the Marking Construction Problem of Petri Nets Enhanced by a MAX-LFS Algorithm and Improvement of Post-processing CST2008-44 |
Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| |
14:40-15:00 |
Break ( 20 min. ) |
Thu, Jan 29 PM CST(2)
Chair: Tatsushi Yamasaki
15:00 - 16:40 |
| (5) |
15:00-15:25 |
Optimal Resource Allocation with Fairness in Multi-tier Server Systems CST2008-45 |
Hirokazu Akai, Toshimitsu Ushio (Osaka Univ.) |
| (6) |
15:25-15:50 |
On Model Checking Method for Soundness Verification of Workflow Nets CST2008-46 |
Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) |
| (7) |
15:50-16:15 |
On Analysis of Dynamic Change to Chained and Nested Interworkflows CST2008-47 |
Tetsushi Narui, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
| (8) |
16:15-16:40 |
An Improved Algorithm to Generate Feature Graphs for Handwritten Character Recognition CST2008-48 |
Masaki Hayashi, Shuichi Nishida, Mariko Kuramochi, Asami Ninomiya, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) |
| |
16:40-17:00 |
Break ( 20 min. ) |
Thu, Jan 29 PM CST(3)
Chair: Satoshi Taoka
17:00 - 18:15 |
| (9) |
17:00-17:25 |
Reinforcement Learning of Optimal Supervisor based on the Worst-Case Behavior CST2008-49 |
Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.) |
| (10) |
17:25-17:50 |
Design and Implementation of Secret Sharing Distributed Database System CST2008-50 |
Shota Minakami, Toshiyuki Miyamoto (Osaka Univ.) |
| (11) |
17:50-18:15 |
A Parallel Evolutionary Tree-base Method on Line Topologies for Multiple Alignment Problems CST2008-51 |
Hidehito Katsumi, Morikazu Nakamura, Takeo Okazaki (Univ. of the Ryukyus) |
Fri, Jan 30 AM CST(4)
Chair: Morikazu Nakamura
09:05 - 10:45 |
| (12) |
09:05-09:30 |
Possibility of large-scale simulation by using Moving Particle Semi-implicit (MPS) method and consideration concerning its efficient operation |
Kenshu Shimomukai, Masatsugu Hashimoto (SGI Japan, Ltd.) |
| (13) |
09:30-09:55 |
VNS-based Enhancing of a Distributed Branch-and-Bound Algorithm ParaBSC for the Graph Coloring Problem CST2008-52 |
Yukihiro Dougo, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| (14) |
09:55-10:20 |
Modeling and Verification of Hybrid Systems using Boolean Differential Constraints CST2008-53 |
Daisuke Ishii, Kazunori Ueda (Waseda Univ.), Hiroshi Hosobe (National Inst. of Info.) |
| (15) |
10:20-10:45 |
Distributed Multiple and Simultaneous Control via Shared Memory CST2008-54 |
Eleazar Jimenez-Serrano (KnowledgeNet Corp.) |
| |
10:45-11:00 |
Break ( 15 min. ) |
Fri, Jan 30 AM Invited Talk
Chair: Qi-Wei Ge
11:00 - 12:00 |
| (16) |
11:00-12:00 |
[Invited Talk]
An Overview of Character Recognition Techniques and Its Application to Postal Sorting Systems CST2008-55 |
Daisuke Nishiwaki (NEC Corp.) |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Shingo Yamaguchi（Graduate School of Science and Engineering, Yamaguchi University)
TEL: 0836-85-9510, FAX: 0836-85-9501
E- :  n    gu -u |
| Announcement |
Latest information will be presented on the homepage:
http://www.ieice.org/~cst/ |
Last modified: 2008-11-18 11:54:02
|