1714 search results - page 250 / 343 » Abstract Models of Memory Management |
134
click to vote
VLSID
2003
IEEE
16 years 3 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
122
click to vote
HPCA
2006
IEEE
16 years 3 months ago
2006
IEEE
Transactional memory (TM) provides an easy-to-use and high-performance parallel programming model for the upcoming chip-multiprocessor systems. Several researchers have proposed a...
114
click to vote
WOSP
2010
ACM
15 years 10 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
122
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
132
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...