| 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: 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.) DATE: Mon, Jun 2, 2008 10:40 - 17:40 Tue, Jun 3, 2008 09:00 - 16:10 PLACE: Noyori Conference Hall, Nagoya University(http://www.nagoya-u.ac.jp/camp/map_higashiyama/. 052-788-6121) TOPICS: Concurrent Systems, Discrete Event Systems, Hybrid Systems, etc. ---------------------------------------- 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 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 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 Sayuri Terada, Toshimitsu Ushio (Osaka Univ.) (4) 14:25 - 14:50 Modeling of Discrete Event Systems by Mealy Automata 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 Ryota Komagata, Atsushi Morishita, Satoshi Yamane (Kanazawa Univ.) (6) 11:15 - 11:40 CST Solution Competition 2007 -- Detailed Results of Computational Evaluation -- 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 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 Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.) (9) 14:55 - 15:20 A Matching Algorithm of Feature Graphs for Handwritten Character Recognition 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 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 -- Tadayuki Hattori (非公開希望) === 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 # ANNOUNCEMENT: # Latest information will be presented on the homepage:http://www.ieice.org/~cst/ Last modified: 2010-10-12 19:19:19 |
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]