1133 search results - page 1 / 227 » Modeling and Control of Distributed Asynchronous Computation... |
IPPS
1992
IEEE
14 years 1 months ago
1992
IEEE
DAC
1996
ACM
14 years 1 months ago
1996
ACM
We offer a technique to partition a centralized control-flow graph to obtain distributed control in the context of asynchronous highlevel synthesis. The technique targets Huffman-...
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
ICMAS
1998
13 years 10 months ago
1998
In this paper, a model is proposed for multi-agent probabilistic reasoning in a distributed environment. Unlike other methods, this model is capable of processing input in a truly...
LATIN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...