Changes between Version 3 and Version 4 of ThesesForDegrees

Timestamp:

04/01/11 00:30:23 (14 years ago)

Author:

yonelab

Comment:

--

ThesesForDegrees

@@ -8 +8 @@
 = Ph.D. Thesis = #doctor
 == 2010 ==
-
+ * Operating System Structures for High Performance Computer Clusters
+ ([/~ Masaaki Shimizu])
+ * Rapidly Deployable, Scalable, and High-Performance Distributed File System for Data-Intensive Distributed Computing
+ ([/~dunnan/ Dun Nan])
 == 2009 ==
+ * VMM-based Systems for Enhancing Application Security
+ ([/~koichi Koichi Onoue])
 
 == 2008 ==
+ * Dependent Type Inference for Program Verification
+ ([/~uhiro Hiroshi Unno])
 
 == 2007 ==
@@ -100 +107 @@
 = Master Thesis = #master
 == 2010 ==
+ * Programming Language Support for Multiple Mobile Ad Hoc Networks
+ ([/~tsuzuki/ Tomohiro Suzuki])
+ * Study on Proof of Type Preservation in CPS Transformation
+ ([/~ywtnb/ Yuki Watanabe])
 
 == 2009 ==
+ * Stack Types with Bounded Existential Quantification
+ ([/~iizuka/ Daisuke Iizuka])
+ * A Hybrid Virtual Machine Monitor for Implementing Flexible and High-Performance Security Mechanisms
+ ([/~sawazaki/ Junya Sawazaki])
+ * Parallelization of Safety Verification in SPIN Model Checker
+ ([/~nojiri/ Takahiro Nojiri])
 
 == 2008 ==
@@ -230 +247 @@
 
 == 1996 ==
- * 
+ * Type Inference Garbage Collection and Its Parallelization
  ([/~haruo/ Haruo Hosoya])
+ * Type-based Analysis of Usage of Values for Concurrent Programming Languages
+ (Atsushi Igarashi)
 
 == 1995 ==
- * 
+ * A Study on Implementation of a Typed Concurrent Programming Language on Distributed Machines
  ([/~shimizu/home.html Toshihiro Shimizu])
- * 
+ * RNA Secondary Structure Prediction and Visualization Using Highly Parallel Computers
  ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm Akihiro Nakaya])