Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
Sign Up to like & getrecommendations! Published in 2018 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068418000042
Abstract: Abstract Many applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We present a configurable framework for static resource usage verification where specifications can include data… read more here.
Keywords: resource usage; energy; framework; resource ... See more keywords
EasyPrivacy: Context-Aware Resource Usage Control System for Android Platform
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Access"
DOI: 10.1109/access.2018.2864992
Abstract: With the rapid development of the Android platform, numerous applications (apps) are developed to provide new or enhanced services using resources on mobile devices. On one hand, these apps can bring convenience for users in… read more here.
Keywords: resource usage; system; context; usage control ... See more keywords
Energy Management of Applications With Varying Resource Usage on Smartphones
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2018.2857323
Abstract: The split-screen mode in smartphones allows for the simultaneous side-by-side execution of multiple applications, which permits multitasking and improves users’ experience. However, such technology results in simultaneously running multiple foreground processes, which increases the power… read more here.
Keywords: resource usage; energy management; energy;
Longitudinal observations of expected and actual library resource usage and barriers experienced by public health students
Sign Up to like & getrecommendations! Published in 2020 at "Journal of the Medical Library Association : JMLA"
DOI: 10.5195/jmla.2020.691
Abstract: Objective: This longitudinal observational study explored relationships between actual and expected usage of library resources as well as anticipated and encountered barriers to that usage among public health affiliates over the course of a semester.… read more here.
Keywords: resource usage; library resource; public health; usage barriers ... See more keywords