1410 search results - page 41 / 282 » A Logic for Virtual Memory |
MTDT
1999
IEEE
15 years 4 months ago
1999
IEEE
Continuing improvements in semiconductor fabrication density are enabling new classes of System-on-aChip architectures that combine extensive processing logic and high-density mem...
FM
2009
Springer
15 years 6 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
PPPJ
2004
ACM
15 years 5 months ago
2004
ACM
This paper shows that it is possible to dramatically reduce the memory consumption of classes loaded in an embedded Java virtual machine without reducing its functionalities. We d...
109
click to vote
ASPLOS
1992
ACM
15 years 3 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
106
click to vote
AICCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
Poor memory management leads to memory leaks, which cause significant performance degradation and failure of software. If ignored, such leaks can potentially cause security breach...