News tagged with computing 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

ARM chip makers set to reach 3GHz next year

(Phys.org) —ARM chip makers TSMC and GlobalFoundries have revealed that they plan to release ARM processor chips capable of running at 3GHz sometime next year. Such chips will almost certainly be welcomed ...

Jul 10, 2013 weblog
4.4 / 5 (10) 9 | with audio podcast

Chips as mini Internets

Computer chips have stopped getting faster. In order to keep increasing chips’ computational power at the rate to which we’ve grown accustomed, chipmakers are instead giving them additional “cores,” or ...

Apr 10, 2012
4.7 / 5 (15) 16 | with audio podcast

Google boosts photo offerings to rival Facebook

Google is digging deeper into its technology toolkit to turn its social networking service into a more formidable threat to Facebook, sprucing up its photo features at a time when sharing snapshots online ...

May 16, 2013
5 / 5 (2) 1