18469 search results - page 390 / 3694 » A Distributed Image-Understanding System |
191
click to vote
TRIDENTCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
– This paper presents a reliable decentralized mutual exclusion algorithm for distributed systems in which processes communicate by asynchronous message passing. When any failure...
192
click to vote
FTDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
237
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
206
click to vote
ISCAS
1999
IEEE
15 years 12 months ago
1999
IEEE
In switched dynamic system the continuous phase
ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...
221
click to vote
OPODIS
2003
15 years 9 months ago
2003
In this paper we present a framework to formally describe and study the interconnection of distributed shared memory systems. In our models we minimize the dependencies between the...