4066 search results - page 418 / 814 » Almost Complete Sets |
172
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Many modern software systems provide progress indicators for long-running tasks. These progress indicators make systems more user-friendly by helping the user quickly estimate how...
185
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
178
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— The Dynamic Voltage Scaling (DVS) technique is the basis of numerous state-of-the-art energy management schemes proposed for real-time embedded systems. However, recent researc...
168
Voted
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
The deployment of future deep submicron technology calls for a careful review of existing cache organizations and design practices in terms of yield and performance. This paper pr...
166
Voted
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— In this paper, we are proposing a core-based test methodology that utilizes the functional bus for test stimuli and response transportation. An efficient algorithm for the gen...