1410 search results - page 225 / 282 » A Logic for Virtual Memory |
152
click to vote
SERVICEWAVE
2010
15 years 2 months ago
2010
Abstract. With the emergence of Cloud Computing resources of physical machines have to be allocated to virtual machines (VMs) in an ondemand way. However, the efficient allocation ...
142
click to vote
ADC
2010
Springer
14 years 11 months ago
2010
Springer
Twig joins are key building blocks in current XML indexing systems, and numerous algorithms and useful data structures have been introduced. We give a structured, qualitative anal...
113
click to vote
TIT
2010
14 years 11 months ago
2010
We study error-correcting codes for permutations under the infinity norm, motivated the rank-modulation scheme for flash memories. In this scheme, a set of n flash cells are combin...
131
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
200
click to vote
IWQOS
2011
Springer
14 years 7 months ago
2011
Springer
—Quality-of-service (QoS) management often requires a continuous monitoring service to provide updated information about different hosts and network links in the managed system. ...