修士論文

東京大学

2012年3月

角崎宏一：「チップマルチプロセッサの高性能キャッシュを実現するデータとスレッドのマイグレーション」
谷本輝夫：「チップマルチプロセッサにおけるスケーラビリティを考慮したスケジューリング」
渡辺千洋：「リクエスト間隔予測による情報機器の動的電源制御」

2011年3月

武安聡：「転送経路の偏りを考慮した非同期式ネットワークオンチップの研究」
船橋一訓：「チップマルチプロセッサにおける実行時プリフェッチ制御」

2010年3月

薦田登志矢：「コンパイラによるプロセッサのリーク電力削減手法」
高木紀子：「共有資源の協調制御によるチップマルチプロセッサの低消費電力化」
永井智英：「プロセス二重化による漸次縮退型チップマルチプロセッサ構成方式に関する研究」

2009年3月

上原清伸：「時系列情報を用いたネットワーク化情報システムの高信頼化手法に関する研究」
大谷貴胤：「モデリングに基づくWebサーバ用計算機クラスタシステムの低消費電力化」

2008年3月

金均東：「細粒度動的電流制御を用いたVLSIシステムの低消費電力化に関する研究」
椎名公康：「共有資源の優先度制御によるチップ・マルチプロセッサの省電力化手法に関する研究」

2007年3月

池田佳路：「実効電力制約下における計算機クラスタの高性能化に関する研究」
藤井智弘：「1-out-of-4符号を用いた低消費電力非同期式回路設計に関する研究」
舩江輝：「遺伝子クラスタ間の2次相関関係を利用した遺伝子発現機構の推定に関する研究」

2006年3月

浅井雅司：「統計情報に基づくプロセッサの実行時最適化に関する研究」
東美和子：「故障率に偏りがある大規模計算機クラスタのチェックポインティングによる高信頼化」
渡邊孝一：「遅延変動を考慮した高性能低消費電力演算回路の設計に関する研究」
渡辺亮：「マルチプロセッサSoCの低消費電力化タスクスケジューリングに関する研究」

2005年3月

岡田憲司：「転写因子間相互作用の推定のための結合配列距離情報の解析」
小暮千賀明：「相対的遅延変動を最小化したセルライブラリに基づく非同期式VLSI設計の研究」
佐々木広：「A Low Power Architecture for Globally-Asynchronous Locally-Synchronous Microprocessor (邦題：GALS型マイクロプロセッサの低消費電力化に関する研究)」
田島裕也：「チェックポインティングによる大規模クラスタシステムの高信頼化」

2004年3月

河村大輔：「サポートベクターマシンを用いた遺伝子発現プロファイルの解析」
林田卓朗：「チェックポインティングによるクラスタ型高性能計算システムの高信頼化」
田中慎一：「ソフトウェア制御オンチップメモリを用いた低消費電力化に関する研究」

2003年3月

今野俊一：「配線遅延の影響を考慮した高性能プロセッサに関する研究」
藤田元信：「ソフトウェア制御オンチップメモリ向け最適化コンパイラに関する研究」

2002年3月

新井孝則：「フォーマルベリファイアを用いた高性能プロセッサの形式的検証」
磯村治郎：「繰り返し演算の非同期式回路実現による性能向上に関する研究」
宇高大志：「局所同期モデルに基づく非同期式VLSIの高位設計方式に関する研究」
大根田拓：「オンチップメモリを用いたHPC向けプロセッサのメモリアクセス制御機構の設計と評価」
柴田　潤：「遺伝子配列間の相同性検索処理の高速化に関する研究」
保坂範行：「特異性を考慮したDNAチップ用プローブの高速設計に関する研究」

2001年3月

岩本　貢：「オンチップメモリを用いたHPC向けプロセッサの有効性に関する研究」
都市雅彦：「局所同期モデルに基づく非同期式回路モジュールの性能評価」
福田伸樹：「非同期式演算回路の高速化に関する研究」
渡邊亮介：「オンチップメモリを用いたHPC向けプロセッサのメモリアクセス制御に関する検討」

