Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guus Kuiper, Philip S. Kurtin, Marco Jan Gerrit Bekooij. Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis. In Sander Stuijk, editor, Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, Sankt Goar, Germany, June 12-13, 2017. pages 41-50, ACM, 2017. [doi]

This author has not been identified. Look up 'Guus Kuiper' in GoogleThis author has not been identified. Look up 'Philip S. Kurtin' in GoogleThis author has not been identified. Look up 'Marco Jan Gerrit Bekooij' in Google

runs on WebDSL