Changes between Version 8 and Version 9 of GeneralMeeting
- Timestamp:
- 06/10/09 17:39:34 (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
GeneralMeeting
v8 v9 8 8 || Date || Title || Speaker || File || 9 9 || 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/05/13 || Survey: Implicit Detection of Hidden Processes with a Feather-Weight Hardware-Assisted Virtual Machine Monitor || sawazaki || [[attachment:090513_sawazaki.pdf PDF(Japanese)]] || 10 11 || 2009/04/15 || Protecting Application Data on Memory and Disk from Outside Virtual Machines || koichi || [[attachment:meeting_090415.pdf PDF(Japanese)]] || 11 12 || 2009/04/07 || Survey: Fast Secure Virtualization for the ARM Platform || zbkt || [[attachment:zmeeting090407.pdf PDF(Japanese)]] ||