お知らせ 研究会の開催と会場に参加される皆様へのお願い(2022年6月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前のMSS研究会 / 次のMSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


コンカレント工学研究会(CST)
専門委員長 辻 孝吉
副委員長 内平 直志
幹事 田岡 智志, 太田 淳

日時 2005年 1月27日(木) 10:00 - 16:30
議題 コンカレントシステム, 一般 
会場名 電気通信大学総合研究棟 3階 マルチメディア会議室 
住所 〒182-8585 東京都調布市調布ヶ丘 1-5-1
交通案内 JR新宿駅より京王線特急・準特急にて14分調布駅下車徒歩5分
http://www.uec.ac.jp/acc/map.html
会場世話人
連絡先
情報通信工学科 情報メディア工学講座 渡邊 成良
0424-43-5298

1月27日(木) 午前 
10:00 - 11:40
(1) 10:00-10:25 A New Proposal of Petri Net Based Formulation for Analyzing Signaling Pathways Chen LiShunichi SuzukiQi-Wei GeMitsuru NakataHiroshi MatsunoYamaguchi Univ.)・Satoru MiyanoUniv. of Tokyo
(2) 10:25-10:50 On Computation of PARAdeg of Data-Flow Program Nets with SWITCH-nodes Tatsuya WatanabeShingo YamaguchiQi-Wei GeMinoru TanakaYamaguchi Univ.
(3) 10:50-11:15 SDLプロセスごとのペトリネット変換による仕様検証 長谷川晴朗OKI)・茂呂征一郎福井大)・松本 忠福井工大
(4) 11:15-11:40 Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places Atsushi IriboshiSatoshi TaokaToshimasa WatanabeHiroshima Univ.
1月27日(木) 午後 
13:00 - 16:30
(5) 13:00-13:25 ベイジアンネットワークによる遺伝子ネットワーク推定 曹 貴美岡崎威生琉球大
(6) 13:25-13:50 プロセスマイグレーションを用いたデータグリッド環境における並列計算システム 近藤紹弘角川裕次広島大
(7) 13:50-14:15 状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について 宮内克彰山口真悟葛 崎偉田中 稔山口大
(8) 14:15-14:40 Decentralized Supervisory Control Using Dynamic Default Control Shigemasa TakaiKyoto Inst. of Tech.)・Toshimitsu UshioOsaka Univ.
  14:40-14:50 休憩 ( 10分 )
(9) 14:50-15:15 秘密分散共有法を用いた分散データベースシステム 守田泰博宮本俊幸熊谷貞俊阪大
(10) 15:15-15:40 進化ツリーベース法によるマルチプルアラインメント問題の解法 宮里千尋名嘉村盛和中島裕美子琉球大
(11) 15:40-16:05 複数の準最小木を考慮した遺伝子発現データクラスタリング 鹿川大輔名嘉村盛和中島裕美子琉球大
(12) 16:05-16:30 Improving Computation of Legal Firing Sequences of Petri Nets based on Behavioral Deadlock Avoidance Yasutoshi YoshimotoSatoshi TaokaToshimasa WatanabeHiroshima Univ.

問合先と今後の予定
CST コンカレント工学研究会(CST)   
問合先 太田淳(愛知県立大学情報科学部)
TEL0561-64-1111,FAX0561-64-1108
E-:ohistai-pu 


Last modified: 2004-12-18 09:29:04


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

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

[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 


 
 トップ  戻る   前のMSS研究会 / 次のMSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


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

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


IEICE / 電子情報通信学会