7557 search results - page 69 / 1512 » Modeling Timed Concurrent Systems |
106
click to vote
NETCOOP
2009
Springer
15 years 8 months ago
2009
Springer
The fundamental limits on channel capacity form a barrier to the sustained growth on the use of wireless networks. To cope with this, multi-path communication solutions provide a p...
116
click to vote
IPSN
2009
Springer
15 years 8 months ago
2009
Springer
As sensor networks mature, there will be an increasing need for re-usable, dynamically taskable software systems that support multiple concurrent applications. In this paper, we c...
105
click to vote
PODC
2010
ACM
15 years 5 months ago
2010
ACM
Mutual exclusion is a fundamental distributed coordination problem. Shared-memory mutual exclusion research focuses on local-spin algorithms and uses the remote memory references ...
107
click to vote
FOSSACS
2000
Springer
15 years 5 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
118
click to vote
KBSE
2006
IEEE
15 years 7 months ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...