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 |
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.) |
|
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 |
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.) |
|
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 |
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) 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 |
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.) |
|
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 |
Daisuke Nishiwaki (NEC Corp.) |