2468 search results - page 308 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
128
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time st...
120
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: The evolution and structuring of plant communities is governed by local plant-to-plant interaction. It has been shown that the individual variability of the organisms and the spa...
113
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
148
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
Massively multicore processors, like, for example, Graphics Processing Units (GPUs), provide, at a comparable price, a one order of magnitude higher peak performance than traditio...
143
click to vote
MST
2010
14 years 10 months ago
2010
We consider the important problem of energy balanced data propagation in wireless sensor networks and we extend and generalize previous works by allowing adaptive energy assignment...