1998年度(平成10年度)学位論文

卒業論文


氏 名 論文タイトル
赤穂 州一郎Frankel等のRSA分散鍵生成法における高速化手法の評価
浅川 智文マルチメディアニュースシステムにおけるコミュニティによるフィルタリング機構の実現
浅田 直ストリーム受け入れ後の品質関数値を最大にする 帯域幅横取り量計算アルゴリズムとその実装
網浜 貴夫大阪大学情報科学科学生実験において設計されたCPUに対する 実現の正しさの評価
和泉 しおり汎用数値演算プロセッサ(GPNP)の性能評価
市川 徹文書画像に適したメッセージダイジェストの生成
市原 路代効率的なモデルチェッキングのための部分的明示化手法
伊登 友美C++プログラム開発における仕様変更に要する作業量推定の試み
今川 勝博要求分析支援システムREQUARIOで作成された仕様書からのファンクションポイント計測ツールの改良
上野 奈緒子フレキシブル・ハードウェア・モデルDBのユーザインタフェースの設計と実装
岡本 知幸フィーチャーインタラクション検出に対するスタボンセット法の適用
岡本 冬樹二つの多次元多面体の重なりによる複数多面体への分割
尾崎 公彦分散型遠隔ゼミナール支援システムの開発と適用
河合 吉彦映像メディアにおけるショット切換え操作の検出
岸浪 リサ分子系統樹データベースの実現 -系統樹データの検索手法の開発-
坂下 徹開発者間の作業連絡を支援した開発管理システムの試作
佐藤 友哉PCIバスコントローラの高位設計とプレスブルガー算術を扱うCTLモデル検査法の提案
澤田 美沙子クロネッカー式関数決定グラフの最適展開規則選択問題の計算複雑度
高野 真エージェントを用いたTV番組のためのシナリオ記述言語の設計
竹原 元康C++のクラスを対象とした内部複雑度メトリクスの実験的評価
谷口 真也XMLを利用した研究室内文書の構造化とそれに基づく文書管理システムの試作
田渕 裕士ハイパフォーマンスメディカルコンピューティングを用いた遠隔脳機能評価診断支援システムの開発
寺島 芳樹マルチメディアアプリケーション実現のための 時間拡張LOTOSコンパイラの機能拡張
徳田 康平具体的なリアルタイムアプリケーションを想定したΔ因果順序配送アルゴリズムの評価
轟木 伸俊分散ファイルシステムにおける階層構造を持たない大域的名前空間
富安 要二元線形符号の軟判定最尤復号器における量子化閾値と復号誤り確率
中江 大海タイマを用いる通信プロトコルの仕様記述法と適合性試験について
長尾 充大圧縮テキストに対する直接検索を可能にする符号化法についての検討
長岡 利幸アプリケーションの要求品質を考慮したMPEG-2イントラスライスコーディングによる動画像符号化転送方式の評価
野田 潤会合記録作成支援システムにおける発言と自筆メモに着目した記録インターフェイスの開発と評価
八馬 利彰禁止頂点対による制約を満たすパスを列挙するアルゴリズム
波並 理恵JAVAによる分子生物学データベースの統合
広瀬 航也個人情報を取得できる効率的なWWW視聴動向調査手法
福井 一史小さなファイルを優先する分散ファイルシステムキャッシュ管理手法
藤井 雅和再配列可能フローショップスケジューリング問題の定式化と近似アルゴリズムの提案
藤田 正和一万規模フローのQoSを保証するためのセルスケジューリング方式の比較評価
古川 研吾発想支援グループウェアにおけるテキストコミュニケーション環境に関する検討
前田 光城オブジェクト指向分析メトリクス計測ツールの作成
増山 智久通信ライブラリMPIを用いた並列プログラムのサイクリックデータ分散時における通信最適化手法
又吉 崇文時間制約の厳しい動画像アプリケーションにおけるインタラクティブ性の保持とその一手法に関する提案と評価
宮本 充剛ディジタル信号処理におけるデータ語長決定の一手法
森中 雄帰納論理プログラミングによる知識獲得のためのデータベースからの負例の導出
山崎 良太並列プログラムの性能改善支援機能を持つ性能解析システムにおける視覚化部の作成
横森 励士線形ブロック符号の最尤復号器における 時分割ACS手続きの回路設計
吉田 武史エージェント間コミュニケーションモデルとしての経路の視覚的認識と言語による伝達
渡辺 義治2**nを基数とする加算器及び乗算器の面積/性能のトレードオフの解析
ミットパラニー マンラットモバイル IP ネットワークにおけるパケットバッファリング によるTCPの性能向上に関する研究
ロハユ パイディSMV を用いた自己安定アルゴリズムの検証に関する研究
アロン J. ストークス構造化文書技術による完全ゲノム情報の交換と検索手法の開発
土屋 啓内視鏡下副鼻腔手術ナビゲーションシステムのための頭部レジストレーション精度の評価
小林 桂太郎立体構造トポロジーに基づくタンパク質の比較手法の開発
下野 雅章ノイズを含む画像におけるパターンマッチング法への改良型GAの提案
田部 智宏分子系統樹データベースの実現 文書画像からの系統樹データの抽出
泊 克昌肝癌切除手術ナビゲーションシステムにおけるハイブリッドセンサの構築とその精度検証
中山 貴夫WWW情報の全文検索システムにおける情報収集部の並列化の検討
林 真志ヒストリーグラフによるアンドゥ機構について
吉村 善生行先ボードによる情報共有システムの開発
伊藤 淳士多角形が内接する円を基盤としたパスグラフの最大クリークを求めるアルゴリズム
梶川 知哉信頼度評価プログラム(CAREL)のPVMを用いた並列化と性能評価

