Sciweavers

3373 search results - page 220 / 675
» Linear transformations on codes
Sort
View
SEFM
2006
IEEE
15 years 10 months ago
A PVS Based Framework for Validating Compiler Optimizations
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
ISSS
2002
IEEE
139views Hardware» more  ISSS 2002»
15 years 8 months ago
Multiprocessor Mapping of Process Networks: A JPEG Decoding Case Study
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
Erwin A. de Kock
CMPB
2002
90views more  CMPB 2002»
15 years 3 months ago
Bivariate linear mixed models using SAS proc MIXED
Bivariate linear mixed models are useful when analyzing longitudinal data of two associated markers. In this paper, we present a bivariate linear mixed model including random effe...
Rodolphe Thiébaut, Hélène Jac...
TIP
2002
143views more  TIP 2002»
15 years 3 months ago
Adaptive image coding with perceptual distortion control
This paper presents a discrete cosine transform (DCT)-based locally adaptive perceptual image coder, which discriminates between image components based on their perceptual relevanc...
Ingo S. Hontsch, Lina J. Karam
133
Voted
DCC
2006
IEEE
16 years 3 months ago
Analysis of Redundant-Wavelet Multihypothesis for Motion Compensation
An analysis is presented that examines multihypothesis motion-compensated video coding using a redundant wavelet transform to produce multiple predictions that are diverse in tran...
James E. Fowler