5269 search results - page 287 / 1054 » Operating system resource management |
158
click to vote
SIGOPS
2008
15 years 5 months ago
2008
Power management strategies for embedded systems typically rely on static, application driven deactivation of components (e.g. sleep, suspend), or on dynamic voltage and frequency...
192
click to vote
TPHOL
2007
IEEE
16 years 24 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
179
click to vote
ISLPED
2009
ACM
16 years 1 months ago
2009
ACM
Power management has been a critical issue in the design of embedded systems due to the limited power supply. To prolong the lifetime, energy minimization has been studied under p...
203
click to vote
SIGCOMM
2004
ACM
15 years 12 months ago
2004
ACM
We present a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building bloc...
181
click to vote
COMPUTER
2010
15 years 3 months ago
2010
Computational finance leverages computer technologies to build models from large amounts of data to extract insight. In today's networked world, the amount of data available t...