595 search results - page 47 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
263
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
136
click to vote
ICCAD
2003
IEEE
16 years 9 days ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
180
click to vote
IPPS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...
132
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we propose a new, efficient logging protocol, called lazy logging, and a fast crash recovery protocol, called the prefetch-based crash recovery (PCR), for software ...
164
Voted
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
We propose a reduced algebraic cost based on pairwise epipolar constraints for the iterative refinement of a multiple view 3D reconstruction. The aim is to accelerate the intermedi...