Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis.

Guus Kuiper, Philip S. Kurtin, Marco Jan Gerrit Bekooij

Browse the full SCOPES paper archive.