11665 search results - page 97 / 2333 » Human computing for EDA |
HRI
2006
ACM
15 years 4 months ago
2006
ACM
HRI
2006
ACM
15 years 4 months ago
2006
ACM
COMPUTER
2010
14 years 10 months ago
2010
DAC
2005
ACM
15 years 11 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
STACS
2009
Springer
15 years 4 months ago
2009
Springer
As the World Wide Web is growing rapidly, it is getting increasingly challenging to gather representative information about it. Instead of crawling the web exhaustively one has to...