Passively mobile communicating machines that use restricted space
We propose a new theoretical model for passively mobile Wireless Sensor Networks, called
PM, standing for Passively mobile Machines. The main modification wrt the Population …
PM, standing for Passively mobile Machines. The main modification wrt the Population …
[图书][B] New models for population protocols
Wireless sensor networks are about to be part of everyday life. Homes and workplaces
capable of self-controlling and adapting air-conditioning for different temperature and …
capable of self-controlling and adapting air-conditioning for different temperature and …
The complexity of verifying population protocols
Population protocols (Angluin et al. in PODC, 2004) are a model of distributed computation
in which indistinguishable, finite-state agents interact in pairs to decide if their initial …
in which indistinguishable, finite-state agents interact in pairs to decide if their initial …
The Expressive Power of Uniform Population Protocols with Logarithmic Space
P Czerner, V Fischer, R Guttenberg - arXiv preprint arXiv:2408.10027, 2024 - arxiv.org
Population protocols are a model of computation in which indistinguishable mobile agents
interact in pairs to decide a property of their initial configuration. Originally introduced by …
interact in pairs to decide a property of their initial configuration. Originally introduced by …
Protocols with constant local storage and unreliable communication
M Raskin - Theoretical Computer Science, 2023 - Elsevier
Population protocols are a model of distributed computation intended for the study of
networks of independent computing agents with dynamic communication structure. Each …
networks of independent computing agents with dynamic communication structure. Each …
All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated Population Protocol Model
This work focuses on the computational power of the Mediated Population Protocol model
on complete communication graphs and initially identical edges (SMPP). In particular, we …
on complete communication graphs and initially identical edges (SMPP). In particular, we …
Brief Announcement: The Expressive Power of Uniform Population Protocols with Logarithmic Space
P Czerner, V Fischer, R Guttenberg - … International Symposium on …, 2024 - drops.dagstuhl.de
Population protocols are a model of computation in which indistinguishable mobile agents
interact in pairs to decide a property of their initial configuration. Originally introduced by …
interact in pairs to decide a property of their initial configuration. Originally introduced by …
Computational models for networks of tiny artifacts: A survey
We survey here some recent computational models for networks of tiny artifacts. In particular,
we focus on networks consisting of artifacts with sensing capabilities. We first imagine the …
we focus on networks consisting of artifacts with sensing capabilities. We first imagine the …
Population protocols with unreliable communication
M Raskin - Algorithms for Sensor Systems: 17th International …, 2021 - Springer
Population protocols are a model of distributed computation intended for the study of
networks of independent computing agents with dynamic communication structure. Each …
networks of independent computing agents with dynamic communication structure. Each …
A totally distributed fair scheduler for population protocols by randomized handshakes
A population protocol is a computational model based on pairwise interactions and
designed for networks of passively mobile finite state agents. In the population protocol …
designed for networks of passively mobile finite state agents. In the population protocol …