Relating FFTW and Split-Radix-Reference-Cited by-同舟云学术

Relating FFTW and Split-Radix

Published:2005 Issue: Volume: Page:488-493
ISSN:0302-9743
Container-title:Embedded Software and Systems
language:
Short-container-title:

Author:

Kiselyov Oleg,Taha Walid

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11535409_71.pdf

Reference14 articles.

1. Boehm, W., Hammes, J., Draper, B., Chawathe, M., Ross, C., Rinker, R., Najjar, W.: Mapping a single assignment programming language to reconfigurable systems. Supercomputing 21, 117–130 (2002)

2. Cousot, P., Cousot, R.: 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, pp. 238–252. ACM, New York (1977)

3. Frigo, M.: A fast Fourier transform compiler. In: Proceedings of the Conference on Programming Language Design and Implementation, pp. 169–180 (1999)

4. Burrus, C.S., Selesnick, I.W.: Automatic generation of prime length FFT programs. IEEE Transactions on Signal Processing, 14–24 (January 1996)

5. Kiselyov, O., Swadi, K., Taha, W.: A methodology for generating verified combinatorial circuits. In: The International Workshop on Embedded Software (EMSOFT 2004), Pisa, Italy. LNCS. Springer, Heidelberg (2004) (to appear)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MetaOCaml: Ten Years Later;Lecture Notes in Computer Science;2024

2. Metaprogramming with combinators;Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2021-10-17

3. FFT Program Generation for Ring LWE-Based Cryptography;Advances in Information and Computer Security;2021

4. Reasoning about multi-stage programs;Journal of Functional Programming;2016

5. Spiral in scala;ACM SIGPLAN Notices;2014-03-05