Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
CST2009-18
On a new model for Quantum Computers by using Quantum Petri Nets
○Shinsuke Ito・Atsushi Ohta・Kohkichi Tsuji（Aichi Pref. Univ.）
pp. 1 - 6
CST2009-19
製品ライフサイクルでの高信頼化技術の動向
○内平直志（東芝）
pp. 7 - 12
CST2009-20
Hierarchical Abstraction of Nonlinear Oscillator Macromodels
○Jaijeet Roychowdhury（Univ. of California, Berkeley）
pp. 13 - 17
CST2009-21
交互方向陽解法に基づくFDTD法
○青野修一（セサミテクノロジー）・海野正樹・浅井秀樹（静岡大）
pp. 19 - 24
CST2009-22
並列分散型ブロックLIMによる強結合伝送線路の高速過渡解析
○井上雄太・關根惟敏・浅井秀樹（静岡大）
pp. 25 - 30
CST2009-23
［招待講演］組合せ最適化問題の計算複雑度解析とアルゴリズム設計
○渡邉敏正（広島大）
pp. 31 - 33
CST2009-24
確率ゲーム理論による組込みシステムのモデル化とモデル検査
○越田彰太・山根 智（金沢大）
pp. 35 - 40
CST2009-25
確率時間REGARによるPTCTLのサブクラスのモデル検査
○高橋正樹・森下 篤・山根 智（金沢大）
pp. 41 - 46
CST2009-26
非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断
○高井重昌・潮 俊光（阪大）
pp. 47 - 52
CST2009-27
携帯機器向けグラフィックス・アクセラレータシステムの設計と評価
○永井 靖・大和田 徹（日立）・高木徹夫（日立アドバンストデジタル）・滝田 功（日立）
pp. 53 - 57
CST2009-28
Universal Test Sets for Reversible Circuits
○Satoshi Tayu・Shota Fukuyama・Shuichi Ueno（Tokyo Inst. of Tech.）
pp. 59 - 64
CST2009-29
整数計画法によるグラフ埋め込みの定式化とLSI配線への応用
○井上恵介（北陸先端大/学振）・金子峰雄（北陸先端大）
pp. 65 - 70
CST2009-30
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.）
pp. 71 - 76
CST2009-31
ライントポロジー上の非同期分散型進化計算の実験評価
○宮城隼人・名嘉村盛和（琉球大）
pp. 77 - 81
CST2009-32
拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計
○山口真之介（九工大）・和崎克己・師玉康成（信州大）
pp. 83 - 88
CST2009-33
自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
○黒田祐樹・山口真悟・田中 稔（山口大）
pp. 89 - 93
CST2009-34
マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用
○林 直樹・潮 俊光・金澤尚史（阪大）
pp. 95 - 98
CST2009-35
ペトリネットを用いたコレオグラフィ実現について
○宮本俊幸（阪大）・藤井 拓（オージス総研）
pp. 99 - 104
CST2009-36
与えられた動作を行う条件／事象ネットの最小実現に関する考察
○橋爪 進・矢嶌智之・小野木克明（名大）
pp. 105 - 110
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．