318 search results - page 31 / 64 » Garbage-first garbage collection |
123
click to vote
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
129
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
116
click to vote
MPC
2010
Springer
15 years 6 months ago
2010
Springer
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
175
click to vote
POPL
2001
ACM
16 years 1 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
117
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
In NAND flash-based storage systems, an intermediate software layer called a flash translation layer (FTL) is usually employed to hide the erase-before-write characteristics of NA...