×

Found 234 Documents (Results 1–100)

A near time-optimal population protocol for self-stabilizing leader election on rings with a poly-logarithmic number of states. (English) Zbl 07824304

Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 2-12 (2023).
MSC:  68M14 68W15

Optimal space lower bound for deterministic self-stabilizing leader election algorithms. (English) Zbl 07832765

Bramas, Quentin (ed.) et al., 25th international conference on principles of distributed systems, OPODIS 2021, Strasbourg, France, December 13–15, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 217, Article 24, 12 p. (2022).
MSC:  68M14 68M20

Efficient assignment of identities in anonymous populations. (English) Zbl 07832753

Bramas, Quentin (ed.) et al., 25th international conference on principles of distributed systems, OPODIS 2021, Strasbourg, France, December 13–15, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 217, Article 12, 21 p. (2022).
MSC:  68M14 68M20

Reaching consensus for asynchronous distributed key generation. (English) Zbl 07824214

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 363-373 (2021).
MSC:  68M14 68W15

Time-optimal self-stabilizing leader election in population protocols. (English) Zbl 07824180

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 33-44 (2021).
MSC:  68M14 68W15

On implementing stabilizing leader election with weak assumptions on network dynamics. (English) Zbl 07824179

Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 21-31 (2021).
MSC:  68M14 68W15

Brief announcement: fast graphical population protocols. (English) Zbl 07774294

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 43, 4 p. (2021).
MSC:  68M14 68W15

Time-optimal loosely-stabilizing leader election in population protocols. (English) Zbl 07774291

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 40, 17 p. (2021).
MSC:  68M14 68W15

Singularly near optimal leader election in asynchronous networks. (English) Zbl 07774278

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 27, 18 p. (2021).
MSC:  68M14 68W15

Lower bounds for shared-memory leader election under bounded write contention. (English) Zbl 07774255

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 4, 17 p. (2021).
MSC:  68M14 68W15

Scalable and secure computation among strangers: message-competitive Byzantine protocols. (English) Zbl 1540.68024

Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 31, 19 p. (2020).

Singularly optimal randomized leader election. (English) Zbl 1540.68037

Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 22, 18 p. (2020).

Communication efficient self-stabilizing leader election. (English) Zbl 07760500

Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 11, 19 p. (2020).

Brief announcement: Self-stabilizing systems in spite of high dynamics. (English) Zbl 07323193

Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM). 227-229 (2020).
MSC:  68M14 68W15

Deterministic leader election in programmable matter. (English) Zbl 1503.68071

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 140, 14 p. (2019).

Loosely-stabilizing leader election with polylogarithmic convergence time. (English) Zbl 07561458

Cao, Jiannong (ed.) et al., 22nd international conference on principles of distributed systems, OPODIS 2018, December 17–19, 2018, Hong Kong, China. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 125, Article 30, 16 p. (2019).
MSC:  68M14 68M20
Full Text: DOI

Brief announcement: Logarithmic expected-time leader election in population protocol model. (English) Zbl 07298655

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 60-62 (2019).
MSC:  68M14 68W15

Anonymous read/write memory: leader election and de-anonymization. (English) Zbl 1534.68027

Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11639, 246-261 (2019).
MSC:  68M14 68W15

Arbitrary pattern formation by asynchronous opaque robots with lights. (English) Zbl 1432.68553

Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11639, 109-123 (2019).

Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. (English) Zbl 1522.68293

Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 409-424 (2019).

An almost tight RMR lower bound for abortable test-and-set. (English) Zbl 1497.68043

Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 21, 19 p. (2018).

Beeping a deterministic time-optimal leader election. (English) Zbl 1497.68042

Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 20, 17 p. (2018).
Full Text: DOI

Selecting a leader in a network of finite state machines. (English) Zbl 1497.68031

Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 4, 17 p. (2018).
MSC:  68M14 68Q10 68Q45

Shape formation by programmable particles. (English) Zbl 1478.68017

Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 31, 16 p. (2018).
MSC:  68M14 68Q10 68W15
Full Text: DOI

Simple and efficient leader election. (English) Zbl 1433.68053

Seidel, Raimund (ed.), 1st symposium on simplicity in algorithms. SOSA 2018, January 7–10, 2018, New Orleans, LA, USA. Co-located with the 29th ACM-SIAM symposium on discrete algorithms (SODA 2018). Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 61, Article 9, 11 p. (2018).
MSC:  68M14 68M12
Full Text: DOI

Brief announcement: Fast approximate counting and leader election in populations. (English) Zbl 1517.68049

Lotker, Zvi (ed.) et al., Structural information and communication complexity. 25th international colloquium, SIROCCO 2018, Ma’ale HaHamisha, Israel, June 18–21, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11085, 38-42 (2018).
Full Text: DOI

Leader election in SINR model with arbitrary power control. (English) Zbl 1437.68023

Das, Shantanu (ed.) et al., Structural information and communication complexity. 24th international colloquium, SIROCCO 2017, Porquerolles, France, June 19–22, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10641, 3-14 (2017).

Brief announcement: Population protocols for leader election and exact majority with \(O(\log^{2} n)\) states and \(O(\log^{2}n)\) convergence time. (English) Zbl 1380.68036

Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 451-453 (2017).
MSC:  68M14 68M12
Full Text: DOI

Ignore or comply? On breaking symmetry in consensus. (English) Zbl 1380.68034

Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 335-344 (2017).
MSC:  68M14 68M12

Brief announcement: Leader election in SINR model with arbitrary power control. (English) Zbl 1380.68052

Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 203-205 (2017).
MSC:  68M14 68M10 68W15
Full Text: DOI

Exponential separations in the energy complexity of leader election. (English) Zbl 1369.68049

Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 771-783 (2017).
MSC:  68M14

On the power of oracle \(\varOmega ?\) for self-stabilizing leader election in population protocols. (English) Zbl 1425.68027

Bonakdarpour, Borzoo (ed.) et al., Stabilization, safety, and security of distributed systems. 18th international symposium, SSS 2016, Lyon, France, November 7–10, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10083, 20-35 (2016).
MSC:  68M12 68M14
Full Text: DOI

Time vs. information tradeoffs for leader election in anonymous trees. (English) Zbl 1410.68058

Krauthgamer, Robert (ed.), Proceedings of the 27th annual ACM-SIAM symposium on discrete algorithms, SODA 2016, Arlington, VA, USA, January 10–12, 2016. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 600-609 (2016).
MSC:  68M14 68Q25 68W15
Full Text: DOI

Leader election in unreliable radio networks. (English) Zbl 1388.68016

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 138, 14 p. (2016).
Full Text: DOI

Communicating with beeps. (English) Zbl 1380.68017

Anceaume, Emmanuelle (ed.) et al., 19th international conference on principles of distributed systems, OPODIS 2015, Rennes, France, December 14–17, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-98-9). LIPIcs – Leibniz International Proceedings in Informatics 46, Article 30, 16 p. (2016).
MSC:  68M10

The benefits of entropy in population protocols. (English) Zbl 1380.68031

Anceaume, Emmanuelle (ed.) et al., 19th international conference on principles of distributed systems, OPODIS 2015, Rennes, France, December 14–17, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-98-9). LIPIcs – Leibniz International Proceedings in Informatics 46, Article 21, 15 p. (2016).
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software