6 citations · 13 across the 5 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016★ 5 cited
A Source-level Energy Optimization Framework for Mobile Applications
Xueliang Li, John P. Gallagher
Energy efficiency can have a significant influence on user experience of mobile devices such as smartphones and tablets. Although energy is consumed by hardware, software optimizat…
cs.LO2016
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis
John P. Gallagher, Philipp Rümmer
This volume contains the proceedings of HCVS 2016, the Third Workshop on Horn Clauses for Verification and Synthesis which was held on April 3, 2016 in Eindhoven, The Netherlands a…