Filters








78,599 Hits in 5.7 sec

The Power of Global Knowledge on Self-stabilizing Population Protocols [article]

Yuichi Sudo, Masahiro Shibata, Junya Nakamura, Yonghwan Kim, Toshimitsu Masuzawa
2020 arXiv   pre-print
In this paper, we investigate the effect of global knowledge on the possibility of self-stabilizing population protocols in arbitrary graphs.  ...  However, global knowledge, such as the number of nodes in a network, sometimes allows us to design a self-stabilizing protocol for such problems.  ...  This fact and the above propositions show how powerful this kind of global knowledge is when we design self-stabilizing population protocols.  ... 
arXiv:2003.07491v2 fatcat:hrdah26wfzepff73g5ad5nom4m

Stabilizing Tiny Interaction Protocols [article]

Davide Canepa, Maria Gradinariu Potop-Butucaru
2010 arXiv   pre-print
Our work shows that the agent paradigm is an elegant distributed tool for achieving self-stabilization in Tiny Interaction Protocols (TIP).  ...  Nevertheless, in order to reach the full power of classical self-stabilizing algorithms more complex classes of agents have to be considered (e.g. agents with memory, identifiers or communication skills  ...  Another problem addressed in the classical model of population protocols is the self-stabilizing token circulation. This problem has been addressed only in non-uniform population protocols [2] .  ... 
arXiv:0806.3471v2 fatcat:odfdkntoifb5dmcfol4t2rucre

A Combinatorial Characterization of Self-Stabilizing Population Protocols [article]

Shaan Mathur, Rafail Ostrovsky
2020 arXiv   pre-print
We fully characterize self-stabilizing functions in population protocols for complete interaction graphs.  ...  Our main contribution is in the converse, where we construct a self-stabilizing protocol for all other functions that meet this characterization.  ...  Many self-stabilizing population protocol constructions besides those from [3] tend to augment the model with additional properties to achieve self-stabilization.  ... 
arXiv:2010.03869v2 fatcat:wf5f5b4z2fahfjdayqbjazpgju

Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs [chapter]

Joffroy Beauquier, Peva Blanchard, Janna Burman
2013 Lecture Notes in Computer Science  
This paper considers the fundamental problem of self-stabilizing leader election (SSLE) in the model of population protocols.  ...  Finally, we prove that there is no self-stabilizing implementation of Ω? using SSLE, in a sense we dene precisely.  ...  Given a problem P (resp. an oracle Θ), a population protocol A is a self-stabilizing solution to P (resp. self-stabilizing implementation of Θ) if it is non-initialized and it is a solution to the stabilizing  ... 
doi:10.1007/978-3-319-03850-6_4 fatcat:kjbeehwqvjemrchhzozvnh2qre

Loosely-stabilizing leader election in a population protocol model

Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
2012 Theoretical Computer Science  
Although self-stabilizing protocols show excellent fault-tolerance against any transient faults (e.g. memory crash), designing self-stabilizing protocols is difficult and, what is worse, might be impossible  ...  To show the effectiveness and feasibility of this new concept, we present a probabilistic loosely-stabilizing leader election protocol in the Probabilistic Population Protocol (PPP) model of complete networks  ...  Actually, their proposed protocol solves the self-stabilizing leader election with that knowledge and O(log n) memory space of each agent.  ... 
doi:10.1016/j.tcs.2012.01.007 fatcat:knfqbyna3zez5ikwd3ug72mcyy

Strategically Leapfrogging Education in Prehospital Trauma Management: Four-Tiered Training Protocols

Rohit Abraham, Dinesh Vyas, Mayur Narayan, Arpita Vyas
2015 American Journal of Robotic Surgery  
The innovative pedagogy of this trauma education program utilizes MOOC for global scalability and a "train-the-trainer" approach for exponential growth-both components help fast developing countries reach  ...  Traditional trauma training protocols-such as Advanced Trauma Life Support (ATLS), International Trauma Life Support (ITLS), and Basic Life Support (BLS)-have failed to produce an effective prehospital  ...  densely populated user bases.  ... 
doi:10.1166/ajrs.2015.1022 pmid:27419222 pmcid:PMC4941789 fatcat:qy5lfd3wwfhwppnbbowz2plpaq

Exploring the interdisciplinary connections of gossip-based systems

Paolo Costa, Vincent Gramoli, Márk Jelasity, Gian Paolo Jesi, Erwan Le Merrer, Alberto Montresor, Leonardo Querzoni
2007 ACM SIGOPS Operating Systems Review  
In this position paper we describe a number of areas that show parallels with gossip protocols. These example areas will hopefully serve as inspiration for future research.  ...  In addition, we believe that comparisons with other fields also helps clarify the definition of gossip protocols and represents a necessary first step towards an eventual formal definition.  ...  We will now give an example of a gossip protocol that has no fix-point. Similar to a self-stabilizing protocol, the ranking protocol [19] solves a global problem.  ... 
doi:10.1145/1317379.1317388 fatcat:5wzxk4wumzgzfdf7wecl6x5sxm

Self-stabilizing Population Protocols [chapter]

Dana Angluin, James Aspnes, Michael J. Fischer, Hong Jiang
2006 Lecture Notes in Computer Science  
Self-stabilization in a model of anonymous, asynchronous interacting agents deployed in a network of unknown size is considered.  ...  Constant-space protocols are given for leader election in rings, local-addressing in degree-bounded graphs, and establishing consistent global direction in an undirected ring.  ...  There are impossibility results and space bounds on self-stabilizing leader election in general rings in various other models [3, 8] .  ... 
doi:10.1007/11795490_10 fatcat:ojvtg73gzvcmfggr2wnqwc6mhm

Self-stabilizing population protocols

Dana Angluin, James Aspnes, Michael J. Fischer, Hong Jiang
2008 ACM Transactions on Autonomous and Adaptive Systems  
Self-stabilization in a model of anonymous, asynchronous interacting agents deployed in a network of unknown size is considered.  ...  Constant-space protocols are given for leader election in rings, local-addressing in degree-bounded graphs, and establishing consistent global direction in an undirected ring.  ...  There are impossibility results and space bounds on self-stabilizing leader election in general rings in various other models [3, 8] .  ... 
doi:10.1145/1452001.1452003 fatcat:7inf6oo7vvhn7kyvbe6yw66m2u

Space-Optimal Population Protocols for Uniform Bipartition Under Global Fairness

Hiroto YASUMI, Fukuhito OOSHITA, Ken'ichi YAMAGUCHI, Michiko INOUE
2019 IEICE transactions on information and systems  
We study the problem under global fairness with various assumptions: 1) a population with or without a base station, 2) symmetric or asymmetric protocols, and 3) designated or arbitrary initial states.  ...  protocol model.  ...  [8] proposed a self-stabilizing leader election protocol with knowledge of n, and proved that knowledge of n is necessary to construct a self-stabilizing leader election protocol, where n is the number  ... 
doi:10.1587/transinf.2018fcp0009 fatcat:rytc4cgd4jbnnhhknkgupgtfy4

