Changes between Version 10 and Version 11 of GeneralMeeting


Ignore:
Timestamp:
06/18/09 14:53:25 (15 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GeneralMeeting

    v10 v11  
    88|| Date || Title || Speaker || File || 
    99|| 2009/06/17 || Report: CCGrid 2009 || dunnan || [[attachment:090617.Zentai.CCGrid09.pptx PPTX(English)]] || 
    10 || 2009/05/27 || Survey: The Behavior of SAT Solvers in Model Checking Applications || matu || [[/attachment/wiki/private/SystemSoftwareSeminar.ja/20090527.pdf PDF(Japanese)]] || 
     10|| 2009/06/10 || Report: SACSIS 2009 || koichi || [[attachment:meeting_090610.pdf PDF(Japanese)]] || 
     11|| 2009/05/27 || Survey: The Beha  vior of SAT Solvers in Model Checking Applications || matu || [[/attachment/wiki/private/SystemSoftwareSeminar.ja/20090527.pdf PDF(Japanese)]] || 
    1112|| 2009/05/13 || Survey: Implicit Detection of Hidden Processes with a Feather-Weight Hardware-Assisted Virtual Machine Monitor || sawazaki || [[attachment:090513_sawazaki.pdf PDF(Japanese)]] || 
    1213|| 2009/04/15 || Protecting Application Data on Memory and Disk from Outside Virtual Machines || koichi || [[attachment:meeting_090415.pdf PDF(Japanese)]] ||