| 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: 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: Thu, Jan 29, 2009 13:00 - 18:15 Fri, Jan 30, 2009 09:05 - 12:00 PLACE: Kanagawa Industrial Promotion Center(5-80, Onoe-cho, Naka-ku Yokohama-shi, 231-0015 Japan. http://www.kipc.or.jp/content/view/114/37/. NEC Yuichi Nakamura) TOPICS: Concurrent Systems ---------------------------------------- Thu, Jan 29 PM CST(1) (13:00 - 14:40) Chair: Shingo Yamaguchi ---------------------------------------- (1) 13:00 - 13:25 On Upper and Lower Bounds of Optimal Execution Time of Task Graph by Considering Communication Delays 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 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 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 Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) ----- Break ( 20 min. ) ----- ---------------------------------------- Thu, Jan 29 PM CST(2) (15:00 - 16:40) Chair: Tatsushi Yamasaki ---------------------------------------- (5) 15:00 - 15:25 Optimal Resource Allocation with Fairness in Multi-tier Server Systems Hirokazu Akai, Toshimitsu Ushio (Osaka Univ.) (6) 15:25 - 15:50 On Model Checking Method for Soundness Verification of Workflow Nets Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) (7) 15:50 - 16:15 On Analysis of Dynamic Change to Chained and Nested Interworkflows 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 Masaki Hayashi, Shuichi Nishida, Mariko Kuramochi, Asami Ninomiya, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) ----- Break ( 20 min. ) ----- ---------------------------------------- Thu, Jan 29 PM CST(3) (17:00 - 18:15) Chair: Satoshi Taoka ---------------------------------------- (9) 17:00 - 17:25 Reinforcement Learning of Optimal Supervisor based on the Worst-Case Behavior Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.) (10) 17:25 - 17:50 Design and Implementation of Secret Sharing Distributed Database System Shota Minakami, Toshiyuki Miyamoto (Osaka Univ.) (11) 17:50 - 18:15 A Parallel Evolutionary Tree-base Method on Line Topologies for Multiple Alignment Problems Hidehito Katsumi, Morikazu Nakamura, Takeo Okazaki (Univ. of the Ryukyus) ---------------------------------------- Fri, Jan 30 AM CST(4) (09:05 - 10:45) Chair: Morikazu Nakamura ---------------------------------------- (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 Yukihiro Dougo, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) (14) 09:55 - 10:20 Modeling and Verification of Hybrid Systems using Boolean Differential Constraints 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 Eleazar Jimenez-Serrano (KnowledgeNet Corp.) ----- Break ( 15 min. ) ----- ---------------------------------------- Fri, Jan 30 AM Invited Talk (11:00 - 12:00) Chair: Qi-Wei Ge ---------------------------------------- (16) 11:00 - 12:00 [Invited Talk] An Overview of Character Recognition Techniques and Its Application to Postal Sorting Systems Daisuke Nishiwaki (NEC Corp.) === Technical Committee on Concurrent Systems Technology (CST) === # SECRETARY: Shingo Yamaguchi（Graduate School of Science and Engineering, Yamaguchi University) TEL: 0836-85-9510, FAX: 0836-85-9501 E-mail:  n    gu -u # ANNOUNCEMENT: # Latest information will be presented on the homepage: http://www.ieice.org/~cst/ 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.
[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]