電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 109, Number 73

コンカレント工学

開催日 2009-06-03 - 2009-06-04 / 発行日 2009-05-27

[PREV] [NEXT]

[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

CST2009-1
部分観測下での最悪ケースを考慮したスーパバイザの強化学習
○梶原弘治・山崎達志(摂南大)
pp. 1 - 6

CST2009-2
空間の概念を持つコスト付き確率時間オートマトンの提案とセンサーネットワークへの適用
○鎌澤浩司・山根 智(金沢大)
pp. 7 - 12

CST2009-3
CPUと動的再構成可能プロセッサとの協調システムのモデル検査
○南 翔太・瀧内新悟・瀬古口 智・山根 智(金沢大)
pp. 13 - 18

CST2009-4
SAT and SMT Based Model Checking of Concurrent Systems
○Tatsuhiro Tsuchiya・Tohru Kikuno(Osaka Univ.)
pp. 19 - 23

CST2009-5
[招待講演]確率時間CEGAR
○森下 篤・駒形龍太・山根 智(金沢大)
pp. 25 - 30

CST2009-6
モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について
○堀口恭太・宮本俊幸(阪大)
pp. 31 - 36

CST2009-7
観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算
依藤 梢(京都工繊大)・○高井重昌(阪大)
pp. 37 - 41

CST2009-8
離散事象システムのモジュラ状態フィードバック制御に対する調停器設計
乾 翼・○潮 俊光(阪大)・足立正和・佐野範佳(豊田中研)
pp. 43 - 48

CST2009-9
アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則
○渡辺悠生・山口真悟・池田 良・田中 稔(山口大)
pp. 49 - 52

CST2009-10
色つき量子ペトリネットによる量チューリング機械のモデル化と解析
○伊藤慎祐・太田 淳・辻 孝吉(愛知県立大)
pp. 53 - 58

CST2009-11
CSTソリューションコンペティション2007及び2008の総括
○山口真悟(山口大)・宮本俊幸(阪大)・内平直志(東芝)・葛 崎偉(山口大)・本位田真一(NII)
pp. 59 - 64

注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.


IEICE / 電子情報通信学会