| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== 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.) DATE: Mon, Aug 2, 2010 14:00 - 16:45 PLACE: Kanazawa Gakuin University(Dr. Koichi Kobayashi) TOPICS: Concurrent Systems, Discrete Event Systems, etc ---------------------------------------- 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) ----- 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) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Concurrent Systems Technology (CST) === # SECRETARY: Shingo Yamaguchi（Graduate School of Science and Engineering, Yamaguchi University) TEL: 0836-85-9510, FAX: 0836-85-9501 E-mail:  n    gu -u # ANNOUNCEMENT: # Latest information will be presented on the homepage: http://www.ieice.org/~cst/ Last modified: 2010-06-14 09:12:11 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
| Go Top | Go Back | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]