305 search results - page 31 / 61 » From Sets to Bits in Coq |
3DPVT
2006
IEEE
15 years 5 months ago
2006
IEEE
A low-complexity three-dimensional image compression algorithm based on wavelet transforms and set-partitioning strategy is presented. The Subband Block Hierarchial Partitioning (...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, an approximated closed-form total power consumption equation for circuits working at their optimal supply and threshold voltage is presented. Comparisons of this fo...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
This paper proposes an advanced spatially scalable video coding approach that exploits the inter layer correlation between different resolution layers by classified patch learning...
CRYPTO
2009
Springer
15 years 5 months ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
93
Voted
SBCCI
2005
ACM
15 years 4 months ago
2005
ACM
This work addresses the problem of application mapping in networks-on-chip (NoCs). It explores the importance of characterizing network traffic to effectively predict NoC energy c...