79 search results - page 9 / 16 » Verifying Reference Counting Implementations |
103
click to vote
POPL
2009
ACM
15 years 8 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...
104
click to vote
SIGMETRICS
2004
ACM
15 years 6 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
15 years 7 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...
123
Voted
COMPGEOM
2001
ACM
15 years 4 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
15 years 1 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...