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 ...

Mar 19, 2013
5 / 5 (6) 8 | with audio podcast

Science fiction-style sabotage a fear in new hacks

When a computer attack hobbled Iran's unfinished nuclear power plant last year, it was assumed to be a military-grade strike, the handiwork of elite hacking professionals with nation-state backing.

Oct 23, 2011
4.3 / 5 (11) 21

White House set to unveil cyber plan

The White House on Thursday is expected to unveil its proposal to enhance the nation's cybersecurity, laying out plans to require industry to better protect systems that run critical infrastructure like the electrical grid, ...

May 12, 2011
not rated yet 1

Privacy group sues to get data about NSA-Google ties

The National Security Agency should divulge information about its reported agreement with Google Inc. to help the Internet company defend itself against foreign cyber attacks, according to a lawsuit filed Monday by a privacy ...

Sep 14, 2010
5 / 5 (9) 18

Grid computing for the masses

(PhysOrg.com) -- Having helped scientists study the building blocks of the universe, peer inside the human body in miniscule detail and monitor climate change, grid computing could soon be put to more mundane ...

Feb 04, 2010
5 / 5 (5) 0 | with audio podcast