External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Rajesh Kumar Thakur, Y. N. Srikant. Efficient Compilation of Stream Programs for Heterogeneous Architectures: A Model-Checking based approach. In Henk Corporaal, Sander Stuijk, editors, Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, Sankt Goar, Germany, June 1-3, 2015. pages 38-47, ACM, 2015. [doi]

Authors

Rajesh Kumar Thakur

This author has not been identified. Look up 'Rajesh Kumar Thakur' in Google

Y. N. Srikant

This author has not been identified. Look up 'Y. N. Srikant' in Google
runs on