User loginNavigation 
Relating FFTW and SplitRadix
Relating FFTW and SplitRadix. Proc. of ICESS'04, the First International Conference on Embedded Software and System, December 910 2004, Hangzhou (Zhejiang), China.
This ongoing attempt to reproduce an efficient implementation of FFT using staging and abstract interpretation attempts to answer the question "How can we get the raw performance of hardware without giving up the expressivity and clarity of software?" Here's how Oleg describes the contribution of this paper,
One may think that generating truly optimal poweroftwo FFT is straightforward: we generate the naive radix2 FFT code, and then optimize it, removing trivial multiplications (x*1), trivial additions (x+0), etc. That was the approach demonstrated previously. Oleg points out that the point isn't that they managed to reproduced the FFTW results. The crucial point is that we know exactly which identities (i.e., axioms) contributed to the optimum. The search was principled rather heuristic, and the code is generated in only one pass. There are no manipulations on the code: it is generated just right. By Ehud Lamm at 20050419 08:13  MetaProgramming  Software Engineering  other blogs  8463 reads

Browse archivesActive forum topics 
Recent comments
10 hours 41 min ago
11 hours 54 min ago
12 hours 5 min ago
12 hours 19 min ago
12 hours 47 min ago
22 hours 22 min ago
1 day 1 hour ago
1 day 23 hours ago
3 days 21 hours ago
3 days 21 hours ago