2007年度(平成19年度)学位論文

卒業論文


氏 名 論文タイトル
所 大輔二分決定グラフと再帰的グラフ分割を用いたベイジアンネットワークに対する確率推論アルゴリズム
増田 和也限量子を含まない等号付第一階述語論理の充足可能性判定に対する同値制約の自動抽出手法
伊藤 直幸医療用低消費電力プロセッサの設計と評価
大田 雄也ネットワークシミュレータを用いた無線センサネットワーク開発支援システムの設計と実装
岡本 潤也一時的故障に対するエラー訂正機構の消費電力評価
門野 雅弥モデル検査器を利用した状態図に基づくテストケース自動生成
金本 淳志車車間通信を用いて計測した交通量に基づく信号機制御手法の提案と評価
楠田 純子複数のセンシング機器からの計測情報を表示するWebシステムの実装
鈴木 斎輝公開鍵暗号を利用した相互認証プロトコルに対する汎用的結合可能安全性と公理的安全性の等価性
田川 聖一照明の多重化による双方向反射率分布関数の高速計測
田尻 望小型複眼全方位センサの校正法
筒井 宣充IP over WDMネットワークにおける統合経路制御手法の実装と評価
中島 友也構成可変なモデルに基づいた三角関数演算器の自動生成システム
中村 哲彬効率的な形式的検証のためのチェッカオートマトンに対する状態割当て
平山 孝弘インターネットのトポロジ構造が輻輳伝播現象に与える影響
南川 恭洋耐故障分散アルゴリズムに対するPROMELAモデル生成ツールの設計と実装
南本 真一XMLデータベースへの推論攻撃に対する安全性検証法の空間計算量の削減およびその実装
村中 慎治非公開
森 駿介ワイヤレスセンサネットワークシステムのモニタ及び実行時デバッグを可能とする性能評価支援環境の設計と実装
森井 亮介フォールトプローンモジュール予測のための不具合場所推定ツールの試作
山田 大正規木文法に対する等価変換操作群の提案とその完全性についての考察
山本 宏カメラセンサーネットワークにおける反応拡散モデルにもとづく符号化レート制御機構の実装と評価
吉岡 孝洋OpenVGプロセッサの実現に向けてのリファレンス・プログラムのプロファイリング
冨士 由奈電子文書の部分的な開示制御と全体の真正性保証が可能な電子署名
趙 越待ちサイクルに着目したオンチップバスプロトコル変換器の自動合成
濱松 雅単一多数決器を用いたカスケード式TMRの最適構成導出手法の提案
伊藤 隆モバイルアドホックネットワークにおける局所接続関係の変化に着目したクラスタ更新の抑制法
芦刈 博紀反例に基づく抽象化改良ループを利用した時間オートマトンのモデル抽象化ツールの実装とその評価実験
島田 友二ビザンチン故障耐性のある全域木構成自己安定プロトコルの実験的評価
小島 啓史時系列発現プロファイルからの遺伝子制御ネットワークにおけるハブ遺伝子の抽出手法
松森 雄信アドホックネットワークの経路構築における非協調行動の抑制手法の提案
石井 倫太郎分散計算機環境における効率的な生物情報処理のためのデータ配置手法
伊藤 芳朗オブジェクトの動的支配関係解析を用いたシーケンス図の縮約
小笠 智康コミュニティ特性を利用したオーバレイネットワークのための動的トポロジ再構成手法
奥山 倫弘統合開発環境CUDAによる全点対最短経路問題の高速化
栗山 さやかノードの属性情報及びその統計的性質の自動収集のための動画像中のノード数の実時間推定手法
桜井 章人入出力データのURL指定によるWebサービスのメモリ消費量軽減手法
佐野 由希子クラス階層内のコードクローン間距離を評価するメトリクスDCHの改良
繁田 浩功分散仮想環境のミドルウェアを用いた動的再構成可能なアプリケーションの実装と評価
立石 昂裕複数の仮想空間を操作するマルチビューポートインタフェースの多人数対応に関する提案と実装
中嶋 拓野歩行動作の速度に依存した自動非線形スケーリングによる仮想空間ナビゲーション
西岡 孟朗異種のフローが混在するネットワークに対応したフローレベルシミュレータの設計と実装
馬場 大輔モバイルエージェントを利用したノード間ゴシップアルゴリズム
東 誠メトリクス値の変化に基づくコードクローンの編集傾向分析
久田 祐樹並列データ転送のための TCP コネクション数高速調整機構の提案
増田 敬史UMLモデルを対象としたリファクタリング候補検出手法の提案と実現
宮本 敬三Javaに対するループインバリアントを含むアサーション生成ツールと生成アサーションの妥当性評価
宗川 裕馬CUDAを用いたGPUでの配列アライメントの高速化手法
本舩坂 剛ソフトウェア開発プロジェクトのコンテキスト定義に関する調査
森 敦史自己組織化マップによるオンラインコミュニティ可視化手法の一検討
吉田 一幸センサネットワークにおける自己安定クラスタリングの実装と評価
吉田 昌友コードクローン解析に基づくデザインパターン適用候補の検出手法
渡邉 宏典2.4GHz帯・位相変調方式を用いた電子タグからの電波受信モデルの検討
興津 佑輔高速なコーンビーム再構成のCUDA 実装
岸本 貴大化合物フィンガープリントを用いた活性サブクラスの抽出手法
橋本 匡史無線LAN環境における遅延に基づく輻輳制御を用いたTCPの性能評価
堀江 拓郎大規模ネットワーク障害に対応可能なオーバレイルーティング手法

