×

Found 147 Documents (Results 1–100)

Set agreement and renaming in the presence of contention-related crash failures. (English) Zbl 1519.68015

Izumi, Taisuke (ed.) et al., Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11201, 269-283 (2018).
MSC:  68M14 68M15 68W15
PDFBibTeX XMLCite
Full Text: DOI

Clairvoyant state machine replications. (English) Zbl 1519.68014

Izumi, Taisuke (ed.) et al., Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11201, 254-268 (2018).
MSC:  68M14 68M12 68M15
PDFBibTeX XMLCite
Full Text: DOI

Reliable broadcast in dynamic networks with locally bounded Byzantine failures. (English) Zbl 1519.68007

Izumi, Taisuke (ed.) et al., Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11201, 170-185 (2018).
MSC:  68M10 68M15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bee’s strategy against Byzantines. Replacing Byzantine participants (extended abstract). (English) Zbl 1519.68018

Izumi, Taisuke (ed.) et al., Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11201, 139-153 (2018).
MSC:  68M14 68M15 68W15
PDFBibTeX XMLCite
Full Text: DOI

Self-stabilization and Byzantine tolerance for maximal matching. (English) Zbl 1519.68019

Izumi, Taisuke (ed.) et al., Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11201, 80-95 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Fault-tolerant consensus with an abstract MAC layer. (English) Zbl 1497.68048

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 38, 20 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fast multidimensional asymptotic and approximate consensus. (English) Zbl 1497.68045

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 27, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Multi-shot distributed transaction commit. (English) Zbl 1497.68038

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 14, 18 p. (2018).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

Algorithms for noisy broadcast with erasures. (English) Zbl 1499.68037

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 153, 12 p. (2018).
MSC:  68M14 68M15 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Byzantine gathering in polynomial time. (English) Zbl 1499.68032

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 147, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Uniform mixed equilibria in network congestion games with link failures. (English) Zbl 1499.68029

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 146, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

A polynomial-time approximation algorithm for all-terminal network reliability. (English) Zbl 1499.68406

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 68, 12 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Formalizing monitoring processes for large-scale distributed systems using abstract state machines. (English) Zbl 1461.68035

Cerone, Antonio (ed.) et al., Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4–5, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10729, 153-167 (2018).
MSC:  68M14 68M15 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Quantifying the resiliency of fail-operational real-time networked control systems. (English) Zbl 1497.68063

Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 106, Article 16, 24 p. (2018).
MSC:  68M20 68M15 93B70
PDFBibTeX XMLCite
Full Text: DOI

Exploring graphs with time constraints by unreliable collections of mobile robots. (English) Zbl 1444.68015

Tjoa, A Min (ed.) et al., SOFSEM 2018: theory and practice of computer science. 44th international conference on current trends in theory and practice of computer science, Krems, Austria, January 29 – February 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10706, 381-395 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Robust data-driven fault detection in dynamic process environments using discrete event systems. (English) Zbl 1455.68034

Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer. 73-116 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Efficient oracles and routing schemes for replacement paths. (English) Zbl 1487.68051

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 13, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Synthesis of distributed algorithms with parameterized threshold guards. (English) Zbl 1487.68252

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 32, 20 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Hardening Cassandra against Byzantine failures. (English) Zbl 1487.68044

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 27, 20 p. (2018).
MSC:  68M14 68M15 94A60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient and modular consensus-free reconfiguration for fault-tolerant storage. (English) Zbl 1487.68027

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 26, 17 p. (2018).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Treasure hunt with barely communicating agents. (English) Zbl 1487.68042

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 14, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

piChain: when a blockchain meets Paxos. (English) Zbl 1487.68034

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 2, 13 p. (2018).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

One net fits all. A unifying semantics of dynamic fault trees using GSPNs. (English) Zbl 1427.68156

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 272-293 (2018).
MSC:  68Q55 68M15 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Congestion minimization for multipath routing via multiroute flows. (English) Zbl 1433.68068

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 3, 12 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Lower bounds for searching robots, some faulty. (English) Zbl 1428.68165

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 447-453 (2018).
MSC:  68Q17 68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Silence. (English) Zbl 1428.68072

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 285-294 (2018).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

Brief announcement: Asynchronous secure distributed computing with transferrable non-equivocation revisited. (English) Zbl 1428.68059

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 265-267 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Optimal gossip algorithms for exact and approximate quantile computations. (English) Zbl 1428.68383

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 179-188 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Recoverable mutual exclusion under system-wide failures. (English) Zbl 1428.68070

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 17-26 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Paxos consensus, deconstructed and abstracted. (English) Zbl 1418.68017

Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 912-939 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A typing discipline for statically verified crash failure handling in distributed systems. (English) Zbl 1418.68019

Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 799-826 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Mixed fault tolerance in server assignment: combining reinforcement and backup. (English) Zbl 1517.68063

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, 249-263 (2018).
PDFBibTeX XMLCite
Full Text: DOI

A characterization of \(t\)-resilient colorless task anonymous solvability. (English) Zbl 1517.68043

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, 178-192 (2018).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

On the strongest message adversary for consensus in directed dynamic networks. (English) Zbl 1517.68035

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, 102-120 (2018).
MSC:  68M10 68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

Crash-tolerant consensus in directed graph revisited (extended abstract). (English) Zbl 1517.68040

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, 55-71 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Message-efficient self-stabilizing transformer using snap-stabilizing quiescence detection. (English) Zbl 1517.68413

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, 20-24 (2018).
MSC:  68W15
PDFBibTeX XMLCite
Full Text: DOI

Checking sequence generation for symbolic input/output FSMs by constraint solving. (English) Zbl 1518.68349

Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 354-375 (2018).
MSC:  68T20 68M15 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. (English) Zbl 1398.68032

Lecture Notes in Computer Science 11201. Cham: Springer (ISBN 978-3-030-03231-9/pbk; 978-3-030-03232-6/ebook). xiii, 410 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Asymptotically optimal in reliability circuits in two bases under failures of \(0\) \((k-1)\) type at the outputs of elements. (English. Russian original) Zbl 1430.94116

Russ. Math. 62, No. 5, 1-9 (2018); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2018, No. 5, 3-12 (2018).
MSC:  94C12 68M15 94C05
PDFBibTeX XMLCite
Full Text: DOI

Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model. (English. Russian original) Zbl 1484.68026

J. Comput. Syst. Sci. Int. 57, No. 3, 420-433 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2018, No. 3, 76-89 (2018).
MSC:  68M15
PDFBibTeX XMLCite
Full Text: DOI

Minimization of multicast traffic and ensuring its fault tolerance in software-defined networks. (English. Russian original) Zbl 1484.68024

J. Comput. Syst. Sci. Int. 57, No. 3, 407-419 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2018, No. 3, 64-75 (2018).
MSC:  68M12 68M15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software