×

Found 188 Documents (Results 1–100)

Optimal algorithms for synchronous Byzantine \(k\)-set agreement. (English) Zbl 1522.68731

Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 24th international symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13751, 178-192 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Approximate evaluation of the efficiency of synchronous and self-timed methodologies in problems of designing failure-tolerant computing and control systems. (English. Russian original) Zbl 1489.93079

Autom. Remote Control 83, No. 2, 264-272 (2022); translation from Avtom. Telemekh. 2022, No. 2, 122-132 (2022).
MSC:  93C83 93C62 94C12
PDFBibTeX XMLCite
Full Text: DOI

Estimation of the probability density parameters of the interval duration between events in correlated semi-synchronous event flow of the second order by the method of moments. (English) Zbl 1455.90049

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 18th international conference, ITMM 2019, named after A. F. Terpugov, Saratov, Russia, June 26–30, 2019. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1109, 60-72 (2019).
MSC:  90B22 60K25 90B18
PDFBibTeX XMLCite
Full Text: DOI

Boolean networks: beyond generalized asynchronicity. (English) Zbl 1511.37017

Baetens, Jan M. (ed.) et al., Cellular automata and discrete complex systems. 24th IFIP WG 1.5 international workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10875, 29-42 (2018).
PDFBibTeX XMLCite
Full Text: DOI HAL

Tight bounds for connectivity and set agreement in Byzantine synchronous systems. (English) Zbl 1515.68072

Richa, Andréa W. (ed.), 31st international symposium on distributed computing, DISC 2017, Vienna, Austria, October 16–20, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 91, Article 35, 16 p. (2017).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems. (English) Zbl 1428.92008

Cinquemani, Eugenio (ed.) et al., Hybrid systems biology. 5th international workshop, HSB 2016, Grenoble, France, October 20–21, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9957, 97-112 (2016).
MSC:  92B20 92-08 92-04
PDFBibTeX XMLCite
Full Text: DOI Link HAL

Reaching approximate Byzantine consensus with multi-hop communication. (English) Zbl 1428.68082

Pelc, Andrzej (ed.) et al., Stabilization, safety, and security of distributed systems. 17th international symposium, SSS 2015, Edmonton, AB, Canada, August 18–21, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9212, 21-35 (2015).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

Fault-tolerant consensus in directed graphs. (English) Zbl 1333.68072

Proceedings of the 2015 ACM symposium on principles of distributed computing, PODC ’15, Donostia-San Sebastián, Spain, July 21–23, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3617-8). 451-460 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Towards optimal synchronous counting. (English) Zbl 1333.68066

Proceedings of the 2015 ACM symposium on principles of distributed computing, PODC ’15, Donostia-San Sebastián, Spain, July 21–23, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3617-8). 441-450 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Joint probability density of the intervals length of the modulated semi-synchronous integrated flow of events and its recurrence conditions. (English) Zbl 1333.90025

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. 13th international scientific conference, named after A. F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20–22, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-13670-7/pbk; 978-3-319-13671-4/ebook). Communications in Computer and Information Science 487, 18-25 (2014).
MSC:  90B22 90B18 62G07
PDFBibTeX XMLCite
Full Text: DOI

Balls-into-leaves, sub-logarithmic renaming in synchronous message-passing systems. (English) Zbl 1321.68488

Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 232-241 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Rendezvous of distance-aware mobile agents in unknown graphs. (English) Zbl 1416.68190

Halldórsson, Magnús M. (ed.), Structural information and communication complexity. 21st international colloquium, SIROCCO 2014, Takayama, Japan, July 23–25, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8576, 295-310 (2014).
MSC:  68T40 68R10 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Byzantine renaming in synchronous systems with \(t < N\). (English) Zbl 1323.68552

Proceedings of the 2013 ACM symposium on principles of distributed computing, PODC ’13, Montreal, QC, Canada, July 22–24, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2065-8). 210-219 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors. (English) Zbl 1323.68046

Proceedings of the 2013 ACM symposium on principles of distributed computing, PODC ’13, Montreal, QC, Canada, July 22–24, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2065-8). 166-175 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Byzantine vector consensus in complete graphs. (English) Zbl 1323.68037

