666 search results - page 91 / 134 » Power analysis of embedded operating systems |
112
click to vote
ICFP
2012
ACM
13 years 5 days ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
119
click to vote
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
The memory hierarchy of a system can consume up to 50% of microprocessor system power. Previous work has shown that tuning a configurable cache to a particular application can red...
CP
2008
Springer
14 years 11 months ago
2008
Springer
When numerical CSPs are used to solve systems of n equations with n variables, the preconditioned interval Newton operator plays two key roles: First it allows handling the n equat...