3172 search results - page 172 / 635 » On the Random-Self-Reducibility of Complete Sets |
268
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
165
click to vote
SIGMOD
2004
ACM
16 years 6 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...
175
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...
168
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...
163
click to vote
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...