2297 search results - page 134 / 460 » An Algorithm for Computing the Integral Closure |
MOC
2002
15 years 2 months ago
2002
An efficient algorithm is given for the resolution of relative Thue equations. The essential improvement is the application of an appropriate version of Wildanger's enumeratio...
53
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
A new FFT architecture for real-time implementation of large FFTs is presented. The architecture supports both, highthroughput and variable-length processing capabilities. The imp...
117
click to vote
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
A new VLSI architecture for real-time pipeline FFT processor is proposed. A hardware oriented radix-22 algorithm is derived by integrating a twiddle factor decomposition technique ...
111
click to vote
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
113
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...