11月26日(木) 午前 CST(1)
10:45 - 12:00 |
| (1) |
10:45-11:10 |
On a new model for Quantum Computers by using Quantum Petri Nets |
○Shinsuke Ito・Atsushi Ohta・Kohkichi Tsuji（Aichi Pref. Univ.） |
| (2) |
11:10-11:35 |
ペトリネットの発火系列問題の拡張とWebアプリケーション用汎用スケジューラの作成 |
○中野雅章・山内雅弘（近畿大）・田岡智志・渡邉敏正（広島大） |
| (3) |
11:35-12:00 |
製品ライフサイクルでの高信頼化技術の動向 |
○内平直志（東芝） |
11月26日(木) 午後 CAS(1)
13:30 - 14:45 |
| (4) |
13:30-13:55 |
Hierarchical Abstraction of Nonlinear Oscillator Macromodels |
○Jaijeet Roychowdhury（Univ. of California, Berkeley） |
| (5) |
13:55-14:20 |
交互方向陽解法に基づくFDTD法 |
○青野修一（セサミテクノロジー）・海野正樹・浅井秀樹（静岡大） |
| (6) |
14:20-14:45 |
並列分散型ブロックLIMによる強結合伝送線路の高速過渡解析 |
○井上雄太・關根惟敏・浅井秀樹（静岡大） |
11月26日(木) 午後 CST招待講演（研究会優秀論文賞）
15:00 - 15:50 |
| |
- |
2008年CST研究会優秀論文賞表彰式
（著者：駒形龍太・○森下 篤・山根 智（金沢大），題目：述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法，信学技報：CST2008-5） |
| (7) |
15:00-15:50 |
［招待講演］確率時間CEGAR
○森下 篤・駒形龍太・山根 智（金沢大） |
11月26日(木) 午後 CST招待講演
16:00 - 16:50 |
| (8) |
16:00-16:50 |
［招待講演］組合せ最適化問題の計算複雑度解析とアルゴリズム設計 |
○渡邉敏正（広島大） |
11月27日(金) 午前 CST(2)
09:30 - 10:45 |
| (9) |
09:30-09:55 |
確率ゲーム理論による組込みシステムのモデル化とモデル検査 |
○越田彰太・山根 智（金沢大） |
| (10) |
09:55-10:20 |
確率時間REGARによるPTCTLのサブクラスのモデル検査 |
○高橋正樹・森下 篤・山根 智（金沢大） |
| (11) |
10:20-10:45 |
非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断 |
○高井重昌・潮 俊光（阪大） |
11月27日(金) 午後 CAS(2)
13:00 - 14:15 |
| (12) |
13:00-13:25 |
携帯機器向けグラフィックス・アクセラレータシステムの設計と評価 |
○永井 靖・大和田 徹（日立）・高木徹夫（日立アドバンストデジタル）・滝田 功（日立） |
| (13) |
13:25-13:50 |
Universal Test Sets for Reversible Circuits |
○Satoshi Tayu・Shota Fukuyama・Shuichi Ueno（Tokyo Inst. of Tech.） |
| (14) |
13:50-14:15 |
整数計画法によるグラフ埋め込みの定式化とLSI配線への応用 |
○井上恵介（北陸先端大/学振）・金子峰雄（北陸先端大） |
11月27日(金) 午後 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 |
○Yoshimasa Miwa（Yamaguchi Univ.）・Chen Li（Univ. of Tokyo）・Qi-Wei Ge・Hiroshi Matsuno（Yamaguchi Univ.） |
| (16) |
14:50-15:15 |
ライントポロジー上の非同期分散型進化計算の実験評価 |
○宮城隼人・名嘉村盛和（琉球大） |
| (17) |
15:15-15:40 |
拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計 |
○山口真之介（九工大）・和崎克己・師玉康成（信州大） |
11月27日(金) 午後 CST(4)
15:50 - 17:30 |
| (18) |
15:50-16:15 |
自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて |
○黒田祐樹・山口真悟・田中 稔（山口大） |
| (19) |
16:15-16:40 |
マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用 |
○林 直樹・潮 俊光・金澤尚史（阪大） |
| (20) |
16:40-17:05 |
ペトリネットを用いたコレオグラフィ実現について |
○宮本俊幸（阪大）・藤井 拓（オージス総研） |
| (21) |
17:05-17:30 |
与えられた動作を行う条件／事象ネットの最小実現に関する考察 |
○橋爪 進・矢嶌智之・小野木克明（名大） |
: 
si
n
-u