|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
M-IS. 修士(情報科学) >
M-IS. 2005年度(H17) >
一覧: タイトル
検索結果: 21-41 / 86.
発行日 | タイトル |
著者 |
Mar-2006 | オペレーティングシステムのCソースコードに対する形式的モデル検査ツールの実践的利用 | 水上, 智雄; みずかみ, ともお |
Mar-2006 | コースの定理に対するゲーム理論的考察 | 田中, 宣顕; たなか, のぶあき |
Mar-2006 | ジャギーを考慮した二値画像の回転 | 河原, 篤史; かわはら, あつし |
Mar-2006 | センサを用いたレガシーデバイスホームネットワークの連携サービスシステムに関する研究 | 出村, 哲也; でむら, てつや |
Mar-2006 | ソフトウェアパターンに基づく体系的設計・検証手法の研究 | 金井, 勇人; かない, はやと |
Mar-2006 | ソースコード理解支援のための表示自由度の高い視覚化ツールの研究 | 永井, 路人; ながい, みちと |
Mar-2006 | タスクスケジューリング情報を利用するDVSアルゴリズムに関する研究 | 今井, 聡; いまい, あきら |
Mar-2006 | デジタル署名の応用に関する研究 | 寺家谷, 純; じけや, じゅん |
Mar-2006 | データ圧縮を用いたキャッシュメモリの消費電力削減に関する研究 | 松田, 愛子; まつだ, あいこ |
Mar-2006 | ニューラルオシレータを用いた動的システムの制御に関する研究 | 深谷, 祐介; ふかや, ゆうすけ |
Sep-2005 | バニアンに基づく高速光スイッチングネットワーク | 李, 莉 |
Mar-2006 | ホームネットワークにおける異常状態のモデル化とその検知手法に関する研究 | 増田, 耕一; ますだ, こういち |
Mar-2006 | ポートフォリオを利用した内省支援システムの研究 | 諸岡, 由桂; もろおか, ゆき |
Mar-2006 | メタパターンを用いたJavaソースコードにおける協調クラス群の抽出に関する研究 | 金, 旭東; キム, クドン |
Mar-2006 | モンテカルロ光線追跡法を利用した並列レンダリングに関する研究 | 清水, 昭尋; しみず, あきひろ |
Mar-2006 | ユーザと適応的に対話するための説明対話モデルに関する研究 | 嶋崎, 好文; しまざき, よしふみ |
Mar-2006 | ユーザに有益な情報を提供するための評価表現辞書の作成とその評価 | 篠宮, 小百合; しのみや, さゆり |
Mar-2006 | リアルタイム処理に適したボリュームデータ符号化に関する研究 | 池田, 智紀; いけだ, とものり |
Mar-2006 | リアルタイム型遠隔講義におけるインタラクションの満足度評価に関する研究 | 田島, 与寛; たじま, くみのり |
Mar-2006 | リファクタリングの履歴を用いたソフトウェア開発支援ツールの研究 | 高橋, 克吏; たかはし, かつし |
Mar-2006 | 三角形メッシュの頂点再配置によるメッシュの改善 | 牛窪, 景隆; うしくぼ, かげたか |
|