8398 search results - page 1492 / 1680 » Optimal Software Testing |
159
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
The combination of intra prediction, transform, and quantization in the H.264/AVC video coding standard offers high compression performance in picture areas where inter prediction...
162
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
—This paper presents a high-performance parallel context-based adaptive length coding (CAVLC) encoder implemented on a fine-grained many-core system. The software encoder is desi...
164
Voted
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Projector-camera systems use computer vision to analyze their surroundings and display feedback directly onto real world objects, as embodied by spatial augmented reality. To be e...
163
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Dynamic resource provisioning aims at maintaining the endto-end response time of a web application within a predefined SLA. Although the topic has been well studied for monolithi...
191
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...