1368 search results - page 95 / 274 » UXnet: making connections |
167
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
205
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
A wide class of geometry processing and PDE resolution methods needs to solve a linear system, where the non-zero pattern of the matrix is dictated by the connectivity matrix of th...
153
click to vote
HPDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we describe Maestro, a dataflow computation framework for Ibis, our Java-based grid middleware. The novelty of Maestro is that it is a self-organizing peer-to-peer s...
195
click to vote
ALGOSENSORS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
177
click to vote
ANTSW
2004
Springer
15 years 10 months ago
2004
Springer
This paper addresses the design of control policies for groups of up to 16 simple autonomous mobile robots (called s-bots) for the cooperative transport of heavy objects of differe...