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