225 search results - page 1 / 45 » Explicit Combinatorial Structures for Cooperative Distribute... |
ICDCS
2005
IEEE
14 years 17 days ago
2005
IEEE
SPIN
2004
Springer
14 years 9 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
IWOCA
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We analyze special random network models – so-called thickened trees – which are constructed by random trees where the nodes are replaced by local clusters. These obj...
COMPGEOM
2003
ACM
14 years 6 days ago
2003
ACM
We develop algorithms for computing the smallest enclosing ball of a set of n balls in d-dimensional space. Unlike previous methods, we explicitly address small cases (n ≤ d + 1...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— We describe a model for planar distributed assembly, in which agents move randomly and independently on a twodimensional grid, joining square blocks together to form a ...