1972 search results - page 190 / 395 » The Timed Asynchronous Distributed System Model |
186
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
175
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
153
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
161
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
Single-frequency simulcast networks use two or more Radio Base Stations (RBS) to transmit simultaneously the same signal on the same radio channel over the service area. To ens...
197
click to vote
CUZA
2002
15 years 6 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...