2870 search results - page 429 / 574 » Synchronization of multi-agent systems |
153
click to vote
FSTTCS
2000
Springer
15 years 8 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
134
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
173
click to vote
NOSSDAV
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...
136
click to vote
MICRO
1991
IEEE
15 years 7 months ago
1991
IEEE
- We present techniques for exploiting parallelism extracted from loops on an MIMD system. Parallelism is exploited through parallel execution of instructions on multiple processor...
119
click to vote
CSR
2010
Springer
15 years 7 months ago
2010
Springer
We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite trees accepted by finite tree automata. We show that, contrary to shifts of...