13 research outputs found
A score function for state of charge profiles for rechargeable batteries
We propose a new score function to compare and evaluate the relative impact of state-of-charge profiles on overall battery lifetime. Our score function, based on on a discrete Fourier transform of the state-of-charge profile, formalizes and generalizes earlier ideas found in the literature, and can form an important help in optimizing overall life time for battery powered systems. In this paper we introduce and illustrate the method, and discuss its merits as well as open issues and related literature
Formalisation and analysis of Dalvik bytecode
With the large, and rapidly increasing, number of smartphones based on the Android platform, combined with the open nature of the plat-form that allows “apps” to be downloaded and executed on the smartphone, misbehaving and malicious (malware) apps is set to become a serious prob-lem. To counter this problem, automated tools for analysing and verifying apps are essential. Further, to ensure high-fidelity of such tools, we believe that it is essential to formally specify both semantics and analyses. In this paper we present the first (to the best of our knowledge) formalisation of the Dalvik bytecode language and formally specified control flow analysis for the language. To determine which features to include in the formalisation and analysis, 1,700 Android apps from the Android Market were downloaded and examined