Showing 61 - 80 of 47,124

61

Refinement-based Construction of Correct Distributed Algorithms
Méry, Dominique ; Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) ; Max-Planck-Institut für Informatik (MPII) ; et al.
ICI2ST 2021 - 2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador. ⟨10.1109/ICI2ST51859.2021.00015⟩

Quito / Virtual, Ecuador verification Distributed algorithm Mutual exclusion Refinement [INFO.INFO-SE]Computer S...
Conference
Save to List
62

Differentially Private Distributed Algorithms for Aggregative Games With Guaranteed Convergence
Yongqiang Wang ; Angelia Nedić
IEEE Transactions on Automatic Control. 69:5168-5183

Academic journal
Save to List
63

Distributed algorithms with linear convergence for aggregative games over time-varying networks
Zhu, Rui ; Wang, Fuyong ; Liu, Zhongxin ; et al.
In Expert Systems With Applications 10 May 2025 273

Academic journal
Save to List
64

Characterizing Topological Assumptions of Distributed Algorithms in Dynamic Networks
Casteigts, Arnaud ; Chaumette, Serge ; Ferreira, Afonso ; et al.
16th International Colloquium on Structural Information and Communication Complexity (SIROCCO). :129-144

Piran, Slovenia Dynamic networks distributed algorithms evolving graphs local interactions topological assumptions
Conference
Save to List
65

Fisher markets with linear constraints: Equilibrium properties and efficient distributed algorithms
Jalota, Devansh ; Pavone, Marco ; Qi, Qi ; et al.
In Games and Economic Behavior September 2023 141:223-260

Academic journal
Save to List
67

Model checking randomized distributed algorithms
Bertrand, Nathalie ; SUpervision of large MOdular and distributed systems (SUMO) ; Centre Inria de l'Université de Rennes ; et al.
ACM SIGLOG News. 7(1):35-45

[INFO]Computer Science [...
Journal
Save to List
68

Real Acceleration of Communication Process in Distributed Algorithms with Compression
Tkachenko, Svetlana ; Andreev, Artem ; Beznosikov, Aleksandr ; et al.

Mathematics - Optimizati...
Report
Save to List
69

Cooperative Multi-agent Bandits: Distributed Algorithms with Optimal Individual Regret and Constant Communication Costs
Yang, Lin ; Wang, Xuchuang ; Hajiesmaili, Mohammad ; et al.

Computer Science - Machi... Computer Science - Artif... Statistics - Machine Lea...
Report
Save to List
70

On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
Völlinger, Kim ; Akili, Samira ; Humboldt State University (HSU) ; et al.
38th International Conference on Formal Techniques for Distributed Objects. :161-180

Madrid, Spain Certification Distributed algorithm Formal instance verifica... [INFO]Computer Science [... [INFO.INFO-NI]Computer S...
Conference
Save to List
71

Attack-resilient distributed algorithms for exponential Nash equilibrium seeking
Zhi Feng ; Xiwang Dong ; Guoqiang Hu ; et al.
Resilient Cooperative Control and Optimization of Multi-Agent Systems ISBN: 9780443329883

Book
Save to List
72

Guide to Distributed Algorithms: Design, Analysis and Implementation Using Python
K. Erciyes ; K. Erciyes
Undergraduate Topics in Computer Science ISBN: 9783031790171

Book
Save to List
74

Undirected (1+ 𝜀 )-shortest paths via minor-aggregates: near-optimal deterministic parallel and distributed algorithms
Rozhoň, Václav ; Grunau, Christoph ; Haeupler, Bernhard ; et al.
STOC 2022: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing
Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing

0102 computer and inform... 01 natural sciences Distributed algorithms Parallel algorithms Shortest path
Academic journal
Save to List
75

Expected Constant Round Byzantine Broadcast under Dishonest Majority.
Wan, Jun ; Xiao, Hanshen ; Shi, Elaine ; et al.
Journal of the ACM. Aug2025, Vol. 72 Issue 4, p1-39. 39p.

DISTRIBUTED computing CRYPTOGRAPHY DISTRIBUTED algorithms COMPUTATIONAL complexity DISTRIBUTED network prot...
Academic journal
Save to List
76

The distributed algorithms for the lower-bounded k-center clustering in metric space
Liang, Ting ; Wu, Xiaoliang ; Xu, Jinhui ; et al.
In Theoretical Computer Science 19 February 2025 1027

Academic journal
Save to List
77

Variance-reduced reshuffling gradient descent for nonconvex optimization: Centralized and distributed algorithms
Jiang, Xia ; Zeng, Xianlin ; Xie, Lihua ; et al.
In Automatica January 2025 171

Academic journal
Save to List
78

Online Multi-Resource Allocation for Network Slicing in 5G with Distributed Algorithms.
Tang, Xuebin
International Journal of Pattern Recognition & Artificial Intelligence. Jul2024, Vol. 38 Issue 9, p1-22. 22p.

INFRASTRUCTURE (Economic... 5G networks DISTRIBUTED algorithms BANDWIDTH allocation COMMUNICATION infrastruc... VIRTUAL networks
Academic journal
Save to List
79

Distributed algorithms for filling MIS vertices of an arbitrary graph by myopic luminous robots
Pramanick, Subhajit ; Samala, Sai Vamshi ; Pattanayak, Debasish ; et al.
In Theoretical Computer Science 2 November 2023 978

Academic journal
Save to List
80

Resource Allocation for Multi-Cell Multi-Timeslot Transmission: Centralized and Distributed Algorithms
Liqing Shan ; Songtao Gao ; Yiming Yu ; et al.
IEEE Transactions on Network and Service Management. 21:3021-3034

Academic journal
Save to List

Filter