News tagged with computational efficiency

Networking for high performance computing

From drug simulation to predicting tsunamis and sea vehicle tracking, high-performance computing has revolutionised the way companies and governments operate. Similarly, embedded computing has revolutionised ...

dateAug 14, 2013 in Computer Sciences
shares0 comments 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 ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8