| |||||||||||||
Security of verified codeSecurity of verified codePosted Nov 18, 2011 5:21 UTC (Fri) by Cyberax (✭ supporter ✭, #52523)In reply to: Security of verified code by idupree Parent article: Interview with Andrew Tanenbaum (LinuxFr.org)
Well, ECC RAM should alleviate most issues. And the amount of 'core' memory in Singularity-like systems is not going to be greater than in classic systems.
(Log in to post comments)
|
|||||||||||||