Formal loop merging for signal transforms.

Franz Franchetti Yevgen Voronenko Markus Püschel

Published in: PLDI (2005)

Keyphrases

signal processing
high frequency
frequency domain
non stationary
formal model
region merging
signal detection
database
data sets
information systems
formal analysis
compressive sensing
formal models
white noise
formal language