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 CAS2009-45 CST2009-18	○Shinsuke Ito・Atsushi Ohta・Kohkichi Tsuji（Aichi Pref. Univ.）
(2)	11:10-11:35	ペトリネットの発火系列問題の拡張とWebアプリケーション用汎用スケジューラの作成	○中野雅章・山内雅弘（近畿大）・田岡智志・渡邉敏正（広島大）
(3)	11:35-12:00	製品ライフサイクルでの高信頼化技術の動向 CAS2009-46 CST2009-19	○内平直志（東芝）
11月26日(木) 午後  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	交互方向陽解法に基づくFDTD法 CAS2009-48 CST2009-21	○青野修一（セサミテクノロジー）・海野正樹・浅井秀樹（静岡大）
(6)	14:20-14:45	並列分散型ブロックLIMによる強結合伝送線路の高速過渡解析 CAS2009-49 CST2009-22	○井上雄太・關根惟敏・浅井秀樹（静岡大）
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	［招待講演］組合せ最適化問題の計算複雑度解析とアルゴリズム設計 CAS2009-50 CST2009-23	○渡邉敏正（広島大）
11月27日(金) 午前  CST(2) 09:30 - 10:45
(9)	09:30-09:55	確率ゲーム理論による組込みシステムのモデル化とモデル検査 CAS2009-51 CST2009-24	○越田彰太・山根　智（金沢大）
(10)	09:55-10:20	確率時間REGARによるPTCTLのサブクラスのモデル検査 CAS2009-52 CST2009-25	○高橋正樹・森下　篤・山根　智（金沢大）
(11)	10:20-10:45	非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断 CAS2009-53 CST2009-26	○高井重昌・潮　俊光（阪大）
11月27日(金) 午後  CAS(2) 13:00 - 14:15
(12)	13:00-13:25	携帯機器向けグラフィックス・アクセラレータシステムの設計と評価 CAS2009-54 CST2009-27	○永井　靖・大和田　徹（日立）・高木徹夫（日立アドバンストデジタル）・滝田　功（日立）
(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	整数計画法によるグラフ埋め込みの定式化とLSI配線への応用 CAS2009-56 CST2009-29	○井上恵介（北陸先端大/学振）・金子峰雄（北陸先端大）
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 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	ライントポロジー上の非同期分散型進化計算の実験評価 CAS2009-58 CST2009-31	○宮城隼人・名嘉村盛和（琉球大）
(17)	15:15-15:40	拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計 CAS2009-59 CST2009-32	○山口真之介（九工大）・和崎克己・師玉康成（信州大）
11月27日(金) 午後  CST(4) 15:50 - 17:30
(18)	15:50-16:15	自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて CAS2009-60 CST2009-33	○黒田祐樹・山口真悟・田中　稔（山口大）
(19)	16:15-16:40	マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用 CAS2009-61 CST2009-34	○林　直樹・潮　俊光・金澤尚史（阪大）
(20)	16:40-17:05	ペトリネットを用いたコレオグラフィ実現について CAS2009-62 CST2009-35	○宮本俊幸（阪大）・藤井　拓（オージス総研）
(21)	17:05-17:30	与えられた動作を行う条件／事象ネットの最小実現に関する考察 CAS2009-63 CST2009-36	○橋爪　進・矢嶌智之・小野木克明（名大）

問合先と今後の予定
CAS	回路とシステム研究会（CAS）   [今後の予定はこちら]
	問合先	山崎 博（富士通研究所） TEL 045-473-5801 E-: si
	お知らせ	◎回路とシステム研究専門委員会では、研究会の振興を目的として「回路とシステム研究会学生優秀発表賞」を制定しました。 優秀な学生発表は、3月の総合大会にて表彰いたしますので、ふるって申し込み・投稿をお待ちしております。 受賞資格は回路とシステム研究会でご自身で発表され、かつ予稿にて第一著者のIEICE学生会員(申し込み中でも可)の方です。 詳しくは幹事までお問い合わせください。
CST	コンカレント工学研究会（CST）
	問合先	山口 真悟（山口大学大学院理工学研究科） TEL: 0836-85-9510, FAX: 0836-85-9501 E-: ngu-u
	お知らせ	◎最新情報は、コンカレント工学研究会ホームページをご覧下さい． http://www.ieice.org/~cst/
		◎CST研究会では、研究会で発表された論文の中から毎年一件を優秀研究会論文賞として表彰しております．

Last modified: 2009-09-25 19:08:05