博士論文，修士論文などのファイル (a few files of PhD and Master
theses)
博士論文，修士論文，学士論文のファイル (a few files of PhD and Master
theses)
博士論文 (PhD Theses)
- Fang Ling (2010年2月, February 2010) in English
Formal approach to guarantee the correctness of
compiler optimization using temporal logic
(時相論理によりコンパイラ最適化の正しさを保証する形式的手法）
PDF
- 大島芳樹 Yoshiki Ohshima (2006年11月, November 2006) in English
An End-User Programming System for Constructing Massively Parallel
Simulations
(エンドユーザによる超並列シミュレーション構築に適したプログラミングシステム)
PDF
Presentation in PDF
- 木本雅彦 Masahiko Kimoto (2004年3月, March 2004) in Japanese
自立運用小規模ネットワークの構築に関する研究
PDF
PostScript
- 佐々木晃 Akira Sasaki (2004年4月, April 2004) in English
Development Environment for Language Processors Based on Attribute
Grammars
PDF
Slides in PDF
修士論文，学士論文など (Master Theses and Bachelor Theses)
- (all in Japanese)
- 五十嵐巳玲一 修士論文 ループ並列化の為のリタイミングによるループ最適化(2011年2月)
PDF
- 及川宗明 修士論文 コンピュータ囲碁における教師付き学習を用いたプレイアウトの調整(2011年2月)
PDF
- 藤原一貴 修士論文 時相論理とモデル検査を用いたＣコンパイラ最適化器(2011年2月)
PDF
- 菊地巧 学士論文 学習によるスパイダソリティアの自動クリアルーチンの試み(2011年2月)
PDF
- 岩橋弥生 修士論文 Cell Broadband Engineを対象とした，コンパイラの自動SIMD化の実装(2010年2月)
PDF
- 太田眞敬 修士論文 Ruby におけるメモリ管理改善手法の提案(2010年2月)
PDF
- 副島佑介 修士論文 コンピュータ囲碁におけるRoot 並列化について(2010年2月)
PDF
- 岡 慶一 学士論文 SATソルバを用いたレジスタ割当ての実装(2010年2月)
PDF
- 田口貴規 学士論文 COINSに於ける並列化機能の性能評価とその考察(2010年2月)
PDF
- 結束直道 学士論文 SSA形式を用いたレジスタ割当てのCOINS上での実装(2010年2月)
PDF
- 今橋孝典 修士論文 種々の最適化の効果のモデル化とそれに基づく最適化列の効果の予測(2009年2月)
PDF
- 蒲野茂幸 修士論文 SIMD最適化向けソースコードレベルでのコード変形(2009年2月)
PDF
- 中川元貴 修士論文 アフィン分割を用いた自動ループ並列化(2009年2月)
PDF
- 五十嵐巳玲一 学士論文 COINSを用いた高位合成器の実装(2009年2月)
PDF 及川宗明 学士論文 レジスタプロモーションによるコード最適化(2009年2月)
PDF
- 藤原一貴 学士論文 NuSMVを用いたCTL*のモデル検査器の実装(2009年2月)
PDF
- 吉羽和之 修士論文 BDDを利用したCプログラムのfield-sensitiveなポインタ解析(2008年2月)
PDF
- 米倉翔一 修士論文 Array SSAとそれを用いた最適化の実装と評価(2008年2月)
PDF
- 岩橋弥生 学士論文 エミュレータを用いた携帯アプリケーションの観察と考察(2008年2月)
PDF
- 副島佑介 学士論文 レジスタ割付けにおけるOptimistic Register Coalescingの実装(2008年2月)
PDF
- 狩野祐介 修士論文 Flow-insensitiveな別名情報とフロー情報を用いた最適化対象の拡大(2007年2月)
PDF
- 佐原聡一郎 修士論文 時相論理を用いたコンパイラ最適化器の検証(2007年2月)
PDF
- 中谷俊晴 修士論文 比較照合法によるコンパイラ最適化器の誤りの検出(2007年2月)
PDF
- 中川元貴 学士論文 コンパイラ最適化過程の画面同期による可視化(2007年2月)
PDF
- 方玲 修士論文 双方向CTLによるJava最適化器の生成(2006年8月)
PDF
open officeスライド(odp)
- 伊藤陽 修士論文 実行時情報を利用した部分冗長除去(2006年2月)
PDF
- 今橋孝典 学士論文 (2006年2月)
PDF
- 田中雄次郎 学士論文 (2006年2月)
PDF
- 吉羽和之 学士論文 (2006年2月)
PDF
- 米倉翔一 学士論文 (2006年2月)
PDF
- 須藤大二朗 修士論文 (2005年2月)
PDF
ppt
- 溝渕裕司 修士論文 (2005年2月)
PDF
ppt
- 狩野祐介 学士論文 (2005年2月)
PDF
ppt
- 佐原聡一郎 学士論文 (2005年2月)
PDF
ppt
- 小濱真樹 修士論文 (2004年2月)
PDF
- 立川英 修士論文 (2004年2月)
PDF
- 伊藤陽 学士論文 (2004年2月)
PDF
その他の情報
対外発表の論文のファイルは次にありますのでご覧ください．
(See also the following page)
論文リストについては，次をご覧ください．
(See also the following page)