1410 search results - page 62 / 282 » A Logic for Virtual Memory |
CONEXT
2008
ACM
15 years 1 months ago
2008
ACM
Virtual routers are a promising way to provide network services such as customer-specific routing, policy-based routing, multi-topology routing, and network virtulization. However...
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
ISCA
1997
IEEE
15 years 3 months ago
1997
IEEE
Portable systems demand energy efficiency in order to maximize battery life. IRAM architectures, which combine DRAM and a processor on the same chip in a DRAM process, are more en...
FUZZY
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we describe a distributed retrieval system for medical images based on a Human Centered Virtual Machine (HCVM). HCVM layered architecture allows indexing and retrieva...
IWMM
2000
Springer
15 years 3 months ago
2000
Springer
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...