| 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 |
Mon, Jun 2, 2008 10:40 - 17:40
Tue, Jun 3, 2008 09:00 - 16:10 |
| Topics |
Concurrent Systems, Discrete Event Systems, Hybrid Systems, etc. |
| Conference Place |
Noyori Conference Hall, Nagoya University |
| Transportation Guide |
http://www.nagoya-u.ac.jp/camp/map_higashiyama/ |
Contact
Person |
052-788-6121 |
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) |
Mon, Jun 2 AM CST(1) DES(1)
10:40 - 11:55 |
| (1) |
10:40-11:05 |
Experimental Evaluation of Parallel Genetic Algorithms based on Tree topologies  CST2008-1 |
Hayato Miyagi, Morikazu Nakamura (Univ. of the Ryukyus) |
| |
- |
|
Mon, Jun 2 PM
13:00 - 13:50 |
| (2) |
13:00-13:50 |
[Invited Talk]
System Verification Using Fluidification CST2008-2 |
Kunihiko Hiraishi (JAIST) |
Mon, Jun 2 PM CST(2)
14:00 - 14:50 |
| (3) |
14:00-14:25 |
Resource Allocation with Standby Power for Low Power Consumption and QoS-based Fairness CST2008-3 |
Sayuri Terada, Toshimitsu Ushio (Osaka Univ.) |
| (4) |
14:25-14:50 |
Modeling of Discrete Event Systems by Mealy Automata CST2008-4 |
Toshimitsu Ushio (Osaka Univ.), Shigemasa Takai (Kyoto Inst. Tech.) |
Mon, Jun 2 PM DES(2)
15:00 - 16:40 |
| |
- |
|
Mon, Jun 2 PM
16:50 - 17:40 |
| |
- |
|
Tue, Jun 3 AM DES(3)
09:00 - 10:50 |
| |
- |
|
Tue, Jun 3 AM CST(3)
10:50 - 12:05 |
| (5) |
10:50-11:15 |
Reachability analysis method of probabilistic timed automaton based on predicate abstraction and its refinement CST2008-5 |
Ryota Komagata, Atsushi Morishita, Satoshi Yamane (Kanazawa Univ.) |
| (6) |
11:15-11:40 |
CST Solution Competition 2007
-- Detailed Results of Computational Evaluation -- CST2008-6 |
Toshiyuki Miyamoto (Osaka Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Naoshi Uchihira (Toshiba Co.), Qi-Wei Ge (Yamaguchi Univ.), Shinichi Honiden (NII) |
| (7) |
11:40-12:05 |
A Proposal of Soundization Problem of WF-Nets and a Consideration Its Sub-problem under Protocol Inheritance CST2008-7 |
Ryo Ikeda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) |
Tue, Jun 3 PM DES(4)
13:05 - 14:20 |
| |
- |
|
Tue, Jun 3 PM CST(4)
14:30 - 16:10 |
| (8) |
14:30-14:55 |
Modeling of Quantum Computer by using Quantum Petri Net CST2008-8 |
Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.) |
| (9) |
14:55-15:20 |
A Matching Algorithm of Feature Graphs for Handwritten Character Recognition CST2008-9 |
Shuichi Nishida, Masaki Hayashi, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) |
| (10) |
15:20-15:45 |
Supervisory control of timed discrete event systems based on reinforcement learning CST2008-10 |
Tatsushi Yamasaki (Setsunan Univ.), Toshimitsu Ushio (Osaka Univ.) |
| (11) |
15:45-16:10 |
Mathematical Model for Artificial Character and Democracy
-- Mathematical Proof of Good and Evil -- CST2008-11 |
Tadayuki Hattori (非公開希望) |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Morikazu Nakamura（Dept. of Infomation Engineering, University of the Ryukyus)
TEL 098-895-8715, FAX 098-895-8727
E- :      ie u-r k |
| Announcement |
Latest information will be presented on the homepage:http://www.ieice.org/~cst/ |
Last modified: 2010-10-12 19:19:19
|