Sciweavers

6568 search results - page 192 / 1314
» Reducing the Complexity of Reductions
Sort
View
DATE
2002
IEEE
156views Hardware» more  DATE 2002»
15 years 11 months ago
Dynamic VTH Scaling Scheme for Active Leakage Power Reduction
We present a Dynamic VTH Scaling (DVTS) scheme to save the leakage power during active mode of the circuit. The power saving strategy of DVTS is similar to that of the Dynamic VDD...
Chris H. Kim, Kaushik Roy
ISSS
1996
IEEE
125views Hardware» more  ISSS 1996»
15 years 10 months ago
Size-Constrained Code Placement for Cache Miss Rate Reduction
In design of an embedded system with a cache, it is important to minimize the cache miss rate to reduce the power consumption as well as to improvethe performance of the system. W...
Hiroyuki Tomiyama, Hiroto Yasuura
ACSC
2004
IEEE
15 years 10 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
BMVC
2001
15 years 9 months ago
Illumination technique for optical dynamic range compression and offset reduction
This paper presents a novel illumination technique for image processing in environmentswhich are characterized by large intensity fluctuations and hence a high optical dynamic ra...
C. Koch, S.-B. Park, Tim J. Ellis, A. Georgiadis
AAAI
2008
15 years 9 months ago
A Reductive Semantics for Counting and Choice in Answer Set Programming
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
Joohyung Lee, Vladimir Lifschitz, Ravi Palla