Changes between Version 3 and Version 4 of ThesesForDegrees


Ignore:
Timestamp:
04/01/11 00:30:23 (10 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ThesesForDegrees

    v3 v4  
    88= Ph.D. Thesis = #doctor 
    99== 2010 == 
    10  
     10 * Operating System Structures for High Performance Computer Clusters 
     11 ([/~ Masaaki Shimizu]) 
     12 * Rapidly Deployable, Scalable, and High-Performance Distributed File System for Data-Intensive Distributed Computing 
     13 ([/~dunnan/ Dun Nan]) 
    1114== 2009 == 
     15 * VMM-based Systems for Enhancing Application Security 
     16 ([/~koichi Koichi Onoue]) 
    1217 
    1318== 2008 == 
     19 * Dependent Type Inference for Program Verification 
     20 ([/~uhiro Hiroshi Unno]) 
    1421 
    1522== 2007 == 
     
    100107= Master Thesis = #master 
    101108== 2010 == 
     109 * Programming Language Support for Multiple Mobile Ad Hoc Networks 
     110 ([/~tsuzuki/ Tomohiro Suzuki]) 
     111 * Study on Proof of Type Preservation in CPS Transformation 
     112 ([/~ywtnb/ Yuki Watanabe]) 
    102113 
    103114== 2009 == 
     115 * Stack Types with Bounded Existential Quantification 
     116 ([/~iizuka/ Daisuke Iizuka]) 
     117 * A Hybrid Virtual Machine Monitor for Implementing Flexible and High-Performance Security Mechanisms 
     118 ([/~sawazaki/ Junya Sawazaki]) 
     119 * Parallelization of Safety Verification in SPIN Model Checker 
     120 ([/~nojiri/ Takahiro Nojiri]) 
    104121 
    105122== 2008 == 
     
    230247 
    231248== 1996 == 
    232  *  
     249 * Type Inference Garbage Collection and Its Parallelization 
    233250 ([/~haruo/ Haruo Hosoya]) 
     251 * Type-based Analysis of Usage of Values for Concurrent Programming Languages 
     252 (Atsushi Igarashi) 
    234253 
    235254== 1995 == 
    236  *  
     255 * A Study on Implementation of a Typed Concurrent Programming Language on Distributed Machines 
    237256 ([/~shimizu/home.html Toshihiro Shimizu]) 
    238  *  
     257 * RNA Secondary Structure Prediction and Visualization Using Highly Parallel Computers 
    239258 ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm Akihiro Nakaya]) 
    240259