Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego.

Waheed Ahmad, Jaco van de Pol

Browse the full ISoLA paper archive.