| 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: Katsu Kii Vice Chair: Toshimitsu Ushio Secretary: Morikazu Nakamura, Shingo yamaguchi Assistant: Tatsushi Yamasaki DATE: Thu, Jun 28, 2007 13:00 - 17:50 Fri, Jun 29, 2007 09:00 - 11:05 PLACE: (2-9-15, Minato-Machi, Naha-shi, Okinawa, 900-0001 Japan.http://www.fukushi.kampo.japanpost.jp/shisetsu/recreation/5472naha/index.html. Morikazu NAKAMURA, Univ. of the Ryukyus. 098-862-4740) TOPICS: Concurrent Systems, Discrete Event Systems and Hybrid Systems ---------------------------------------- Thu, Jun 28 PM (13:00 - 14:40) ---------------------------------------- (1) 13:00 - 13:25 Cooperation and Its Effect in Parallel Tabu Search Hidekazu Naka, Masashi Murayama, Morikazu Nakamura (Univ. of the Ryukyus) (2) 13:25 - 13:50 Improvement of Dynamic Time Step Synchronization Method for Moving Object Simulation Masashi Shiraishi, Atsuo Ozaki, Shusuke Watanabe, Masakazu Furuichi (Mitsubishi Electric Corp.) (3) 13:50 - 14:15 Application of Dynamic Time Step Synchronization Method to Road Traffic Simulation Atsuo Ozaki (Mitsubishi Electric Corp.), Kazutaka Matsushita (Mitsubishi Electric Information Systems Corp.), Masashi Shiraishi, Shusuke Watanabe, Masakazu Furuichi, Hiroyuki Sato (Mitsubishi Electric Corp.) (4) 14:15 - 14:40 A Study on Intra-Shaft Operating Method for Multi-Car Elevators Hiromichi Suzuki (Fujitec) ---------------------------------------- Thu, Jun 28 PM Invited Talk (17:00 - 17:50) ---------------------------------------- (5) 17:00 - 17:50 [Invited Talk] Function and Performance Verification Methods for embedded systems Yuichi Nakamura (NEC) ---------------------------------------- Fri, Jun 29 AM (09:00 - 11:05) ---------------------------------------- (6) 09:00 - 09:25 Introduction to control of discrete event systems based on a language measure Tatsushi Yamasaki (Setsunan Univ.) (7) 09:25 - 09:50 Existence condition of priority based nondeterministic supervisory control Tasuku Inui, Toshimitsu Ushio (Osaka Univ.) (8) 09:50 - 10:15 Analysis of a manufacturing system with stochastic demand Kenichi Nakashima (OIT), Takeshi Itoh (Tohoku Univ.) (9) 10:15 - 10:40 An algorithm to enumerate all the elementary T-invariants of auto-generated Petri nets Ryo Yamaguchi, Ryosuke Murakami, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) (10) 10:40 - 11:05 Improving Firing Sequence Search for the Marking Construction Problem of Petri Net Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) === Technical Committee on Concurrent Systems Technology (CST) === # SECRETARY: Morikazu NAKAMURA（Dept. of Infomation Engineering, University of the Ryukyus) TEL 098-895-8715, FAX 098-895-8727 E-mail:      ie u-r k Last modified: 2007-05-14 20:58:05 |
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]