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 |
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, Aug 2 PM CST(1) 14:00 - 15:15 |
(1) |
14:00-14:25 |
Development Simulator of Dynamic Reconfigurable Processor CST2010-32 |
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 CST2010-33 |
Takahiro Seino (AIST), Masaki Nakamura (Kanazawa Univ.) |
(3) |
14:50-15:15 |
A Method for Obtainning Discrete System from Steady-State Continuous System CST2010-34 |
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 CST2010-35 |
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 CST2010-36 |
Masashi Hagiwara, Koji Takahashi (Tokyo Inst. of Tech.) |
(6) |
16:20-16:45 |
On Block Division of Task Graph for Multiprocessor Scheduling CST2010-37 |
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
|