16190 search results - page 362 / 3238 » Applicative programming with effects |
109
click to vote
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Parameter variation is detrimental to a processor’s frequency and leakage power. One proposed technique to mitigate it is Fine-Grain Body Biasing (FGBB), where different parts o...
176
click to vote
ADAPTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Data Mining, or Knowledge Discovery as it is also known, is becoming increasingly useful in a wide variety of applications. In the following paper, we look at its use in ...
127
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
121
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
151
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...