News tagged with computational efficiency

Taiwan makers showcase computers at Computex

Taiwan's struggling PC makers are unveiling a new generation of ultra-thin laptops at the world's second-biggest computer show this week, even as they tap into the ever-expanding tablet market to help compensate ...

Jun 03, 2013
not rated yet 0

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

HP cutting at least 850 jobs in Germany

US computer giant Hewlett-Packard said Friday it was closing its enterprise software operation in Ruesselsheim, Germany, in a move eliminating at least 850 jobs.

Feb 01, 2013
not rated yet 1

The ecological badminton robot (w/ video)

A robot to play with! A childhood's dream has now come true for researchers at the Flanders' Mechatronics Technology Centre (FMTC) in Belgium. Wim Symens and his team pioneered the development of the first robot ever to play ...

Jan 30, 2013
5 / 5 (1) 0 | with audio podcast

Microsoft Research does Cloud-Offloaded GPS

(Phys.org)—GPS reduces battery life in a smartphone or tablet, a problem that has challenged a team led by principal researcher Jie Liu at Microsoft Research. Liu has said in the past that sensing and energy ...

Dec 25, 2012 weblog
4 / 5 (11) 0 | with audio podcast