Technical Committee on Concurrent Systems Technology (CST) |
|
|
Chair |
|
Toshimitsu Ushio (Osaka Univ.) |
Vice Chair |
|
Kunihiko Hiraishi (JAIST) |
Secretary |
|
Shingo yamaguchi (Yamaguchi Univ.), Masaki Nakamura (Kanazawa Univ.) |
Assistant |
|
Tatsushi Yamasaki (Setsunan Univ.) |
|
Conference Date |
Mon, Aug 2, 2010 14:00 - 16:45 |
Topics |
Concurrent Systems, Discrete Event Systems, etc |
Conference Place |
Kanazawa Gakuin University |
Contact Person |
Dr. Koichi Kobayashi |
Mon, Aug 2 PM CST(1) 14:00 - 15:15 |
(1) |
14:00-14:25 |
Development Simulator of Dynamic Reconfigurable Processor |
Chen Shen, Yuki Nakai, Satoshi Yamane (Kanazawa Univ.) |
(2) |
14:25-14:50 |
Generating test cases for implementing concurrent systems based on the OTS/CafeOBJ method |
Takahiro Seino (AIST), Masaki Nakamura (Kanazawa Univ.) |
(3) |
14:50-15:15 |
A Method for Obtainning Discrete System from Steady-State Continuous System |
Tadashi Matsumoto, Masahiro Osogami (Fukui Univ. of Tech.), Seiichiro Moro (Univ. of Fukui) |
|
15:15-15:30 |
Break ( 15 min. ) |
Mon, Aug 2 PM CST(2) 15:30 - 16:45 |
(4) |
15:30-15:55 |
Coalgebraic Analysis of Supervisory Control of Mealy Automata |
Jun Kohjina, Toshimitsu Ushio (Osaka Univ.), Yoshiki Kinoshita (AIST) |
(5) |
15:55-16:20 |
The Schedule Restoration Method following Flexible Operation for Descrete Event System Control |
Masashi Hagiwara, Koji Takahashi (Tokyo Inst. of Tech.) |
(6) |
16:20-16:45 |
On Block Division of Task Graph for Multiprocessor Scheduling |
Lin Chen, Mina Kawabuchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Hirotoshi Tonou, Takako Okamoto, Atsushi Anabuki (Fujitsu TEN) |
Announcement for Speakers |
General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
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-: ngu-u |
Announcement |
Latest information will be presented on the homepage:
http://www.ieice.org/~cst/ |
Last modified: 2010-06-14 09:12:11
|