1053 search results - page 14 / 211 » Shape as Memory Storage |
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
IEAAIE
2007
Springer
14 years 4 months ago
2007
Springer
Recently, mobile devices are regarded as a content storage with their functions such as camera, camcorder, and music player. It creates massive new data and downloads contents from...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—As flash memory became popular over various platforms, there is a strong demand on the performance degradation problem, due to the special characteristics of flash mem...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
APLAS
2001
ACM
14 years 1 months ago
2001
ACM
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...