2081 search results - page 149 / 417 » codes 2006 |
116
click to vote
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Throughput is an important performance measure for data communications over wireless links. In this work, we consider joint adaptation of coding rates, modulation modes and lev...
SAINT
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a novel approach to conserve power in networked mobile devices. Our approach exploits communication within a pervasive smart space as an opportunity to save power as op...
105
click to vote
DAC
2006
ACM
15 years 5 months ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
103
click to vote
APN
2006
Springer
15 years 1 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...