Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs.
Panagiotis VekrisRanjit JhalaSorin LernerYuvraj AgarwalPublished in: HotPower (2012)
Keyphrases
- mobile applications
- mobile apps
- android platform
- mobile platforms
- android application
- development tools
- mobile devices
- software systems
- energy consumption
- energy minimization
- source code
- smart phones
- mobile platform
- sleep apnea
- model checking
- low energy
- sleep stage
- obstructive sleep apnea
- malware detection
- solar energy
- high energy
- fully functional
- minimum energy
- data sets
- user experience
- neural network