News tagged with computational power

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

SimCity rebuilt for modern life

A 10-year wait ends Tuesday with the arrival of 'SimCity,' a computer game that challenges players to build thriving cities in the face of conditions such as limited funds and climate change.

Mar 05, 2013
3.5 / 5 (2) 0

The next network

Microcontrollers are everywhere. Essentially tiny computers that are embedded in machines, they supervise a rapidly-expanding universe of functions. In washing machines, for instance, they may access information ...

Feb 11, 2013
not rated yet 1