1714 search results - page 138 / 343 » Abstract Models of Memory Management |
141
click to vote
SERVICEWAVE
2010
15 years 1 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 ...
119
Voted
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
108
click to vote
BCSHCI
2009
15 years 4 months ago
2009
This paper is about the evolution of a system prototype called Pensieve whose goal is to support people's reminiscing practices. A number of technologies exist to manage memo...
117
click to vote
AAAI
1994
15 years 4 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
146
Voted
TMM
2010
14 years 10 months ago
2010
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...