Verifying 50,000 lines of C code Read more >>

Barcelona supercomputing center and Microsoft create joint research centre for parallel computing On 18 January 2008, Microsoft and the Barcelona Supercomputing Center (BSC) announced the creation of the BSC – Microsoft Research Centre, which... Read more >>