1410 search results - page 13 / 282 » A Logic for Virtual Memory |
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
74
Voted
ICCD
2008
IEEE
15 years 6 months ago
2008
IEEE
— We use a novel virtualization-based approach for computer architecture performance analysis. We present a case study analyzing a hypothetical hybrid main memory, which consists...
80
Voted
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
64-bit address spaces come at the price of pointers requiring twice as much memory as 32-bit address spaces, resulting in increased memory usage. Increased memory usage is especia...
LFCS
2009
Springer
15 years 2 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
DI
2007
14 years 9 months ago
2007
All Windows memory analysis techniques depend on the examiner’s ability to translate the virtual addresses used by programs and operating system components into the true locatio...