News tagged with computer control systems

Related topics:

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

'No-sleep energy bugs' drain smartphone batteries

(Phys.org) -- Researchers have proposed a method to automatically detect a new class of software glitches in smartphones called "no-sleep energy bugs," which can entirely drain batteries while the phones are not in use.

dateJun 13, 2012 in Software
shares0 comments 2

Obama stepped up cyberattacks on Iran: report

US President Barack Obama accelerated cyberattacks on Iran's nuclear program and expanded the assault even after the Stuxnet virus accidentally escaped in 2010, the New York Times reported Friday.

dateJun 01, 2012 in Internet
shares0 comments 1

Flame virus a new age cyber spy tool

The Flame computer virus that smoldered undetected for years in Middle Eastern energy facilities confirmed fears that the world has entered a new age of cyber espionage and sabotage.

dateMay 31, 2012 in Internet
shares0 comments 1