News tagged with computational efficiency

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

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