12981 search results - page 2198 / 2597 » Model Checking (Abstract) |
140
click to vote
DCC
2004
IEEE
16 years 4 months ago
2004
IEEE
Abstract: We consider lossy source coding when side information affecting the distortion measure may be available at the encoder, decoder, both, or neither. For example, such disto...
143
click to vote
MICCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. It has been shown that brain structures in normal aging undergo significant changes attributed to neurodevelopmental and neurodegeneration processes as a lifelong, dynami...
119
click to vote
HIPEAC
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
152
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Process variations make at-speed testing significantly more difficult. They cause subtle delay changes that are distributed rather than the localized nature of a trad...
145
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...