Formally correct translation of DSP algorithms specified in an asynchronous applicative language.

Markus Freericks, Alois C. Knoll

Browse the full ICASSP paper archive.