News tagged with computing power

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

Searching genomic data faster with new algorithm

In 2001, the Human Genome Project and Celera Genomics announced that after 10 years of work at a cost of some $400 million, they had completed a draft sequence of the human genome. Today, sequencing a human genome is something ...

dateJul 10, 2012 in Biotechnology
shares0 comments 0