Hybrid Spectral Transform Diagrams

  title={Hybrid Spectral Transform Diagrams},
  author={Edmund M. Clarke and Masahiro Fujita and Wolfgang Heinle},
We give a uniform algebraic framework for computing hybrid spectral transforms in an eecient manner. Based on properties of the Kronecker product, we derive a set of recursive equations, which leads naturally to an algorithm for computing such transforms eeciently. As a result, many applications of transforms like the Walsh transform and the Reed-Muller transform, which were previously impossible because of memory constraints, have now become feasible. The same set of recursive equations also… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 15 references

Symbolic modelchecking for probabilistic processes

  • M. Kwiatkowska, M. Ryan, E. Clarke, V. Hartonas-Garmhausen
  • Proceedings , ICALP ' 97
  • 1997

OKFDDS { algorithms , applications and extensions

  • M. A. Perkowski.
  • 1996

Algebraicdecision diagrams and their applications

  • G. D. Hachtel, A. Pardo
  • Proc . IEEE / ACM ICCAD '

E  cient representation andmanipulation of switching functions based on ordered Kronecker Functional Decision Diagrams

  • Y. Matsungara M. Fujita, T. Kakuda.

Similar Papers

Loading similar papers…