1726 search results - page 254 / 346 » A resistance-based approach to consensus algorithm performan... |
126
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
208
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...
160
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
A fundamental task of data analysis is comprehending what distinguishes clusters found within the data. We present the problem of mining distinguishing sets which seeks to find s...
127
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
In this paper we propose a RObust Analog Design tool (ROAD) for post-tuning analog/RF circuits. Starting from an initial design derived from hand analysis or analog circuit synthe...
149
click to vote
GLVLSI
2008
IEEE
15 years 11 months ago
2008
IEEE
Due to the large contribution of the memory subsystem to total system power, the memory subsystem is highly amenable to customization for reduced power/energy and/or improved perf...