Thu, Nov 6 AM 09:30 - 10:45 |
(1) |
09:30-09:55 |
On the Three-Dimensional Single-Active-Layer Routing |
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech) |
(2) |
09:55-10:20 |
Orthogonal Ray Graphs and Nano-PLA Design |
Anish Man Singh Shrestha, Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech) |
(3) |
10:20-10:45 |
Separator-Based Graph Embedding into Higher-Dimensional Grids with Small Congestion |
Akira Matsubayashi (Kanazawa Univ.) |
|
10:45-11:00 |
Break ( 15 min. ) |
Thu, Nov 6 AM 11:00 - 11:55 |
(4) |
11:00-11:55 |
[Invited Talk]
An Application of Process Scheduling Methods for Operating Systems to Intra-Shaft Operation Problem for Multi-Car Elevators |
Hiromichi Suzuki (Fujitec) |
|
11:55-13:00 |
Lunch ( 65 min. ) |
Thu, Nov 6 PM 13:00 - 16:00 |
|
- |
CST Solution Competition 2008 |
(5) |
15:45-16:00 |
Multi-Car Elevator Group Control: Algorithm Implementing Schedule Completion Time Optimization, Schedule Direction Synchronization, and Service-Oriented Parking Strategies |
Alex Valdivielso, Toshiyuki Miyamoto (Osaka Univ.) |
|
16:00-16:15 |
Break ( 15 min. ) |
Thu, Nov 6 PM 16:15 - 17:05 |
(6) |
16:15-16:40 |
Predicate Abstraction and Refinement of Parallel Behaviour of Hierarchical Timed Automata |
Shinichi Yamazaki, Satoshi Yamane, Masatoshi Yasui (Kanazawa Univ.) |
(7) |
16:40-17:05 |
CST Solution Competition 2008 Quick Reports |
|
17:05-17:20 |
Break ( 15 min. ) |
Thu, Nov 6 PM 17:20 - 18:15 |
(8) |
17:20-18:15 |
[Invited Talk]
Multiobjective Optimization Models for Multiclass Support Vector Machines |
Tetsuzo Tanino, Keiji Tatsumi, Kenji Hayashida, Ryo Kawachi (Osaka Univ.) |
Fri, Nov 7 AM 09:30 - 10:20 |
(9) |
09:30-09:55 |
Three-Channel Variable Filter-Bank for Digital Hearing Aids |
Tian-Bo Deng (Toho Univ.) |
(10) |
09:55-10:20 |
Low-Complexity Implementation of Three-Channel Variable Filter-Bank Using Coefficient-Symmetries |
Tian-Bo Deng (Toho Univ.) |
|
10:20-10:35 |
Break ( 15 min. ) |
Fri, Nov 7 AM 10:35 - 11:50 |
(11) |
10:35-11:00 |
On Constructing State Machine Diagrams from Communication Diagrams by Using Petri Nets |
Toshiyuki Miyamoto, Hiroyuki Kurahata (Osaka Univ.), Taku Fujii, Ryoji Hosokawa (OGIS-RI) |
(12) |
11:00-11:25 |
GA Based Scheduling Method for Multi-Processor Systems with Communication Delays |
Masato Nakahara, Takashi Otsuka, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Yuu Moriyama, Hirotoshi Tonou (Fujitsu TEN) |
(13) |
11:25-11:50 |
Resolvion the trade-off between energy consumption and QoS in battery-driven real-time systems |
Fumiko Harada (Ritsumeikan Univ.), Toshimitsu Ushio (Osaka Univ.), Yukikazu Nakamoto (Univ. of Hyogo) |
|
11:50-13:00 |
Lunch ( 70 min. ) |
Fri, Nov 7 PM 13:00 - 13:50 |
(14) |
13:00-13:25 |
(4n-3)-bit representation of rectangular drawings or floorplans |
Toshihiko Takahashi, Ryo Fujimaki (Niigata Univ.), Youhei Inoue (Renesas Technology) |
(15) |
13:25-13:50 |
Heuristic Algorithms for Extracting a Maximum Induced Tree of a Graph |
Daisuke Takafuji, Toshimasa Watanabe (Hiroshima Univ.) |
|
13:50-14:05 |
Break ( 15 min. ) |
Fri, Nov 7 PM 14:05 - 15:45 |
(16) |
14:05-14:30 |
A visualization of unexpected obstacles in system by Petri Net |
Ichiro Toyoshima, Takeichiro Nishikawa (Toshiba) |
(17) |
14:30-14:55 |
Design of a Japanese E-Learning System for Strengthening Second Language Proficiency |
Guangwei Yuan, Qi-Wei Ge, Takashi Naritomi (Yamaguchi Univ.), Zuohua Ding (Zhejiang Sci-Tech Univ.) |
(18) |
14:55-15:20 |
An Algorithm to Evaluate Similarity of Feature Graphs for Handwritten Character Recognition |
Shuichi Nishida, Masaki Hayashi, Mariko Kuramochi, Asami Ninomiya, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) |
(19) |
15:20-15:45 |
On Soundization of Workflow Nets with Dead Transitions under Protocol Inheritance |
Ryo Ikeda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ) |