|
|
| Chair |
|
Hisanori Fujisawa (Fujitsu Labs.) |
| Vice Chair |
|
Mitsunori Makino (Chuo Univ.) |
| Secretary |
|
Hiroshi Yamazaki (Fujitsu Labs.), Taketomo Kanazawa (Shibaura Inst. of Tech.) |
| Assistant |
|
Daisuke Takafuji (Hiroshima Univ.) |
|
| 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 |
Thu, Nov 26, 2009 10:45 - 16:50
Fri, Nov 27, 2009 09:30 - 17:30 |
| Topics |
|
| Conference Place |
Venture Business Laboratory, Nagoya University |
| Transportation Guide |
http://www.vbl.nagoya-u.ac.jp/access/index.html |
Contact
Person |
Dr. Mutsunori Yagiura |
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) |
Thu, Nov 26 AM CST(1)
10:45 - 12:00 |
| (1) |
10:45-11:10 |
On a new model for Quantum Computers by using Quantum Petri Nets  CAS2009-45 CST2009-18 |
Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
| (2) |
11:10-11:35 |
Extending the Legal Firing Sequence Problem of Petri Nets and Making a General-Purpose Scheduler for Web-Based Applications |
Masanori Nakano, Masahiro Yamauchi (Kinki Univ.), Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| (3) |
11:35-12:00 |
Advanced Technologies for Dependable Systems through Product Lifecycle by Managing Gaps among their Specification, Implementation, and Environment. CAS2009-46 CST2009-19 |
Naoshi Uchihira (Toshiba) |
Thu, Nov 26 PM CAS(1)
13:30 - 14:45 |
| (4) |
13:30-13:55 |
Hierarchical Abstraction of Nonlinear Oscillator Macromodels CAS2009-47 CST2009-20 |
Jaijeet Roychowdhury (Univ. of California, Berkeley) |
| (5) |
13:55-14:20 |
A New FDTD Algorithm Based on Alternating-Direction Explicit (ADE) Method CAS2009-48 CST2009-21 |
Shuichi Aono (SESAME Tech Inc.), Masaki Unno, Hideki Asai (Shizuoka Univ.) |
| (6) |
14:20-14:45 |
Parallel-Distributed Block Latency Insertion Method (Block-LIM) for Fast Transient Simulation of Tightly Coupled Transmission Lines CAS2009-49 CST2009-22 |
Yuta Inoue, Tadatoshi Sekine, Hideki Asai (Shizuoka Univ.) |
Thu, Nov 26 PM CST Invited Talk
15:00 - 15:50 |
| |
- |
|
| (7) |
15:00-15:50 |
[Invited Talk]
Probabilic Timed CEGAR
Atshushi Morimoto, Ryota Komagata, Satoshi Yamane (Kanazawa Univ.) |
Thu, Nov 26 PM CST Invited Talk
16:00 - 16:50 |
| (8) |
16:00-16:50 |
[Invited Talk]
Computational Complexity Analysis and Algorithms Design for Combinatorial Problems CAS2009-50 CST2009-23 |
Toshimasa Watanabe (Hiroshima Univ.) |
Fri, Nov 27 AM CST(2)
09:30 - 10:45 |
| (9) |
09:30-09:55 |
Model and Model Checking of Embedded Systems using Probablistic Game Theory CAS2009-51 CST2009-24 |
Shouta Koshida, Satoshi Yamane (Kanazawa Univ.) |
| (10) |
09:55-10:20 |
Model Checking of subclass of PTCTL by Probabilistic Timed REGAR CAS2009-52 CST2009-25 |
Masaki Takahashi, Atsushi Morishita, Satoshi Yamane (Kanazawa Univ) |
| (11) |
10:20-10:45 |
Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions CAS2009-53 CST2009-26 |
Shigemasa Takai, Toshimitsu Ushio (Osaka Univ.) |
Fri, Nov 27 PM CAS(2)
13:00 - 14:15 |
| (12) |
13:00-13:25 |
Design and Evaluation of Graphics Accelerator System for Mobile Appliances CAS2009-54 CST2009-27 |
Yasushi Nagai, Toru Owada (Hitachi), Tetsuo Takagi (Hitachi AD), Isao Takita (Hitachi) |
| (13) |
13:25-13:50 |
Universal Test Sets for Reversible Circuits CAS2009-55 CST2009-28 |
Satoshi Tayu, Shota Fukuyama, Shuichi Ueno (Tokyo Inst. of Tech.) |
| (14) |
13:50-14:15 |
ILP Formulation of Graph Embedding and Its Application to LSI Routing CAS2009-56 CST2009-29 |
Keisuke Inoue (JAIST/JSPS), Mineo Kaneko (JAIST) |
Fri, Nov 27 PM CST(3)
14:25 - 15:40 |
| (15) |
14:25-14:50 |
A Method to Determine Firing Times of Transitions for Timed Petri Nets by Introducing Stochastic Decision Rules CAS2009-57 CST2009-30 |
Yoshimasa Miwa (Yamaguchi Univ.), Chen Li (Univ. of Tokyo), Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) |
| (16) |
14:50-15:15 |
Experimental Evaluation of Asynchronous Genetic Algorithms on Line Topology CAS2009-58 CST2009-31 |
Hayato Miyagi, Morikazu Nakamura (Univ. of the Ryukyus) |
| (17) |
15:15-15:40 |
The Design of distributed algorithm for information gathering by using Petri Net CAS2009-59 CST2009-32 |
Shin'nosuke Yamaguchi (Kyushu Inst. of Tech.), Katsumi Wasaki, Yasunari Shidama (Shinshu Univ) |
Fri, Nov 27 PM CST(4)
15:50 - 17:30 |
| (18) |
15:50-16:15 |
On Refactoring of Free-Choice Workflow Nets to Well-Structured Workflow Nets CAS2009-60 CST2009-33 |
Yuki Kuroda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ) |
| (19) |
16:15-16:40 |
Application of a Consensus Problem to Distributed Fair QoS Control in Multi-tier Server Systems CAS2009-61 CST2009-34 |
Naoki Hayashi, Toshimitsu Ushio, Takafumi Kanazawa (Osaka Univ.) |
| (20) |
16:40-17:05 |
On Choreography Realization by Using Petri Nets CAS2009-62 CST2009-35 |
Toshiyuki Miyamoto (Osaka Univ.), Taku Fujii (Ogis-RI) |
| (21) |
17:05-17:30 |
Minimum Realization of Condition/Event Net Exhibiting Specified Behavior CAS2009-63 CST2009-36 |
Susumu Hashizume, Tomoyuki Yajima, Katsuaki Onogi (Nagoya Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| CAS |
Technical Committee on Circuits and Systems (CAS) [Latest Schedule]
|
| Contact Address |
Hiroshi YAMAZAKI (Fujitsu Laboratories Ltd.)
TEL +81-45-473-5801
E- :        si      |
| 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-:  n gu -u |
| Announcement |
Latest information will be presented on the homepage:
http://www.ieice.org/~cst/ |
Last modified: 2009-09-25 19:08:05
|