Sciweavers

225 search results - page 3 / 45
» The Future Fast Fourier Transform
Sort
View
124
Voted
CAIP
1999
Springer
145views Image Analysis» more  CAIP 1999»
15 years 8 months ago
Optimized Fast Algorithms for the Quaternionic Fourier Transform
Abstract. In this article, we deal with fast algorithms for the quaternionic Fourier transform (QFT). Our aim is to give a guideline for choosing algorithms in practical cases. Hen...
Michael Felsberg, Gerald Sommer
105
Voted
ISMVL
2002
IEEE
84views Hardware» more  ISMVL 2002»
15 years 8 months ago
The Role of Super-Fast Transforms in Speeding Up Quantum Computations
We present the role that spectral methods play in the development of the most impressive quantum algorithms, such as the polynomial time number factoring algorithm by Shor. While ...
Zeljko Zilic, Katarzyna Radecka
119
Voted
ERSHOV
2003
Springer
15 years 9 months ago
A Polymorphic Radix- n Framework for Fast Fourier Transforms
We provide a polymorphic framework for radix-n Fast Fourier Transforms (FFTs) where all known kinds of monomoporhic radix-n algorithms can be obtained by specialization. The framew...
Marcin Zalewski, Sibylle Schupp
127
Voted
IPPS
1998
IEEE
15 years 8 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa
127
Voted
FMSD
2002
114views more  FMSD 2002»
15 years 3 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa