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 ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8

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 ...

dateJul 10, 2013 in Hardware weblog
shares0 comments 9