A transform approximation is explored for speeding up the software compression of images and video. It is used to replace the regular DCT whenever only few DCT coefficients are ac...
Zerotree coding based on the wavelet transform is a very effective image compression technique. Since it exploits the dyadic multiresolution characteristic of wavelet transform, h...
We study the local testability of linear codes. We first reformulate this question in the language of tolerant linearity testing under a non-uniform distribution. We then study th...
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
A new technique to parallelize loops with variable distance vectors is presented. The method extends previous methods in two ways. First, the present method makes it possible for ...