157 search results - page 3 / 32 » Formal Methods for Dynamic Power Management |
DATE
2005
IEEE
13 years 11 months ago
2005
IEEE
When applying Dynamic Power Management (DPM) technique to pervasively deployed embedded systems, the technique needs to be very efficient so that it is feasible to implement the t...
EKAW
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
AFP
2008
Springer
13 years 11 months ago
2008
Springer
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
ACCESSNETS
2008
Springer
13 years 11 months ago
2008
Springer
This paper investigates the benefits of Dynamic Spectrum Management (DSM) in terms of reducing the power consumption and improving the data rates in digital-subscriber-line (DSL) ...
CDC
2010
IEEE
13 years 14 days ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...