On runtime enforcement via suppressions
Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the behaviour specified by some correctness property on an executing system. The enforceability of a logic captures the extent to which the properties expressible via the logic can be enforced at runtime.
Vísindavaka Rannís
Á Vísindavöku gefst almenningi tækifæri til að kynna sér það fjölbreytta vísindastarf sem unnið er hér á landi.
Exploiting Dynamic Electricity Prices with an Energy-Aware Runtime System for Heterogeneous HPC Clusters
Speaker: Timo Hönig (Friedrich-Alexander University Erlangen-Nürnberg, Germany)