903 search results - page 60 / 181 » Using Library Dependencies for Clustering |
SERP
2003
13 years 9 months ago
2003
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
ENTCS
2008
13 years 8 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
TIP
2010
13 years 6 months ago
2010
—Many registration scenarios involve aligning more than just two images. These image sets—called ensembles—are conventionally registered by choosing one image as a template, ...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, we address the problem of establishing full connectivity and satisfying required traffic capacity between disconnected clusters in large wireless ad-hoc ground n...
ISPDC
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a load-balancing technique that exploits the temporal coherence, among successive computation phases, in mesh-like computations to be mapped on a cluster of processors....