7557 search results - page 37 / 1512 » Modeling Timed Concurrent Systems |
103
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
100
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
106
click to vote
DSRT
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
131
click to vote
RTCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
109
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...