4155 search results - page 476 / 831 » External Memory Algorithms |
159
click to vote
ISSAC
2007
Springer
16 years 26 days ago
2007
Springer
Through the use of a new disk-based method for enumerating very large orbits, condensation for orbits with tens of billions of elements can be performed. The algorithm is novel in...
192
click to vote
IWMM
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
158
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
178
click to vote
CGO
2006
IEEE
16 years 24 days ago
2006
IEEE
Multicluster architectures overcome the scaling problem of centralized resources by distributing the datapath, register file, and memory subsystem across multiple clusters connec...
138
click to vote
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, a high-level optimization methodology is applied for the implementation of the well-known Convolutional Face Finder (CFF) algorithm for real-time applications on ce...