Relating FFTW and split-radix

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3605 LNCS, Issue , 2005, Pages 488-493

  Kiselyov, Oleg ^a   Taha, Walid ^b  

^a Rice University ^*

^b Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMBINATORIAL CIRCUITS; FAST FOURIER TRANSFORMS;

ABSTRACT INTERPRETATION; CODELETS; FLOATING-POINT OPERATIONS; SPLIT-RADIX;

ABSTRACTING;

EID: 33645970683     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11535409_71     Document Type: Conference Paper

References (14)

1. W. Boehm, J. Hammes, B. Draper, M. Chawathe, C. Ross, R. Rinker, and W. Najjar. Mapping a single assignment programming language to reconfigurable systems. In Supercomputing, number 21, pages 117-130, 2002.
2. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, pages 238-252. ACM, 1977.
3. Matteo Frigo. A fast Fourier transform compiler. In Proceedings of the Conference on Programming Language Design and Implementation, pages 169-180, 1999.
4. C. S. Burrus I. W. Selesnick. Automatic generation of prime length FFT programs. In IEEE Transactions on Signal Processing, pages 14-24, Jan 1996.
5. Oleg Kiselyov, Kedar Swadi, and Walid Taha. A methodology for generating verified combinatorial circuits. In the International Workshop on Embedded Software (EMSOFT 04), Lecture Notes in Computer Science, Pisa, Italy, 2004. Springer-Verlag. To appear.
6. Xavier Leroy. Objective Caml, 2000. Available from http://caml.inria.fr/ ocaml/.
7. R. Lipsett, E. Marschner, and M. Shaded. VHDL - The Language. In IEEE Design and Test of Computers, pages 28-41, April 1986.
8. Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1), 1991.
9. n DFT. IEEE Trans. ASSP, ASSP-34(1):91-95, February 1986.
10. Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291-1000, USA. Available online from ftp://cse.ogi.edu/pub/tech-reports/ README.html.
11. Walid Taha. Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology, 1999. Available from [10].
12. Walid Taha, Stephan Ellner, and Hongwei Xi. Generating Imperative, Heap-Bounded Programs in a Functional Setting. In Proceedings of the Third International Conference on Embedded Software, Philadelphia, PA, October 2003.
13. Walid Taha and Michael Florentin Nielsen. Environment classifiers. In The Symposium on Principles of Programming Languages (POPL '03), New Orleans, 2003.
14. Donald E. Thomas and Philip R. Moorby. The Verilog Hardware Description Language. Kluwer Academic Publishers, 3rd edition, 1996.