News tagged with control software

Google's SPDY will speed up downloads

(PhysOrg.com) -- As part of its effort to speed up the Web, Google is experimenting with SPDY, a new application layer protocol, that it hopes will speed up the conversation between browsers and Web servers ...

Nov 16, 2009 weblog
4.5 / 5 (19) 7

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

Stuxnet virus could target many industries

(AP) -- A malicious computer attack that appears to target Iran's nuclear plants can be modified to wreak havoc on industrial control systems around the world, and represents the most dire cyberthreat known to industry, ...

Nov 17, 2010
4.1 / 5 (7) 7

Berlin company counts on the autistic

When German software giant SAP said last month it plans to employ hundreds of autistic people as IT experts, the news was welcomed especially at a small Berlin computer consulting firm.

Jun 02, 2013
4.8 / 5 (6) 0

Hackers breach US air traffic control computers

Hackers broke into US air traffic control computers on several occasions over the past few years and increased reliance on Web applications and commercial software has made networks more vulnerable, according ...

May 08, 2009
4.8 / 5 (5) 1