修士論文


氏 名 論文タイトル
池田 拓郎通信サービスの加入パターンに基づくフィーチャー インタラクションの検出
池永 勝芳セルラー通信網のチャネル割当問題とFPGAのピン割当問題に対する近似解法の研究
糸 将之マルチコンテキスト型動的再構成可能FPGAの一実現法とページ分割アルゴリズムの提案
伊藤 純一リアルタイム応用向きプロセッサ・アーキテクチャの提案とその評価
内田 貴之障害の起こるグラフ上の経路設定アルゴリズム
大槻 典正VLIWプロセッサにおける演算器構成最適化手法の提案
小川 延浩WWWにおけるアクセス回数のインターネットサービスプロバイダを利用した公正な評価法
川口 俊朗一般化接尾語配列を用いた部分文字列照合によるアミノ酸配列集合の解析
喜多川 哲タンパク質の立体構造比較に基づくアミノ酸-立体構造対応関係の抽出と立体構造予測への応用
城代 佳範プロセス間の動的依存関係を考慮したハードウェア/ソフトウェア分割手法の提案
住田 義明上位層プロトコルがネットワークトラヒックの自己相似性に与える影響
寺田 博文ステートチャートから記号モデル検査言語への変換
松本 康宏非線形ブロック符号の再帰的最尤復号におけるセクション分割の最適化
宮本 健太郎WDM/TDMパスネットワークにおける光パス収容設計手法
森藤 孝文フレキシブル・ハードウェア・モデルを用いた設計資産再利用手法の提案とその評価
崔 銀恵kコテリーの信頼性評価に関する研究
市岡 義和プログラミングのグループ演習支援システム
大坪 正明日常操作履歴によるコマンド習得形態の調査
柏本 隆志要求仕様書に対するファンクションポイント計測手法 -ユースケースモデルへの適用-
川路 英哉入力データの前処理を行う関数プログラムを導出する一方針
北浜 優子CPU設計学生実験への形式的設計検証手法の導入
軍場 大輔分散データベースにおける通信量を考慮した動的データ配置法
小河原 徹Work-Time C 処理系における並列再帰の動的負荷分散を用いた実装法
杉野 陽一並列プログラム用性能解析システムにおける性能改善支援機能の開発
高 秀幸帰納論理プログラミングによる例外関係に着目した不完全知識の獲得
竹谷 英泰メモリ使用量を考慮したアミノ酸配列集合からの共通保存領域の抽出手法
辰本 比呂記実時間スレッドを用いた時間拡張LOTOSコンパイラの試作
土井 雅貴アニメーションを用いた組立説明システム
中本 将彦3次元超音波画像と拡張現実感を用いた乳癌手術支援システム
西江 圭介分散システムにおける局所的制御フローに着目したイベントアブストラクション手法
西松 顯プログラムスライス抽出技法の効率制御のための一手法
馬場 大樹メッセージ通信型並列プログラムのためのタスクスケジューリングアルゴリズムの開発
別府 明EFSM適合性試験における試験スイート短縮化手法
三上 知親エージェントによる分子生物学データベース統合検索システムの遺伝子配列機能予測への応用
八杉 将伸オブジェクト群の動き解析を用いた映像インデクシング
山本 亮拡張時間オートマトン群による実時間システムの仕様記述とデッドロック判定
山本 哲男バージョン管理機能をもつファイルシステムの設計と実現
吉田 壱評価基準を考慮したクラス階層構造の再構成
笹森 重和インターモーダル協調による連続メディアの内容解析

博士論文


氏 名 論文タイトル
西田 誠幸関数プログラムの形式的コスト評価に関する研究
中村 匡秀通信サービスにおけるフィーチャーインタラクション 検出アルゴリズムの設計と評価
長野 伸一クライアントサーバシステムのための通信プロトコルのリスポンシブネス性検証
窪田 哲也MR画像を用いた股関節軟骨の3次元再構成と定量化に関する研究
柴田 史久パターン解釈における観測者依存性を考慮した言語的指示の理解
吉田 健計算幾何学におけるリンケージに関する研究
陳 堅オリエンテーション空間フィルタリングの理論と応用
名部 正彦WWWトラヒックの分析/モデル化とインターネットアクセスネットワーク設計への適用に関する研究
厳 斗燮次世代パーソナル通信システムのための無線アクセス/有線バックボーンネットワークのシームレスなインターネットワーキング技術に関する研究
北道 淳司代数的手法を用いた同期式順序回路の段階的設計および形式的検証
多田 知正分散データベースにおける逐次化グラフを用いたスケジューリングアルゴリズムに関する研究
土屋 達弘分散相互排除を実現するコテリーの設計と評価
松下 誠ソフトウェアプロセスのモデル化と支援環境の構築に関する研究

[ICS HOME] ICS Home Page へ