Testing multivariate linear functions: overcoming the generator bottleneck

  title={Testing multivariate linear functions: overcoming the generator bottleneck},
  author={F. Erg{\"u}n},
  booktitle={STOC '95},
  • F. Ergün
  • Published in STOC '95 1995
  • Computer Science
  • Self-testing programs are an approach to the problem of program correctness [BLR90]. One can construct selftesters by exploiting the set of properties that uniquely define the function and test that they hold at random inputs. The existing methods become more costly in the case of multivariate functions, since the number of such properties grows infeasibly large. In this paper we develop techniques for finding a much smaller set of such properties. These lead to more efficient testers for… CONTINUE READING
    7 Citations
    Self-Testing without the Generator Bottleneck
    • 10
    • PDF
    Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey
    • 19
    • PDF
    SPIRAL: Code Generation for DSP Transforms
    • 845
    • PDF
    A Modified Split-Radix FFT With Fewer Arithmetic Operations
    • S. Johnson, M. Frigo
    • Mathematics, Computer Science
    • IEEE Transactions on Signal Processing
    • 2007
    • 322
    • PDF
    A modified split-radix FFT with reduced arithmetic complexity
    • 5
    • PDF
    Implementing FFTs in Practice *
    • 33
    • PDF