79 search results - page 9 / 16 » Verifying Reference Counting Implementations |
POPL
2009
ACM
14 years 4 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
SIGMETRICS
2004
ACM
14 years 3 months ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
- We propose a near optimal hardware architecture for deblocking filter in H.264/MPEG-4 AVC. We propose a novel filtering order and a data reuse strategy that result in significant...
COMPGEOM
2001
ACM
14 years 1 months ago
2001
ACM
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
CONCURRENCY
2010
13 years 10 months ago
2010
Over the past decade the number of processors in the high performance facilities went up to hundreds of thousands. As a direct consequence, while the computational power follow th...