366 search results - page 37 / 74 » Circuit optimization using statistical static timing analysi... |
201
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
100
click to vote
UAI
1996
15 years 1 months ago
1996
In this paper we propose a family of algorithms combining treeclustering with conditioning that trade space for time. Such algorithms are useful for reasoning in probabilistic and...
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper, an adaptive sampling method is proposed for the statistical SRAM cell analysis. The method is composed of two components. One part is the adaptive sampler that manip...
169
click to vote
ICDE
2005
IEEE
16 years 1 months ago
2005
IEEE
Large amounts of (often valuable) information are stored in web-accessible text databases. "Metasearchers" provide unified interfaces to query multiple such databases at...
CSUR
1999
14 years 11 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...