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.)

Conference Date Mon, Aug 2, 2010 14:00 - 16:45
Topics Concurrent Systems, Discrete Event Systems, etc 
Conference Place Kanazawa Gakuin University 
Contact
Person
Dr. Koichi Kobayashi
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)

Mon, Aug 2 PM  CST(1)
14:00 - 15:15
(1) 14:00-14:25 Development Simulator of Dynamic Reconfigurable Processor CST2010-32 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 CST2010-33 Takahiro Seino (AIST), Masaki Nakamura (Kanazawa Univ.)
(3) 14:50-15:15 A Method for Obtainning Discrete System from Steady-State Continuous System CST2010-34 Tadashi Matsumoto, Masahiro Osogami (Fukui Univ. of Tech.), Seiichiro Moro (Univ. of Fukui)
  15:15-15:30 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 CST2010-35 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 CST2010-36 Masashi Hagiwara, Koji Takahashi (Tokyo Inst. of Tech.)
(6) 16:20-16:45 On Block Division of Task Graph for Multiprocessor Scheduling CST2010-37 Lin Chen, Mina Kawabuchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Hirotoshi Tonou, Takako Okamoto, Atsushi Anabuki (Fujitsu TEN)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
CST Technical Committee on Concurrent Systems Technology (CST)   
Contact Address Shingo Yamaguchi(Graduate School of Science and Engineering, Yamaguchi University)
TEL: 0836-85-9510, FAX: 0836-85-9501
E-: ngu-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.
 

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
 
[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 


 
 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