441 search results - page 52 / 89 » Benchmarking Technique in E-Business Using the Galileo Metho... |
112
click to vote
ISCAS
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper describes a new power minimizing method by optimizing supply voltage control and minimizing leakage in active and standby modes, respectively. In the active mode, th...
114
click to vote
SAT
2004
Springer
15 years 7 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
ATS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper addresses the problem of locating the stuckopen faults in a manufactured IC with scan flip-flops. Unlike most previous methods that only aim at identifying the faulty s...
100
click to vote
CC
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
DAC
1994
ACM
15 years 6 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...