3657 search results - page 481 / 732 » A Study of Practical Deduplication |
152
click to vote
ISPASS
2007
IEEE
16 years 26 days ago
2007
IEEE
Recent research advocates address-correlating predictors to identify cache block addresses for prefetch. Unfortunately, address-correlating predictors require correlation data sto...
206
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
173
click to vote
QSIC
2007
IEEE
16 years 26 days ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
169
click to vote
VTS
2007
IEEE
16 years 26 days ago
2007
IEEE
The sensitivity of very deep submicron designs to supply voltage noise is increasing due to higher path delay variations and reduced noise margins with supply noise scaling. The s...
177
click to vote
ACISP
2007
Springer
16 years 24 days ago
2007
Springer
We present a new non-interactive message authentication protocol in manual channel model (NIMAP, for short) using the weakest assumption on the manual channel (i.e. assuming the st...