通信-通信方式(開催日：2009/11/19)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2009/11/19
[資料番号]
目次

,  

[発表日]2009/11/19
[資料番号]
量子ペトリネットを用いた新しい量子コンピュータモデルの提案

伊藤 慎祐,  太田 淳,  辻 孝吉,  

[発表日]2009/11/19
[資料番号]CAS2009-45,CST2009-18
製品ライフサイクルでの高信頼化技術の動向 : 仕様と実装と環境のギャップを監視・検出・修正するヘルスマネジメント

内平 直志,  

[発表日]2009/11/19
[資料番号]CAS2009-46,CST2009-19
Hierarchical Abstraction of Nonlinear Oscillator Macromodels

,  

[発表日]2009/11/19
[資料番号]CAS2009-47,CST2009-20
交互方向陽解法に基づくFDTD法

青野 修一,  海野 正樹,  浅井 秀樹,  

[発表日]2009/11/19
[資料番号]CAS2009-48,CST2009-21
並列分散型ブロックLIMによる強結合伝送線路の高速過渡解析

井上 雄太,  関根 惟敏,  浅井 秀樹,  

[発表日]2009/11/19
[資料番号]CAS2009-49,CST2009-22
組合せ最適化問題の計算複雑度解析とアルゴリズム設計

渡邉 敏正,  

[発表日]2009/11/19
[資料番号]CAS2009-50,CST2009-23
確率ゲーム理論による組込みシステムのモデル化とモデル検査

越田 彰太,  山根 智,  

[発表日]2009/11/19
[資料番号]CAS2009-51,CST2009-24
確率時間REGARによるPTCTLのサブクラスのモデル検査

高橋 正樹,  森下 篤,  山根 智,  

[発表日]2009/11/19
[資料番号]CAS2009-52,CST2009-25
非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断

高井 重昌,  潮 俊光,  

[発表日]2009/11/19
[資料番号]CAS2009-53,CST2009-26
携帯機器向けグラフィックス・アクセラレータシステムの設計と評価

永井 靖,  大和田 徹,  高木 徹夫,  滝田 功,  

[発表日]2009/11/19
[資料番号]CAS2009-54,CST2009-27
Universal Test Sets for Reversible Circuits

,  

[発表日]2009/11/19
[資料番号]CAS2009-55,CST2009-28
整数計画法によるグラフ埋め込みの定式化とLSI配線への応用

井上 恵介,  金子 峰雄,  

[発表日]2009/11/19
[資料番号]CAS2009-56,CST2009-29
確率を用いたトークン滞留しない時間ペトリネットモデルのトランジション発火時間の決定法

三輪 良雅,  李 晨,  葛 崎偉,  松野 浩嗣,  

[発表日]2009/11/19
[資料番号]CAS2009-57,CST2009-30
ライントポロジー上の非同期並列遺伝的アルゴリズムの実験評価

宮城 隼人,  名嘉村 盛和,  

[発表日]2009/11/19
[資料番号]CAS2009-58,CST2009-31
拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計

山口 真之介,  和崎 克己,  師玉 康成,  

[発表日]2009/11/19
[資料番号]CAS2009-59,CST2009-32
自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて

黒田 祐樹,  山口 真悟,  田中 稔,  

[発表日]2009/11/19
[資料番号]CAS2009-60,CST2009-33
マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用

林 直樹,  潮 俊光,  金澤 尚史,  

[発表日]2009/11/19
[資料番号]CAS2009-61,CST2009-34
ペトリネットを用いたコレオグラフィ実現について

宮本 俊幸,  藤井 拓,  

[発表日]2009/11/19
[資料番号]CAS2009-62,CST2009-35
12>> 1-20hit(24hit)