601 search results - page 70 / 121 » Lattice-based memory allocation |
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Maintaining object-oriented systems that use inheritance and polymorphism is difficult, since runtime information, such as which methods are actually invoked at a call site, is n...
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a parallel job scheduling approach for coarsegrain timesharing which preempts jobs to disk and avoids any additional memory pressure. The approach provides con...
AADEBUG
1997
Springer
13 years 12 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
SERP
2007
13 years 9 months ago
2007
Escape analysis can improve the speed and memory efficiency of garbage collected languages by allocating objects to the call stack, but an offline analysis will potentially interf...