修士論文


氏 名 論文タイトル
赤池 輝彦静的解析によるWebアプリケーションからのファンクションポイント計測手法の提案
角野 大輔モバイルアドホックネットワークにおけるGPSを用いたアントコロニー最適化法ルーティングアルゴリズム
小林 正幸モバイルP2Pネットワークにおけるレーン構造を用いた資源探索手法
鈴木 和哉一般照明下における表面下散乱の解析
高橋 佑典P2Pシステムにおけるブルームフィルタを利用したオーバレイネットワーク構築手法と検索手法の提案
長岡 武志反例に基づく抽象化改良ループを利用した時間オートマトンのモデル抽象化手法
服部 剛之識別子の共起関係を用いた類似コード検索手法の提案と実現
花房 諒移動端末や固定基地局が混在する都市規模ネットワークの並列シミュレーション手法
浜口 優UMLメタモデルの変更に対応したダイアグラム間整合性検証環境の自動生成手法
林 昌弘調査資料を活用した発言のやりとりを促進する議論支援システムHAKASEの提案と評価
馬場 慎太郎コードクローン情報を用いたFault-Proneモジュールの予測
東 竜一CUDAによる大規模なテキストに対する高速な全文検索の実装
前野 滝授CUDA環境およびOpenGL環境によるGPUでの高速なモルフォロジー演算手法
真鍋 雄貴コメント中のライセンス記述を用いた大規模ソースファイル集合の分類手法
峰 久也デスクトップ・グリッド・コンピューティングのジョブスケジューリングにおける優先度制御の一手法
村尾 憲治ソースコードの変更履歴におけるメトリクス値の変化を用いたソフトウェアの特性分析
森本 泰貴ウェブを対象としたロボット型検索による指定座標周辺地理情報の自動収集と自動分類を行うシステムの提案と評価
行政 幸治交差点における出会い頭事故などの防止を目指した無線端末の移動軌跡推定法
横田 圭太臓器間隣接関係を含む統計アトラスを用いたCT画像からの複数臓器領域抽出
吉田 征司OpenGLを用いたGPUによるコーンビーム再構成の高速化
渡邊 結オブジェクトの協調動作を用いたオブジェクト指向プログラム実行履歴分割手法
チョイ コーイーBPEL単体テストのためのテストケース生成手法の提案と実現
イー ヨンリーコードクローンに対する一貫性のない変更に起因する欠陥の検出
奥野 裕アドレス変換機構つきキャッシュメモリのヒット率改善手法の提案
紀本 眞ペアワイズテストにおける テスト実行コスト削減の研究
木本 雅博自己安定アルゴリズムの安定時間の計測と解析
小橋 晶超並列細粒度SIMDプロセッサにおけるオペランド順を考慮したメモリ割り当て最適化手法
近堂 高広スパムフィルタによる不具合混入モジュールの予測精度に影響を与えるトークンの分析
佐々木 ユウスケリスク管理のための対策を考慮したソフトウェアプロジェクトシミュレータの試作
城 武史遅延時間制約下における面積を考慮した命令の意味記述からのプロセッサ生成手法
田中 秀典ボリュームデータの細線化とグラフマッチングを用いた人体の姿勢推定法
寺澤 雅樹Erasure符号を用いたゴシップ型ブロードキャストの性能評価
中村 友宣複数センサを用いた移動経路上の利用者コンテキスト認識機構の研究開発
中村 仁超並列SIMD型コプロセッサを持つASIPのための命令セット拡張を考慮したタスク分割手法の提案
服部 雄一複数シーンの連結によるインタラクティブ3次元ビデオ
林 豊全方位視覚センサを用いた指先動作検出による円筒型ユーザインタフェース
八木 隆裕スパムフィルタに基づく不具合混入モジュール予測における事前学習の効果の分析
相原 聖実測に基づく小規模領域内におけるオブジェクト移動のモデル化とオブジェクト追跡への適用
池田 和史アプリケーション層マルチキャストとワイヤレスセンサネットワークにおけるアルゴリズム設計とプロトコル実装の支援手法
井須 久美子車車間通信を用いた危険車両検出手法の提案と交通流における評価
大橋 正稔WDMネットワークにおける光パケット/パス統合アーキテクチャの性能評価
梶岡 慎輔マルチチャネル・マルチインタフェースアドホックネットワークにおけるQoSを考慮した経路制御方式の提案,実装および評価
木利 友一センサネットワークにおける自己組織型制御のロバスト性
後藤 浩一マルチドメインGMPLSネットワークにおけるドメイン間およびドメイン内QoSルーティングアルゴリズムの性能評価
堺 拓郎匿名性を考慮したセンサ端末向け遭遇履歴情報の収集法の提案
作元 雄輔流体近似法を用いたインターネットにおける輻輳制御プロトコルの安定性解析およびフローレベルシミュレーション
竹下 恵高変動なモバイルP2Pネットワークにおけるオブジェクト検索成功率の向上
兵頭 克也センサネットワークにおける情報収集のための反応拡散モデルを利用した自己組織型トポロジ形成機構
平岡 佑一朗オーバレイルーティングに起因するネットワークただ乗り問題に関する研究
藤井 彩恵無線端末の遭遇情報を用いた移動軌跡推定手法の提案
藤木 健之車車間通信を用いた局所的道路情報の効率的な取得手法の提案と評価
村井 渉動的な通信量変化を考慮したネットワークオンチップの配置配線問題とその最適化手法
若林 未来大規模センサネットワークのための適応的なランデブ型通信機構の提案と評価
渡邉 孝文連続的なベイズ推定による複数の領域を通過する人物の追跡
森本 卓爾木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換
吉田 昌起XMLスキーマ更新操作に応じたXSLT文書変換プログラムの自動生成法
熊井 勝伸分岐条件の組み合わせの網羅性に着目したプログラムに対する自動テスト生成
清水 博章第一階述語論理のサブクラスに対する項の高さ縮減を用いたインバリアントの近似的検証アルゴリズム
竹内 翔局所変数を含むアサーションに対する効率的なモデルチェッキングのためのチェッカ生成

博士論文


氏 名 論文タイトル
内山 彰高信頼性ネットワーク実現のための協調的ネットワークモニタとアドホックトポロジ構成法
小林 悠記VLIWプロセッサを用いた組み込みシステムの低消費電力化設計手法
田中 浩明特定分野向け命令セットを持つ組込みプロセッサのためのコード生成手法
鈴木 朋子モバイルエージェントシステムに対する資源数制御とゴシップに関する研究
孫 為華移動ノードから構成されるアドホックネットワーク向けのルーティングに関する研究
バデゥゲ ティルミー マーリンダインタラクティブアプリケーション向けの分散型アプリケーション層マルチキャストプロトコル
安永 憲司線形符号の単調誤り構造と局所重み分布

[ICS HOME]ICS Home Page へ