615 search results - page 86 / 123 » Beta Reduction Constraints |
116
Voted
ICCD
2007
IEEE
15 years 9 months ago
2007
IEEE
In single processor architectures, computationallyintensive functions are typically accelerated using hardware accelerators, which exploit the concurrency in the function code to ...
86
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
96
Voted
ISQED
2010
IEEE
15 years 7 months ago
2010
IEEE
With the CMOS transistors being scaled to sub 45nm and lower, Negative Bias Temperature Instability (NBTI) has become a major concern due to its impact on PMOS transistor aging pr...
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Self-healing gradients are distributed estimates of the distance from each device in a network to the nearest device designated as a source, and are used in many pervasive computi...
107
Voted
GLVLSI
2009
IEEE
15 years 7 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...