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 Naoshi Uchihira
Vice Chair Katsu Kii
Secretary Satoshi Taoka, Morikazu Nakamura
Assistant Shingo yamaguchi

Conference Date Tue, Jul 25, 2006 15:00 - 16:50
Wed, Jul 26, 2006 10:00 - 14:40
Topics Concurrent Systems, Discrete Event Systems and Hybrid Systems 
Conference Place Kyoto Institute of Technology 
Address Kyouto-shi, Kyoto, Japan
Transportation Guide
Prof. Shigemasa Takai
Sponsors This conference is co-sponsored by the SICE DES.
Announcement Please join us for an opening reception (after special invited speach).

Tue, Jul 25 PM  Special Invited Speach
15:00 - 16:50
(1) 15:00-15:50 [Invited Talk]
Compositional modeling and structured supervisory control of a bottling plant(口頭発表)
Florian Wenck (Ruhr-Univ. Bochum)
  15:50-16:00 Break ( 10 min. )
(2) 16:00-16:50 [Invited Talk]
Diagnosis of quantized systems by means of stochastic automata(口頭発表)
Jan Lunze (Ruhr-Univ. Bochum)
Wed, Jul 26 AM 
10:00 - 14:40
(3) 10:00-10:25 An Initial Task Assignment Method for the Task Assignment ant Routing Problem Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.)
(4) 10:25-10:50 An Optimal Share Transfer Problem on Secret Sharing Storage Systems Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.)
(5) 10:50-11:15 Dynamic Scheduling for Multiprocessor Systems with Static Priority Lists Hironori Youhata, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Hirotoshi Tonou (Fujitsu TEN)
(6) 11:15-11:40 A Study for classification of human behavior , using walking track data Ichiro Toyoshima, Toyokazu Itakura, Kanako Hattori, Takufumi Yoshida, Takashi Koiso (TOSHIBA)
  11:40-13:00 Lunch Break ( 80 min. )
(7) 13:00-13:25 Cooperation based on Searching History in Parallel Tabu Search Hidekazu Naka, Morikazu Nakamura (Univ. of the Ryukyus)
(8) 13:25-13:50 Development of strong probabilistic timed simulation verifier of probabilistic timed automata Satoshi Yamane, Hiroshi Kodera, Tsuneo Arai (Kanazawa Univ.)
(9) 13:50-14:15 Decomposition of Timed Petri Nets for Optimal Firing Sequence Problems Ryota Maeno (Okayama Univ.), Tatsushi Nishi (Osaka Univ.), Masami Konishi (Okayama Univ.)
(10) 14:15-14:40 On Computation Complexity of Worst Change Time and Performance Analysis for Abort Dynamic Changes of State Machine Workflow Nets Katsuaki Miyauchi, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)

Contact Address and Latest Schedule Information
CST Technical Committee on Concurrent Systems Technology (CST)   
Contact Address Satoshi TAOKA(Infomation Engineering, Graduate School of Engineering, Hiroshima University)
TEL 082-424-7666, FAX 082-422-7028

Last modified: 2006-05-30 12:06:53

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]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan