Changes between Version 4 and Version 5 of PublicationsJa.ja


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

--

Legend:

Unmodified
Added
Removed
Modified

  • PublicationsJa.ja

    v4 v5  
    33 
    44== 2009 == 
     5 尾上浩一，大山恵弘（電通大），米澤明憲:: '''システムコール制御に基づく仮想マシン間サンドボックスシステム'''[[br]]''情報処理学会論文誌：コンピューティングシステム（ACS 25）, March, 2009'' 
     6 
     7 尾上浩一，大山恵弘，米澤明憲:: '''アプリケーションデータを保護するためのVMMに基づくアーキテクチャ'''[[br]]''第7回先進的計算機版システムシンポジウム（SACSIS 2009）, May, 2009'' 
     8 
    59 野尻隆弘, 前田俊行, 米澤明憲:: '''モデル検査器SPINにおける安全性検証手法の並列化'''[[br]]''第7回ディペンダブルシステムワークショップ, July, 2009'' 
    610 
    … …  
    1317 加藤真平（東大）, 藤田肇（東大）, 中澤仁（慶大）, 松田元彦, 前田俊行, 杵渕雄樹（早大）, 塙敏博（筑波大）, 三浦信一（筑波大）, 石綿陽一（産総研）, 松野裕（産総研）, 高村博紀（産総研）, 山田浩史（慶大）, 吉田哲也（慶大）, 倉光君郎（横国大）, 菅谷みどり（JST）, 石川裕（東大）:: '''ディペンダブルシステム向けベンチマークフレームワークの提案'''[[br]]''第7回ディペンダブルシステムワークショップ, July, 2009'' 
    1418 
     19 尾上浩一，大山恵弘，米澤明憲:: '''アプリケーションデータを保護するためのVMMに基づくアーキテクチャ'''[[br]]''情報処理学会論文誌：コンピューティングシステム（ACS 27）, September, 2009'' 
    1520{{{ 
    1621#!comment