15416 search results - page 2965 / 3084 » Embeddings of Computable Structures |
130
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
Research in algorithms for Boolean satisfiability and their efficient implementations [26, 8] has recently outpaced benchmarking efforts. Most of the classic DIMACS benchmarks fro...
155
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Long design cycles due to the inability to predict silicon realities is a well-known problem that plagues analog/RF integrated circuit product development. As this problem worsens...
142
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
As the technology node advances into the nanometer era, via-open defects are one of the dominant failures. To improve via yield and reliability, redundant-via insertion is a highl...
162
click to vote
ICML
2000
IEEE
16 years 5 months ago
2000
IEEE
Humanoid robots are high-dimensional movement systems for which analytical system identification and control methods are insufficient due to unknown nonlinearities in the system s...
170
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...