電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


回路とシステム研究会(CAS) [schedule] [select]
専門委員長 藤澤 久典 (富士通研)
副委員長 牧野 光則 (中大)
幹事 山崎 博 (富士通研), 神澤 雄智 (芝浦工大)
幹事補佐 高藤 大介 (広島大)

コンカレント工学研究会(CST)
専門委員長 潮 俊光 (阪大)
副委員長 平石 邦彦 (北陸先端大)
幹事 山口 真悟 (山口大), 中村 正樹 (金沢大)
幹事補佐 山崎 達志 (摂南大)

日時 2009年11月26日(木) 10:45 - 16:50
2009年11月27日(金) 09:30 - 17:30
議題 一般 
会場名 名古屋大学ベンチャービジネスラボラトリ 
住所 〒464-8603 名古屋市千種区不老町
交通案内 JR名古屋駅から名古屋市営地下鉄名古屋大学下車
http://www.vbl.nagoya-u.ac.jp/access/index.html
会場世話人
連絡先
大学院情報科学研究科 柳浦 睦憲
052-789-5447(会場)
お知らせ ◎27日(金)11:00~12:00に情報処理学会アルゴリズム研究会主催の高田広章教授(名大)による特別講演会が開催されます.ご参加ください.

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 ItoAtsushi OhtaKohkichi TsujiAichi 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 RoychowdhuryUniv. 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 TayuShota FukuyamaShuichi UenoTokyo 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 MiwaYamaguchi Univ.)・Chen LiUniv. of Tokyo)・Qi-Wei GeHiroshi MatsunoYamaguchi 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 与えられた動作を行う条件/事象ネットの最小実現に関する考察 橋爪 進矢嶌智之小野木克明名大

講演時間
一般講演発表 20 分 + 質疑応答 5 分

問合先と今後の予定
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


ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 

[技術研究報告冊子体販売対象研究会向け:技報の当日価格一覧] ※ 開催2週間前頃に掲載されます
 
[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[CAS研究会のスケジュールに戻る]   /  
 
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会