IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [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

Conference Date Thu, Jun 28, 2007 13:00 - 17:50
Fri, Jun 29, 2007 09:00 - 11:05
Topics Concurrent Systems, Discrete Event Systems and Hybrid Systems 
Conference Place  
Address 2-9-15, Minato-Machi, Naha-shi, Okinawa, 900-0001 Japan.
Transportation Guide http://www.fukushi.kampo.japanpost.jp/shisetsu/recreation/5472naha/index.html
Contact
Person
Morikazu NAKAMURA, Univ. of the Ryukyus
098-862-4740
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)

Thu, Jun 28 PM 
13:00 - 14:40
(1) 13:00-13:25 Cooperation and Its Effect in Parallel Tabu Search CST2007-1 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 CST2007-2 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 CST2007-3 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 CST2007-4 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 CST2007-5
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 CST2007-6 Tatsushi Yamasaki (Setsunan Univ.)
(7) 09:25-09:50 Existence condition of priority based nondeterministic supervisory control CST2007-7 Tasuku Inui, Toshimitsu Ushio (Osaka Univ.)
(8) 09:50-10:15 Analysis of a manufacturing system with stochastic demand CST2007-8 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 CST2007-9 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 CST2007-10 Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)

Contact Address and Latest Schedule Information
CST Technical Committee on Concurrent Systems Technology (CST)   
Contact Address Morikazu NAKAMURA(Dept. of Infomation Engineering, University of the Ryukyus)
TEL 098-895-8715, FAX 098-895-8727
E--mail: ieu-rk 


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   / [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