Changes between Version 1 and Version 2 of PublicationsJa.ja


Ignore:
Timestamp:
06/01/10 23:29:15 (14 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PublicationsJa.ja

    v1 v2  
    11= 発表論文(日本語) = #titleheading 
    22([wiki:PublicationsEn 発表論文(英語)]) 
     3 
     4== 2008 == 
     5 野尻隆弘, 前田俊行, 米澤明憲:: '''モデル検査器を用いた依存型システムのための配列境界の推論'''[[br]]''第6回ディペンダブルシステムワークショップ, July, 2008.'' 
     6 
     7 前田俊行, 米澤明憲:: '''SMP・マルチコアに対応した型付きアセンブリ言語'''[[br]]''第6回ディペンダブルシステムワークショップ, July, 2008'' 
     8 
     9 松田元彦，前田俊行，米澤明憲:: '''大規模システムソフトウェアのモデル検査器の設計と実装'''[[br]]''2008年並列／分散／協調処理に関する『佐賀』サマー・ワークショップ, August, 2008'' 
     10 
    311== 2007 == 
    412 西川 賀樹, 大山恵弘, 米澤明憲:: '''OS資源ビューの仮想化を用いた分散システムテストベッド'''[[br]]''FIT2007 第6回情報科学技術フォーラム, September, 2007''