5269 search results - page 696 / 1054 » Operating system resource management |
168
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
The ease of deployment of battery-powered and mobile systems is pushing the network edge far from powered infrastructures. A primary challenge in building untethered systems is of...
190
click to vote
QEST
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
205
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Peer-to-peer systems have emerged as a popular way to share huge volumes of data. The usability of these systems depends on effective techniques to find and retrieve data; howeve...
150
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Cyberinfrastructures bring together distributed resources to support scientific discoveries. Cyberinfrastructures currently under development are intended to enable the cooperativ...
267
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Data management is growing in complexity as largescale applications take advantage of the loosely coupled resources brought together by grid middleware and by abundant storage cap...