1356 search results - page 217 / 272 » The ideal of verified software |
106
click to vote
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract—This paper presents a novel high-efficient hybrid openclose loop based fine granularity scalable (HOCFGS) coding framework supporting different decoding complexity appli...
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
Like in other fields, computer products (applications, hardware, etc.), before being marketed, require some level of testing to verify whether they meet their design and function...
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
- This paper presents an H.264/AVC baseline profile decoder based on a SoC platform design methodology. The overall decoding throughput is increased by optimized software and a ded...
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Dictionary code compression is a technique where long instructions in the memory are replaced with shorter code words used as index in a table to look up the original instructions...
WWW
2006
ACM
15 years 5 months ago
2006
ACM
We consider the problem of dust: Different URLs with Similar Text. Such duplicate URLs are prevalent in web sites, as web server software often uses aliases and redirections, and...