1631 search results - page 1 / 327 » Uniform Distributed Synthesis |
LICS
2005
IEEE
13 years 10 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
CLIMA
2010
13 years 6 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
FSTTCS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we present a reduced order inodeling methodology, based on the utilization of optimal non-uniform grids generated by Gaussian spectral rules, for the direct passive...
INFOCOM
2006
IEEE
13 years 10 months ago
2006
IEEE
— This paper investigates theoretical aspects of the uneven energy depletion phenomenon recently noticed in sink-based wireless sensor networks. We consider uniformly distributed...