Safer Software, GFS II
- Researchers at NICTA proved correctness of a kernel [1].
- Google is developing a successor of the Google File System [1, 2].
This entry was posted
on Friday, August 14th, 2009 at 5:56 am and is filed under Links.
You can follow any responses to this entry through the RSS 2.0 feed.
Responses are currently closed, but you can trackback from your own site.