Changes between Version 6 and Version 7 of GeneralMeeting


Ignore:
Timestamp:
05/27/09 19:27:45 (15 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GeneralMeeting

    v6 v7  
    77 
    88|| Date || Title || Speaker || File || 
    9 || 2009/05/27 || The Behavior of SAT Solvers in Model Checking Applications || matu || [[http://ukulele.is.s.u-tokyo.ac.jp/attachment/wiki/private/SystemSoftwareSeminar.ja/20090527.pdf PDF(Japanese)]] || 
     9|| 2009/05/27 || Survey: The Behavior of SAT Solvers in Model Checking Applications || matu || [[http://ukulele.is.s.u-tokyo.ac.jp/attachment/wiki/private/SystemSoftwareSeminar.ja/20090527.pdf PDF(Japanese)]] || 
    1010|| 2009/04/15 || Protecting Application Data on Memory and Disk from Outside Virtual Machines || koichi || [[attachment:meeting_090415.pdf PDF(Japanese)]] || 
    1111|| 2009/04/07 || Survey: Fast Secure Virtualization for the ARM Platform || zbkt || [[attachment:zmeeting090407.pdf PDF(Japanese)]] ||