A self-stabilizing transformer for population protocols with covering

Joffroy Beauquier, Janna Burman, Shay Kutten
2011 Theoretical Computer Science  
Population protocols is a model that was introduced recently for networks with a large number of resource-limited mobile agents. We use a variant of this model.  ...  In this paper, we propose an automatic transformer for algorithms in an extended population protocol model.  ...  However, to the best of our knowledge, up to now, none was suggested for the model of population protocols.  ... 
doi:10.1016/j.tcs.2010.09.016 fatcat:kctz23pi5ff4dekchgrpljeony

A Cross-Layer Architecture for Autonomic Communications [chapter]

M. A. Razzaque, Simon Dobson, Paddy Nixon
2006 Lecture Notes in Computer Science  
Autonomic communication is the vision of next-generation networking which will be a self-behaving system with properties such as self-healing, self-configuration, self-organization, selfoptimization and  ...  One obvious shortcoming of the strict layering is the lack of information sharing between protocol layers.  ...  plane populated using our gossiping technique.  ... 
doi:10.1007/11880905_3 fatcat:sbmgqqvl5bbg7hgnu5ug6ztmn4

Cross-Layer Architectures for Autonomic Communications

Mohammad Abdur Razzaque, Simon Dobson, Paddy Nixon
2007 Journal of Network and Systems Management  
Autonomic communication is the vision of next-generation networking which will be a self-behaving system with properties such as self-healing, self-configuration, self-organization, selfoptimization and  ...  One obvious shortcoming of the strict layering is the lack of information sharing between protocol layers.  ...  plane populated using our gossiping technique.  ... 
doi:10.1007/s10922-006-9051-8 fatcat:67qma45fl5adfbrib4vsk4aupe

Time-optimal Loosely-stabilizing Leader Election in Population Protocols [article]

Yuichi Sudo, Ryota Eguchi, Taisuke Izumi, Toshimitsu Masuzawa
2020 arXiv   pre-print
In pragmatic settings of population protocols, self-stabilization is a highly desired feature owing to its fault resilience and the benefit of initialization freedom.  ...  We consider the leader election problem in population protocol models.  ...  We can discard the assumption of exact-n-knowledge by slightly relaxing the requirement of self-stabilization, that is, by taking an approach called loose-stabilization.  ... 
arXiv:2005.09944v1 fatcat:tz4wj5mjznczrlejglu5n554me

Global Risks and Collective Action Failures: What Can the International Community Do?

Inci Otker-Robe
2014 IMF Working Papers  
cooperation and effectiveness of global efforts, even when knowledge on the risks and their consequences are well understood.  ...  The paper argues that managing global risks requires a cohesive international community that enables its stakeholders to work collectively around common goals by facilitating sharing of knowledge, devoting  ...  Climate change continues to trouble global leaders and populations, despite substantial knowledge on the dangers of inaction.  ... 
doi:10.5089/9781498396554.001 fatcat:mlj7nyd5k5h7pmgz7culvinjwq
« Previous Showing results 1 — 15 out of 78,599 results