|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 269-289 / 504.
| 発行日 | タイトル |
著者 |
|---|
| Sep-2011 | ホームネットワークサービスおよびそのシステムの実証的検証に関する研究 | 岡田, 崇; おかだ, たかし |
| Sep-2011 | ビヘイビアミスマッチのためのアダプタ自動生成法 | 林, 信宏; りん, しんこう |
| Sep-2011 | Development of an Energy-Aware Resource Provisioning System for Datacenters in Clouds | Truong, Vinh Truong Duy; Truong, Vinh Truong Duy |
| Mar-2011 | A Study on Statistical Generation of a Hierarchical Structure of Topic-information for Multi-documents | NGUYEN, Viet Cuong |
| Mar-2011 | サービス指向型システムにおけるゴール指向要求技術による要求連携法 | 矢嶋, 健一; やじま, けんいち |
| Mar-2011 | インターネット環境に適した構造化P2Pネットワークソフトウェアの設計と実装 | 高野, 祐輝; たかの, ゆうき |
| Mar-2011 | ハイブリッドシステムの離散抽象化と最適制御への応用 | 崔, 舜星; さい, しゅんせい |
| Mar-2011 | 音声信号と調音状態の一対多の関係の分析及びその応用に関する検討 | 錦戸, 信和; にしきど, あきかず |
| Sep-2010 | オーバーフロー・丸め誤差検出のための静的解析とテキスト手法の合成 | Do, Thi Bich Ngoc |
| Jun-2010 | Load and Interference Aware Routing Metric for WLAN Mesh Networks | Nguyen, Lan Tien |
| Mar-2010 | Model Synthesis and Parametric Model Checking for Real-Time System Designs | サタウォンウィチット, チャイワット; さたうぉんうぃちっと, ちゃいわっと |
| Mar-2010 | モンテカルロ木探索とアマゾンへの応用 | Kloetzer, Julien; クロエツェー, ジュリアン |
| Mar-2010 | ハードウェア解析システムによる実行コードの動的最適化に関する研究 | 請園, 智玲; うけぞの, ともあき |
| Mar-2010 | モデル検査技術を活用した検証指向ソフトウェア設計手法の研究 | 金井, 勇人; かない, はやと |
| Mar-2010 | 構文獲得における対称性バイアスの有効性 | 的場, 隆一; まとば, りゅういち |
| Mar-2010 | 幾何的特徴を持つグラフクラスに対する効率のよいアルゴリズムに関する研究 | 齋藤, 寿樹; さいとう, としき |
| Mar-2010 | 匿名性を考慮した属性ベース方式に関する研究 | 江村, 恵太; えむら, けいた |
| Mar-2010 | Malware Propagation and its Impacts in Heterogeneous Ad hoc Wireless Networks: A Novel Framework | Nguyen, Hoai Nam; ぐえん, ほあい なむ |
| Mar-2010 | 複数のリソースからの大規模上位下位関係シソーラスの自動構築 | 隅田, 飛鳥; すみだ, あすか |
| Dec-2009 | プロセス代数に基づくシステムレベル設計アーキテクチャ | 岩政, 幹人; いわまさ, みきと |
| Sep-2009 | Theorem Proving and Institutions | Gaina, Daniel |
|