Proceedings of the 2013 ACM symposium on principles of distributed computing, PODC ’13, Montreal, QC, Canada, July 22–24, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2065-8). 65-73 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Static analysis of run-time modes in synchronous process network. (English) Zbl 1336.68176

Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 55-67 (2012).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Bifurcations in Boolean networks. (English) Zbl 1323.94188

Fatès, Nazim (ed.) et al., Automata 2011. Selected papers based on the presentations at the 17th international workshop on cellular automata and discrete complex systems, Santiago, Chile, November 21–23, 2011. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 29-46, electronic only (2012).
MSC:  94C10
PDFBibTeX XMLCite
Full Text: arXiv Link

Brief announcement: Order-preserving renaming in synchronous message passing systems with Byzantine faults. (English) Zbl 1301.68157

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 233-234 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Parallel and distributed algorithms in P systems. (English) Zbl 1350.68110

Gheorghe, Marian (ed.) et al., Membrane computing. 12th international conference, CMC 2011, Fontainebleau, France, August 23–26, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28023-8/pbk). Lecture Notes in Computer Science 7184, 35-50 (2012).
MSC:  68Q05 68Q10 68W10 68W15
PDFBibTeX XMLCite
Full Text: DOI

Lucy-n: a n-synchronous extension of Lustre. (English) Zbl 1286.68086

Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 288-309 (2010).
MSC:  68N30 68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI HAL

An axiomatic approach to computing the connectivity of synchronous and asynchronous systems. (English) Zbl 1339.68307

Goubault, Eric (ed.), Proceedings of the workshops on geometric and topological methods in concurrency theory (GETCO 2004, 2005, 2006), Amsterdam, The Netherlands 2004, San Francisco, CA, USA 2005, Bonn, Germany 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 230, 79-102 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Optimum simultaneous consensus for general omissions is equivalent to an NP oracle. (English) Zbl 1261.68032

Keidar, Idit (ed.), Distributed computing. 23rd international symposium, DISC 2009, Elche, Spain, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04354-3/pbk). Lecture Notes in Computer Science 5805, 436-448 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Abstraction of clocks in synchronous data-flow systems. (English) Zbl 1286.68073

Ramalingam, G. (ed.), Programming languages and systems. 6th Asian symposium, APLAS 2008, Bangalore, India, December 9–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89329-5/pbk). Lecture Notes in Computer Science 5356, 237-254 (2008).
MSC:  68N30 68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Continuous consensus with failures and recoveries. (English) Zbl 1161.68345

Taubenfeld, Gadi (ed.), Distributed computing. 22nd international symposium, DISC 2008, Arcachon, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87778-3/pbk). Lecture Notes in Computer Science 5218, 408-422 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Vector controlled PMSM drive based on adaptive neuro-fuzzy speed controller. (English) Zbl 1115.93044

Huang, De-Shuang (ed.) et al., Intelligent control and automation. International conference on intelligent computing, ICIC 2006, Kunming, China, August 16–19, 2006. Berlin: Springer (ISBN 3-540-37255-5/pbk). Lecture Notes in Control and Information Sciences 344, 616-622 (2006).
MSC:  93C40 93C42 68T05
PDFBibTeX XMLCite

Communication-efficient leader election and consensus with limited link synchrony. (English) Zbl 1321.68098

Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC ’04, St. Johns, Newfoundland, Canada, July 25–28, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-802-4). 328-337 (2004).
MSC:  68M15 68M14 90B18
PDFBibTeX XMLCite
Full Text: DOI

The synchronous condition-based consensus hierarchy. (English) Zbl 1110.68345

Guerraoui, Rachid (ed.), Distributed computing. 18th international conference, DISC 2004, Amsterdam, The Netherlands, October 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23306-7/pbk). Lecture Notes in Computer Science 3274, 1-15 (2004).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

A distributed algorithm for max independent set problem based on Hopfield networks. (English) Zbl 1028.68592

Marinaro, Maria (ed.) et al., Neural nets. 13th Italian workshop, WIRN VIETRI 2002, Vietri sul Mare, Italy, May 30 - June 1, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2486, 64-74 (2002).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software