5149 search results - page 406 / 1030 » Timed Asynchronous Distributed Systems |
132
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
139
Voted
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Even after carefully tuning the memory characteristics to the application properties and the processor speed, during the execution of real applications there are times when the pr...
161
click to vote
PODC
1994
ACM
15 years 9 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...
167
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
168
Voted
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Parallelizing compiler technology has improved in recent years. One area in which compilers have made progress is in handling DOACROSS loops, where crossprocessor data dependencie...