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 that can't ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8

New app puts idle smartphones to work for science

Android smartphone users will soon have a chance to participate in important scientific research every time they charge their phones. Using a new app created by researchers at UC Berkeley, users will be able to donate a phone's ...

dateJul 23, 2013 in Software
shares0 comments 0

Boosting heat transfer with nanoglue

(Phys.org)—A team of interdisciplinary researchers at Rensselaer Polytechnic Institute has developed a new method for significantly increasing the heat transfer rate across two different materials. Results of the team's ...

dateDec 04, 2012 in Nanophysics
shares0 comments 0

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

dateApr 10, 2012 in Computer Sciences
shares0 comments 16