376 search results - page 8 / 76 » Improved Design Debugging Using Maximum Satisfiability |
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— The effect of noise on the maximum useful number of receiver antennas that can be deployed in a cochannel interference diversity system is examined. The long term signalpower-t...
KDD
2012
ACM
11 years 9 months ago
2012
ACM
The problem of efficiently finding the best match for a query in a given set with respect to the Euclidean distance or the cosine similarity has been extensively studied. However...
DATE
2003
IEEE
14 years 5 hour ago
2003
IEEE
Test is often seen as a necessary evil; it is a fact of life that ICs have manufacturing defects and those need to be filtered out by testing before the ICs are shipped to the cu...
TVLSI
2008
13 years 6 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...