570 search results - page 25 / 114 » concurrency 2006 |
88
Voted
SENSYS
2006
ACM
15 years 3 months ago
2006
ACM
We undertake a systematic experimental study of the effects of concurrent packet transmissions in low-power wireless networks. Our measurements, conducted with Mica2 motes equippe...
66
Voted
INFSOF
2002
14 years 9 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
65
Voted
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
QEST
2006
IEEE
15 years 3 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...