News tagged with efficient computing

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

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

dateJan 30, 2013 in Robotics
shares0 comments 0

MASSIVE advances in aerodynamics

Engineers are closer to understanding, and therefore manipulating, invisible aerodynamic drag forces, that cause an estimated 50 per cent of transportation fuel to be lost before we can use it.

dateAug 30, 2012 in General Physics
shares0 comments 18

ARM asks Khronos for OpenCL nod for Midgard GPU

(Phys.org) -- ARM wastes no time taking every opportunity to prove its reputation as "GPU computing" kingpins. GPU computing is seen as having a bright future, where the computational performance of the GPU, which was historically ...

dateAug 05, 2012 in Hardware report
shares0 comments 1