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

Conference Date Thu, Jan 29, 2009 13:00 - 18:15
Fri, Jan 30, 2009 09:05 - 12:00
Topics Concurrent Systems 
Conference Place Kanagawa Industrial Promotion Center 
Address 5-80, Onoe-cho, Naka-ku Yokohama-shi, 231-0015 Japan
Transportation Guide
NEC Yuichi Nakamura
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, Jan 29 PM  CST(1)
Chair: Shingo Yamaguchi
13:00 - 14:40
(1) 13:00-13:25 On Upper and Lower Bounds of Optimal Execution Time of Task Graph by Considering Communication Delays CST2008-41 Takashi Otsuka, Masato Nakahara, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Yuu Moriyama, Hirotoshi Tonou (Fujitsu TEN Limited)
(2) 13:25-13:50 A Method of Petri Nets and Calculating the Elementary T-invariants for Public-key Cryptography MEPKC CST2008-42 Ryo Yamaguchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.)
(3) 13:50-14:15 Enhancing an Algorithm for Finding Legal Firing Sequences of Petri Nets by Means of Controlling Token Supply Flow and Conflicting Transition-based Backtracking CST2008-43 Kaigo Hatano, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
(4) 14:15-14:40 An Algorithm for the Marking Construction Problem of Petri Nets Enhanced by a MAX-LFS Algorithm and Improvement of Post-processing CST2008-44 Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
  14:40-15:00 Break ( 20 min. )
Thu, Jan 29 PM  CST(2)
Chair: Tatsushi Yamasaki
15:00 - 16:40
(5) 15:00-15:25 Optimal Resource Allocation with Fairness in Multi-tier Server Systems CST2008-45 Hirokazu Akai, Toshimitsu Ushio (Osaka Univ.)
(6) 15:25-15:50 On Model Checking Method for Soundness Verification of Workflow Nets CST2008-46 Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.)
(7) 15:50-16:15 On Analysis of Dynamic Change to Chained and Nested Interworkflows CST2008-47 Tetsushi Narui, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
(8) 16:15-16:40 An Improved Algorithm to Generate Feature Graphs for Handwritten Character Recognition CST2008-48 Masaki Hayashi, Shuichi Nishida, Mariko Kuramochi, Asami Ninomiya, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.)
  16:40-17:00 Break ( 20 min. )
Thu, Jan 29 PM  CST(3)
Chair: Satoshi Taoka
17:00 - 18:15
(9) 17:00-17:25 Reinforcement Learning of Optimal Supervisor based on the Worst-Case Behavior CST2008-49 Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.)
(10) 17:25-17:50 Design and Implementation of Secret Sharing Distributed Database System CST2008-50 Shota Minakami, Toshiyuki Miyamoto (Osaka Univ.)
(11) 17:50-18:15 A Parallel Evolutionary Tree-base Method on Line Topologies for Multiple Alignment Problems CST2008-51 Hidehito Katsumi, Morikazu Nakamura, Takeo Okazaki (Univ. of the Ryukyus)
Fri, Jan 30 AM  CST(4)
Chair: Morikazu Nakamura
09:05 - 10:45
(12) 09:05-09:30 Possibility of large-scale simulation by using Moving Particle Semi-implicit (MPS) method and consideration concerning its efficient operation Kenshu Shimomukai, Masatsugu Hashimoto (SGI Japan, Ltd.)
(13) 09:30-09:55 VNS-based Enhancing of a Distributed Branch-and-Bound Algorithm ParaBSC for the Graph Coloring Problem CST2008-52 Yukihiro Dougo, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
(14) 09:55-10:20 Modeling and Verification of Hybrid Systems using Boolean Differential Constraints CST2008-53 Daisuke Ishii, Kazunori Ueda (Waseda Univ.), Hiroshi Hosobe (National Inst. of Info.)
(15) 10:20-10:45 Distributed Multiple and Simultaneous Control via Shared Memory CST2008-54 Eleazar Jimenez-Serrano (KnowledgeNet Corp.)
  10:45-11:00 Break ( 15 min. )
Fri, Jan 30 AM  Invited Talk
Chair: Qi-Wei Ge
11:00 - 12:00
(16) 11:00-12:00 [Invited Talk]
An Overview of Character Recognition Techniques and Its Application to Postal Sorting Systems CST2008-55
Daisuke Nishiwaki (NEC Corp.)

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:

Last modified: 2008-11-18 11:54:02

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