Sciweavers

1145 search results - page 177 / 229
» The Correctness of an Optimized Code Generation
Sort
View
ICCSA
2003
Springer
15 years 5 months ago
Coupling Tangent-Linear and Adjoint Models
Abstract. We consider the solution of a (generalized) eigenvalue problem arising in physical oceanography that involves the evaluation of both the tangent-linear and adjoint versio...
Uwe Naumann, Patrick Heimbach
EUROMICRO
2000
IEEE
15 years 4 months ago
A Simulink(c)-Based Approach to System Level Design and Architecture Selection
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
Luciano Lavagno, Begoña Pino, Leonardo Mari...
ICC
2000
IEEE
15 years 4 months ago
A Class of Block-Iterative Equalizers for Intersymbol Interference Channels
—A new and efficient class of nonlinear equalizers is developed for intersymbol interference (ISI) channels. These “iterated-decision equalizers” use an optimized multipass a...
Albert M. Chan, Gregory W. Wornell
IEEEPACT
1999
IEEE
15 years 4 months ago
Localizing Non-Affine Array References
Existing techniques can enhance the locality of arrays indexed by affine functions of induction variables. This paper presents a technique to localize non-affine array references,...
Nicholas Mitchell, Larry Carter, Jeanne Ferrante
EUROPAR
1999
Springer
15 years 4 months ago
I/O-Conscious Tiling for Disk-Resident Data Sets
This paper describes a tiling technique that can be used by application programmers and optimizing compilers to obtain I/O-efficient versions of regular scientific loop nests. Du...
Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanuja...