How to (Really) Trust a Mathematical Proof
Mathematicians develop computer proof-checking systems in order to realize century-old dreams of fully precise, accurate mathematics.
Read more...
|
IBM Goes Stateless and Cooler with iDataPlex Servers
The evolution from tower to rack to blade to future servers continues apace, and IBM is cooking up a new line of custom-built servers called the iDataPlex that it hopes will make it the king of the so-called Web 2.0 hill.
Read more...
|
IBM Adds Data Storage Capacity to BladeCenter S
IBM is looking to increase the appeal of its BladeCenter S by adding a shared-storage option and will integrate a SAN (storage area network) into the blade chassis.
Read more...
|
Dryad: Programming the Datacenter
The Dryad project from Microsoft Research Silicon Valley makes it easier for programmers to make distributed applications analyze data concurrently over large-scale systems.
Read more...
|
