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

Austria's new green super computer

Several universities have come together to construct Austria's most powerful mainframe computer. Phase VSC-3 (Vienna Scientific Cluster 3) offers not only impressive computing power, but also serious energy efficiency.

dateJul 15, 2014 in Hardware
shares0 comments 0