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

dateMar 19, 2013 in Computer Sciences
shares0 comments 8

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.

dateOct 23, 2011 in Other
shares0 comments 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, ...

dateMay 12, 2011 in Internet
shares0 comments 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 ...

dateSep 14, 2010 in Internet
shares0 comments 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 ...

dateFeb 04, 2010 in Computer Sciences
shares0 comments 0