3373 search results - page 352 / 675 » Linear transformations on codes |
124
click to vote
JLP
2008
15 years 4 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
128
click to vote
ASWEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
171
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
126
click to vote
ICS
1997
Tsinghua U.
15 years 8 months ago
1997
Tsinghua U.
Modern microprocessors can achieve high performance on linear algebra kernels but this currently requires extensive machine-speci c hand tuning. We have developed a methodology wh...
146
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
This paper presents a new selective and scalable encryption (SSE) method for intra dyadic scalable coding framework based on wavelet/subband (DWTSB) for H.264/AVC. It has been ach...