Fixing design bugs and wrong wire connections in computer chips after they've been fabricated in silicon is a tedious, trial-and-error process that often costs companies millions of dollars and months of time-to-market.

A new mathematical program developed in the Department of Computer Sciences at the University of Haifa will enable computers to "know" if the artwork you are looking at is a Leonardo da Vinci original, as the seller claims, or by another less well known artist.

Computer scientists at UC Davis have developed a technique to speed up program debugging by automatically "chipping" the software into smaller pieces so that bugs can be isolated more easily.