The Future of Correct Software George Necula. 2 Software Correctness is Important ► Where there is software, there are bugs ► It is estimated that software.
1/19/2007CS267 Lecture 21 Single Processor Machines: Memory Hierarchies and Processor Features Kathy Yelick [email protected] yelick/cs267_spr07.