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]
Abstract is missing.