User contributions for Falaca
Jump to navigation
Jump to search
- 14:20, 17 October 2012 diff hist +29 OSWebSec: Exokernels →Formal proof current
- 14:19, 17 October 2012 diff hist +60 OSWebSec: Exokernels →Portability
- 14:17, 17 October 2012 diff hist +2,652 OSWebSec: Exokernels
- 22:32, 10 October 2012 diff hist −38 File talk:ExterminateHWAbstractions.jpg Blanked the page current
- 21:48, 10 October 2012 diff hist +38 N OSWebSec: Exokernels Created page with "File:ExterminateHWAbstractions.jpg"
- 21:48, 10 October 2012 diff hist +38 N File talk:ExterminateHWAbstractions.jpg Created page with "File:ExterminateHWAbstractions.jpg"
- 21:47, 10 October 2012 diff hist +45 N File:ExterminateHWAbstractions.jpg Key idea presented in papers by Engler et al. current
- 09:52, 4 October 2012 diff hist +255 MashupOS current
- 09:41, 4 October 2012 diff hist +423 MashupOS
- 09:16, 4 October 2012 diff hist +1,575 MashupOS