TPHOL
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
ASPLOS
2010
ACM
15 years 3 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
EUROSYS
2007
ACM
15 years 5 months ago
2007
ACM
Virtual memory has been successfully used in diļ¬erent domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
67
Voted
OSDI
2006
ACM
15 years 9 months ago
2006
ACM
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performa...