2000年9月

Nattha Sretasereekul: "Algorithms for Eliminating Isochronic Fork Constraints in Quasi-Delay-Insensitive Circuits"

2000年3月

大河原英喜：「ハイパフォーマンスコンピューティングに適したメモリアーキテクチャに関する研究」
馬場栄治：「非同期式プロセッサにおけるデータキャッシュ高性能化に関する研究」
藤木崇宏：「非同期式スーパースカラプロセッサの命令供給機構に関する研究」

1999年3月

中野栄治：「非同期式除算器の構成に関する研究」
本山克樹：「非同期式論理回路の完了信号生成に関する研究」

東京工業大学

1998年3月

小沢基一：「非同期式パイプラインの性能解析に関する研究」
深作　泉：「非同期式マイクロプロセッサの細粒度並列処理に関する研究」

1997年9月

Mohit Sahni：「Verification and Synthesis Algorithms for Asynchronous logicfrom Signal Transition Graph specifications」

1997年3月

今井　雅：「非同期式システムにおける高速演算方式に関する研究」
藤井太郎：「非同期式データパス回路の高速化に関する研究」

1996年3月

亀田義男：「パルス駆動型非同期式論理回路の構成方法に関する研究」
遅野井英樹：「BSPモデルを用いた漸次縮退方式に関する研究」
Rafael Kazumichi Morizawa：「Asynchronous Process Compilation towards 2-phase Quasi-delay-insensitive Circuits」

1996年9月

Metehan Ozcan ：「Performance Evaluation of Synchronous and Asynchronous VLSI systems」

1995年3月

有田　裕：「再構成可能プロセッサに関する研究」
柴山充文：「非同期式システムの検証方法に関する研究」
高村明裕：「非同期式プロセッサの高速化レイアウトに関する研究」

1994年3月

桑子雅史：「非同期式回路のタイミング信頼性評価に関する研究」
野原克利：「非同期式遷移因果律の検証方法に関する研究」
Hong Min Nhut：「依存性グラフを用いた非同期式回路論理合成に関する研究」

1993年3月

伊東博義：「超並列処理システムにおける同期・調停に関する研究」
布留川哲也：「分散計算システムにおける漸次縮退に関する基礎的研究」
黄亜紅：「非同期式回路の論理合成に関する研究」

1992年3月

畠中慎一：「セルフチェッキング回路自動合成システムに関する研究」
河野英太郎：「ニューラルネットワークにおける故障マスク論理に関する研究」

1991年3月

上野洋一郎：「非同期式プロセッサのアーキテクチャに関する研究」
片山徳康：「非同期式プロセッサの基本モジュール回路構成に関する研究」
籠谷裕人：「非同期式プロセッサの機能モジュール合成と結合に関する研究」

1990年3月

岡山　敬：「多段論理合成に関する研究」
星野雅哉：「分散システムの負荷を考慮した誤り検出に関する研究」

1989年3月

内田雅敏：「セルフチェッキング論理回路自動合成システムに関する研究」
戸敷　仁：「セルフチェッキング論理回路の多重故障検出率評価」

1988年3月

内田　亘：「セルフチェッキング機能を利用したＶＬＳＩオフラインテスト方式」
清水俊幸：「セルフチェッキング・システムの効率化に関する研究」

1987年3月

浅野滋博：「ＡＣＤの概念による故障マスクに関する研究」
石川智之：「プロセス２重化による分散型耐故障システムの誤り回復と同期方式に関する研究」

1986年3月

鈴岡　節：「関数の概念に基づく動的再構成可能なウェ－ハスケ－ルシステム」
吉田政幸：「三次元ＰＬＡの構成法」

1985年3月

河村俊明：「誤り安全性／伝搬性の概念に基づくセルフチェッキングプロセッサの実現にする研究」
高原　厚：「ハ－ドウェア論理設計の検証方式に関する研究」

1984年3月

尾家正樹：「セルフチェッキングプロセッサの構成に関する研究」

1983年3月

浜松俊彦：「セルフチェッキング回路の構成に関する研究」