Efficient Compilation of Stream Programs for Heterogeneous Architectures: A Model-Checking based approach.

Rajesh Kumar Thakur, Y. N. Srikant

Browse the full SCOPES paper archive.