activity
20032026
most citedResource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

38 citations · 117 across the 39 of their papers we have counts for

collaborators
Showing 2016 · cs.DCShow all

1 paper · 2 filters

cs.DC2016

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks

Umer Liqat, Zorana Bankovic, Pedro Lopez-Garcia +1

The ever increasing number and complexity of energy-bound devices (such as the ones used in Internet of Things applications, smart phones, and mission critical systems) pose an imp…