1410 search results - page 64 / 282 » A Logic for Virtual Memory |
108
click to vote
JVM
2004
15 years 1 months ago
2004
In this paper we establish a general framework for estimating the energy consumption of an embedded Java virtual machine (JVM). We have designed a number of experiments to find th...
114
click to vote
DSN
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...
124
click to vote
PE
2010
Springer
14 years 6 months ago
2010
Springer
Accurately characterizing the resource usage of an application at various levels in the memory hierarchy has been a long-standing research problem. Existing characterization studi...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
We propose a technique for compressing test vectors. The technique reduces test application time and tester memory requirements by utilizing part of the predecessor response in co...
120
click to vote
FMCO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...