News tagged with powerful computer

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