Treffer 1 - 20 von 47.121

1

Extending PlusCal for Modeling Distributed Algorithms
Cirstea, Horatiu ; Merz, Stephan ; Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) ; et al.
18th International Conference on Integrated Formal Methods (iFM 2023). :321-340

Leiden, Netherlands Formal modeling and veri... distributed algorithms model checking temporal logic TLA
Konferenz
Zu den Favoriten
2

The R(1)W(1) Communication Model for Self-Stabilizing Distributed Algorithms
Kakugawa, Hirotsugu ; Kamei, Sayaka ; Shibata, Masahiro ; et al.

Distributed, Parallel, a...
Report
Zu den Favoriten
3

Exponential Quantum Advantage for Message Complexity in Distributed Algorithms
Gall, François Le ; Luce, Maël ; Marchand, Joseph ; et al.

Quantum Physics Distributed, Parallel, a...
Report
Zu den Favoriten
4

Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms
Bertrand, Nathalie ; Thomas, Bastien ; Widder, Josef ; et al.
Concur 2021 - International Conference on Concurrency Theory. :1-17

Paris, France Theory of computation →... Theory of computation →... Distributed algorithms Domain theory [INFO]Computer Science [...
Konferenz
Zu den Favoriten
5

Distributed Algorithms for Multi-Agent Multi-Armed Bandits with Collision
Zhou, Daoyuan ; Wang, Xuchuang ; Yang, Lin ; et al.

Machine Learning
Report
Zu den Favoriten
6

PyLTA: A Verification Tool for Parameterized Distributed Algorithms
Thomas, Bastien ; Sankur, Ocan ; SUpervision of large MOdular and distributed systems (SUMO) ; et al.
TACAS 2023 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. :28-35

Paris, France [INFO]Computer Science [...
Konferenz
Zu den Favoriten
7

Distributed Algorithms for Potential Problems
Balliu, Alkida ; Boudier, Thomas ; d'Amore, Francesco ; et al.

Distributed, Parallel, a...
Report
Zu den Favoriten
8

Task Allocation in Distributed Computing Systems using Localized Distributed Algorithms
Dorian Minarolli ; Hakik Paci
WSEAS TRANSACTIONS ON COMPUTER RESEARCH. 13:574-592

Fachzeitschrift
Zu den Favoriten
9

Stochastic Analysis of Average Based Distributed Algorithms
Mocquard, Yves ; Sericola, Bruno ; Robin, Frédérique ; et al.
Journal of Applied Probability. 58(2):394-410

Averaging stochastic pro... Interacting particle sys... Markov chain Coupling Distributed algorithms [INFO]Computer Science [...
Zeitschrift
Zu den Favoriten
10

Probabilistic non-asymptotic analysis of distributed algorithms
Champagnat, Nicolas ; Schott, René ; Villemonais, Denis ; et al.
Stochastic Analysis and Applications. 36(6):981-998

Distributed algorithms Deadlock Quasi-stationary distrib... [MATH.MATH-PR]Mathematic... Probability [math.PR] [INFO.INFO-DC]Computer S...
Zeitschrift
Zu den Favoriten
11

A declarative approach to specifying distributed algorithms using three-valued modal logic
Gabbay, Murdoch J. ; Zanolini, Luca

Computer Science - Logic... Mathematics - Logic 03B45, 03B50, 68Q60 F.4.1 F.3.1
Report
Zu den Favoriten
13

Improvisation of Crawling on Web Maps Using Distributed Algorithms with Socket Programming Model
Afis Asyrullah Pratama
J-KOMA : Jurnal Ilmu Komputer dan Aplikasi. 8:10-17

Fachzeitschrift
Zu den Favoriten
14

Online distributed algorithms for aggregative games with stochastic costs over time-varying networks
Yao, Yutian ; Lu, Kaihong ; Zhu, Qixin
International Journal of Control. :1-8

Fachzeitschrift
Zu den Favoriten
15

A Survey of Distributed Algorithms for Aggregative Games
Huaqing Li ; Jun Li ; Liang Ran ; et al.
IEEE/CAA Journal of Automatica Sinica. 12:859-871

Fachzeitschrift
Zu den Favoriten
16

Distributed Algorithms for Linear Equations Over General Directed Networks
Mengke Lian ; Zhenyuan Guo ; Xiaoxuan Wang ; et al.
IEEE Transactions on Neural Networks and Learning Systems. 36:9127-9135

Fachzeitschrift
Zu den Favoriten
17

Differentially Private Distributed Algorithms for Aggregative Games With Directed Communication Graphs
Kai-Yuan Guo ; Yan-Wu Wang ; Yun-Feng Luo ; et al.
IEEE Transactions on Automatic Control. 70:2652-2658

Fachzeitschrift
Zu den Favoriten
18

A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries
Bertrand, Nathalie ; Lazic, Marijana ; Widder, Josef ; et al.
VMCAI 2021 - 22nd International Conference on Verification. :219-239

Copenhagen, Denmark [INFO]Computer Science [...
Konferenz
Zu den Favoriten
19

Efficient Distributed Algorithms for Shape Reduction via Reconfigurable Circuits
Almalki, Nada ; Gupta, Siddharth ; Michail, Othon ; et al.

Computer Science - Distr...
Report
Zu den Favoriten
20

Model Checking of Distributed Algorithms using Synchronous Programs
Jahier, Erwan ; Altisen, Karine ; Devismes, Stéphane ; et al.

Jersey City, NJ, United... Model-checking Synchronous languages Self-stabilizing algorit... [INFO.INFO-DC]Computer S... Distributed, Parallel, a...
Konferenz
Zu den Favoriten

Filter