|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 1327-1347 / 2524.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2008 | 形式仕様に基づくテストケース生成の有効性に関する研究 | 中島, 亮平; なかじま, りょうへい |
| Mar-2008 | Spinを用いたバイナリモデル検査 | 土肥, 雅俊; どい, まさとし |
| Mar-2008 | ウェーブパイプラインプロセッサに適した論理合成アルゴリズムの研究 | 森田, 智祥; もりた, ともよし |
| Mar-2008 | データ参照の振舞いを考慮したキャッシュメモリの電力削減に関する研究 | 川畑, 将人; かわはた, まさと |
| Mar-2008 | メンバの状況を考慮した分散環境下でのコミュニケーション発生支援に関する研究 | 橋田, 真人; はしだ, まさと |
| Mar-2008 | ネットワーク実験環境の保存と復元に関する研究 | 野中, 雄太; のなか, ゆうた |
| Mar-2008 | ホームネットワークにおけるユーザー行動のモデリングに関する研究 | 坂野, 良輔; さかの, りょうすけ |
| Mar-2008 | ソースコード理解支援機能を持つ開発環境の研究 | 新倉, 諭; にいくら, さとし |
| Mar-2008 | モデル検査のためのアスペクト指向でのモデル記述支援環境に関する研究 | 大野, 真一朗; おおの, しんいちろう |
| Mar-2008 | 通信品質制御技術の家庭向け電力制御への応用に関する研究 | 鳥居, 光一郎; とりい, こういちろう |
| Mar-2008 | P2P ネットワークの可観化に関する研究 | 三浦, 良介; みうら, りょうすけ |
| Mar-2008 | リアルタイムJavaバイトコードにおけるデッドラインの検証に関する研究 | 上月, 庸弘; こうつき, のぶひろ |
| Mar-2008 | 匿名性プロトコルのOTS/CafeOBJ法に基づく形式化 | 程, 剣; テイ, ケン |
| Mar-2008 | 動的リコンフィギャラブルプロセッサにおける入出と演算のオーバーラップを用いたループネストの高速化に関する研究 | 荒木, 光一; あらき, こういち |
| Mar-2008 | 楕円曲線と埋め込み次数の関係について | 鈴木, 健之; すずき, たけし |
| Mar-2008 | 組込みリアルタイムデータベースライブラリの実装に関する研究 | 林, 晃平; はやし, こうへい |
| Mar-2008 | メトリクスの測定によるリファクタリング支援の自動化 | 田畑, 敦史; たばた, あつし |
| Mar-2008 | モデル検査のためのメカニズム制御システムのモデル化 | 清水, 浩二; しみず, こうじ |
| Mar-2008 | 話題の分離に注目した音声ブレインストーミング支援 | 菊谷, 和義; きくや, かずよし |
| Mar-2008 | 妨害音ペクトルの振幅形状が音韻知覚に与える影響に関する研究 | 手塚, 崇史; てづか, たかふみ |
| Mar-2008 | Cue 音の存在が周波数選択性に与える影響に関する研究 | 木谷, 俊介; きだに, しゅんすけ |
|
