3750 search results - page 342 / 750 » Code Optimization for Code Compression |
132
click to vote
CP
1998
Springer
15 years 9 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
146
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—A major barrier for the adoption of wireless mesh networks is severe limits on throughput. Many in-network packet mixing techniques at the network layer [1], [2], [3] as well as...
153
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
Technology advancements have enabled the integration of large on-die embedded DRAM (eDRAM) caches. eDRAM is significantly denser than traditional SRAMs, but must be periodically r...
144
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
There are many mode decisions in the video coding process that are used to optimize the performance in terms of the bit rate, the speed and the quality of the decoded video. We de...
174
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...