Changes between Version 10 and Version 11 of ThesesForDegrees.ja

Timestamp:

04/01/11 00:37:37 (13 years ago)

Author:

yonelab

Comment:

--

ThesesForDegrees.ja

@@ -7 +7 @@
 
 = 博士論文 = #doctor
+== 2010 ==
+ * Operating System Structures for High Performance Computer Clusters [[br]]
+ 高性能計算機クラスタのためのオペレーティングシステム構成法[[br]]
+ ([/~shmz 清水 正明])
+ * Rapidly Deployable, Scalable, and High-Performance Distributed File System for Data-Intensive Distributed Computing[[br]]
+ ([/~dunnan 頓 楠])
+
 == 2009 ==
  * VMM-based Systems for Enhancing Application Security[[br]]
@@ -136 +143 @@
 
 == 2008 ==
- * A Distributed Storage System for Virtual Disk Management
-[[br]]
+ * A Distributed Storage System for Virtual Disk Management[[br]]
  仮想ディスク管理のための分散ストレージシステム[[br]]
- ([/~osumi/ 
-大住 裕之])
- * A Typed Assembly Language with Reference Counting
-[[br]]
- 参照カウントを用いる型付きアセンブリ言語
-[[br]]
+ ([/~osumi/ 大住 裕之])
+ * A Typed Assembly Language with Reference Counting[[br]]
+ 参照カウントを用いる型付きアセンブリ言語[[br]]
  ([/~kosakai/ 小酒井 隆広])
- * A Merging Facility for a Tree-Structured Versioning File System
-[[br]]
+ * A Merging Facility for a Tree-Structured Versioning File System[[br]]
  ツリー構造バージョン管理ファイルシステムのためのマージ機構[[br]]
- ([/~takaki/ 
-高木 渉])
+ ([/~takaki/ 高木 渉])
 
 == 2007 ==
@@ -316 +317 @@
 
 == 1996 ==
- * ([/~haruo/ 細谷 晴夫])
+ * Type Inference Garbage Collection and Its Parallelization[[br]]
+ 型推論ガベージコレクションとその並列アルゴリズム[[br]]
+ ([/~haruo/ 細谷 晴夫])
+ * Type-based Analysis of Usage of Values for Concurrent Programming Languages[[br]]
+ 並列言語における型システムによる値の使用回数の解析[[br]]
+ (五十嵐淳)
 
 == 1995 ==
- * ([/~shimizu/home.html 清水 智弘])
- * ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm 中谷 明弘])
+ * A Study on Implementation of a Typed Concurrent Programming Language on Distributed Machines[[br]]
+ 型付並列言語の分散メモリマシンへの実装[[br]]
+ ([/~shimizu/home.html 清水 智弘])
+ * RNA Secondary Structure Prediction and Visualization Using Highly Parallel Computers[[br]]
+ 高並列計算機を用いたRNA の2 次構造予測と視覚化[[br]]
+ ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm 中谷 明弘])
 
 == 1994 ==
@@ -402 +412 @@
  * Encapsulation in Prototype-Based Object-Oriented Language using Ownership Types[[br]]
  Ownership Types を用いたプロトタイプ・ベースオブジェクト指向言語のカプセル化[[br]]
- ([/~ikejiri/ 池尻 拓朗)
+ ([/~ikejiri/ 池尻 拓朗])
 
 == 2008 ==
- * Realizing Fairness in !StackThreads/MP Scheme
-[[br]]
+ * Realizing Fairness in !StackThreads/MP Scheme[[br]]
  !StackThreads/MP への公平性の導入[[br]]
- ([/~uemura/ 
-植村 圭一朗])
- * A Honeypot System Solving Dilemma Between Freedom and Restriction
-[[br]]
+ ([/~uemura/ 植村 圭一朗])
+ * A Honeypot System Solving Dilemma Between Freedom and Restriction[[br]]
  攻撃者に与える自由と制約のジレンマを解消するハニーポットシステム[[br]]
- ([/~tsuzuki/ 
-鈴木 友博])
+ ([/~tsuzuki/ 鈴木 友博])
  * Extending Hoare Type Theory for Arrays[[br]]
- 
-配列のためのホーア型理論の拡張
-[[br]]
+ 配列のためのホーア型理論の拡張[[br]]
  ([/~ywtnb/ 渡邊 裕貴])