Sciweavers

4057 search results - page 290 / 812
» Linear combination of transformations
Sort
View
ASWEC
2005
IEEE
16 years 5 days ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
ISCAS
2005
IEEE
157views Hardware» more  ISCAS 2005»
16 years 4 days ago
Analog complex wavelet filters
Abstract— This paper presents an analog implementation of the complex wavelet transform using both the complex first order system (CFOS) and the Pad´e approximation. The comple...
Sandro A. P. Haddad, J. M. H. Karel, Ralf L. M. Pe...
ISPAN
2005
IEEE
16 years 4 days ago
Maximum Loop Distribution and Fusion for Two-level Loops Considering Code Size
In this paper, we propose a technique combining loop distribution with loop fusion to improve the timing performance without increasing the code size of the transformed loops. We ...
Meilin Liu, Qingfeng Zhuge, Zili Shao, Chun Xue, M...
SC
2005
ACM
16 years 3 days ago
Integrated Loop Optimizations for Data Locality Enhancement of Tensor Contraction Expressions
A very challenging issue for optimizing compilers is the phase ordering problem: In what order should a collection of compiler optimizations be performed? We address this problem ...
Swarup Kumar Sahoo, Sriram Krishnamoorthy, Rajkira...
FROCOS
2005
Springer
16 years 2 days ago
Proving Liveness with Fairness Using Rewriting
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
Adam Koprowski, Hans Zantema