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...
|
Trimming the power envelope with blades
Blade servers offer greater compute density. Using these devices, a data center manager can save space and energy says Faiz Askari.
Read more...
|
Frontiers of Engineering Converge on Redmond
On Sept. 24-26, Microsoft Research Redmond hosted the 13th annual U.S. Frontiers of Engineering Symposium, conducted by the National Academy of Engineering.
Read more...
|
IBM Unveils New Servers With Enhanced Quad-Core AMD Opteron(TM) Processors
IBM today announced four IBM servers that will feature the new Quad-Core AMD Opteron(TM) processor. The new servers provide the IT efficiency needed in a new enterprise data center, with the BladeCenter LS42 using 16 percent less power than competitive blade offerings.
Read more...
|
