72 search results - page 15 / 15 » An Efficient, Scalable Hardware Engine for Boolean SATisfiab... |
CODES
2010
IEEE
13 years 3 months ago
2010
IEEE
With the continuous scaling of semiconductor technology, the life-time of circuit is decreasing so that processor failure becomes an important issue in MPSoC design. A software so...
PPOPP
2010
ACM
14 years 2 months ago
2010
ACM
LOFAR is the first of a new generation of radio telescopes. Rather than using expensive dishes, it forms a distributed sensor network that combines the signals from many thousands...