Sciweavers

448 search results - page 1 / 90
» Playing With Population Protocols
Sort
View
CORR
2008
Springer
115views Education» more  CORR 2008»
13 years 5 months ago
Playing With Population Protocols
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement: A collection of anonymous ...
Olivier Bournez, Jérémie Chalopin, J...
MMM
2010
Springer
205views Multimedia» more  MMM 2010»
14 years 1 months ago
Characterizing Virtual Populations in Massively Multiplayer Online Role-Playing Games
Abstract. Understanding player distributions, sessions, and movements in a Massively Multiplayer Online Role-Playing Game (MMORPG) is essential for research in scalable architectur...
Daniel Pittman, Chris GauthierDickey
CAV
2009
Springer
176views Hardware» more  CAV 2009»
14 years 5 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
TASE
2009
IEEE
13 years 11 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
CEC
2003
IEEE
13 years 8 months ago
Playing in continuous spaces: some analysis and extension of population-based incremental learning
- As an alternative to traditional Evolutionary Algorithms (EAs), Population-Based Incremental Learning (PBIL) maintains a probabilistic model of the best individual(s). Originally...
Bo Yuan, Marcus Gallagher