Sciweavers

3771 search results - page 119 / 755
» Subobject Transformation Systems
Sort
View
DAC
2008
ACM
16 years 4 months ago
Formal datapath representation and manipulation for implementing DSP transforms
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
Franz Franchetti, James C. Hoe, Markus Püsche...
CC
2010
Springer
172views System Software» more  CC 2010»
15 years 10 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
124
Voted
ICPR
2008
IEEE
15 years 9 months ago
Radon transform and Conformal Geometric Algebra with lines
In this paper we apply the classic theory of Harmonic Analysis and the Conformal Geometric Algebra (CGA) to evaluate the Fourier transform on the unit sphere S2 and on the rotatio...
Luis Falcón-Morales, Eduardo Bayro-Corrocha...
PLDI
2005
ACM
15 years 9 months ago
Formal loop merging for signal transforms
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...
Franz Franchetti, Yevgen Voronenko, Markus Pü...
GG
2004
Springer
15 years 8 months ago
Fundamental Theory for Typed Attributed Graph Transformation
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer