News tagged with grid computing

Can control theory make software better?

"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software that can't ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8

New method to understand superconductors

Researchers at The Open University have devised a new method to understand the processes that happen when atoms cool which could lead to new materials for superconducting power grids and widespread use of magnetic resonance ...

dateDec 13, 2012 in Superconductivity
shares0 comments 37

Senate may go on break without passing cyber bill

The U.S. Senate could leave town this week for a monthlong break without passing legislation to protect the country's electrical grid, water supplies and other critical industries from cyberattack and electronic espionage.

dateAug 02, 2012 in Internet
shares0 comments 0