*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 161 - 180 *of* 1*number_thousands_separator*005*number_thousands_separator*245

161

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*
162

*This result is not displayed to guests*

164

Distributed Proportional-Integral Algorithms for Multiple Coalition Games Under Limited Communication Resources
Liu, J. ; Wang, D. ; Dong, X.
IEEE Transactions on Signal and Information Processing over Networks IEEE Trans. on Signal and Inf. Process. over Networks Signal and Information Processing over Networks, IEEE Transactions on. 11:450-459 2025

*Academic Journal*
165

*This result is not displayed to guests*

166

Fully Distributed and Quantized Algorithm for MPC-based Autonomous Vehicle Platooning Optimization
Doostmohammadian, Mohammadreza ; Aghasi, Alireza ; Rabiee, Hamid R.

Electrical Engineering a... Computer Science - Multi... Electrical Engineering a... Mathematics - Optimizati...
*Report*
167

*This result is not displayed to guests*

168

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

*Academic Journal*
169

Control- Theoretic Distributed Algorithm for Solving Linear Equations: An Observer Perspective
Ding, Shufen ; Meng, Deyuan
2024 International Annual Conference on Complex Systems and Intelligent Science (CSIS-IAC) Complex Systems and Intelligent Science (CSIS-IAC) 2024 International Annual Conference on. :670-675 Sep, 2024

*Conference*
170

*This result is not displayed to guests*

171

Verifying Almost-Sure Termination for Randomized Distributed Algorithms.
Constantin Enea ; Rupak Majumdar ; Harshit Jitendra Motwani ; et al.
Proc. ACM Program. Lang.. 10(POPL):1412-1441

*Academic Journal*
172

Preparing low-variance states using a distributed quantum algorithm
Liu, Xiaoyu ; Schiffer, Benjamin F. ; Tura, Jordi
Quantum 9, 1838 (2025)

Quantum Physics
*Report*
173

A Cutting Plane-Based Distributed Algorithm for Non-Smooth Optimisation With Coupling Constraints
Tianyi Zhong ; David Angeli
IEEE Control Systems Letters. 8:1223-1228

Optimization Heuristic algorithms Approximation algorithms Linear approximation Estimation Distributed algorithms
*Academic Journal*
174

AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems
Vaz, Diogo ; Matos, David R. ; Pardal, Miguel L. ; et al.
2025 20th European Dependable Computing Conference Companion Proceedings (EDCC-C) EDCC-C Dependable Computing Conference Companion Proceedings (EDCC-C), 2025 20th European. :1-2 Apr, 2025

*Conference*
175

*This result is not displayed to guests*

176

Computing Least Fixed Points with Overwrite Semantics in Parallel and Distributed Systems
Garg, Vijay K. ; Garg, Rohan

Distributed, Parallel, a... Data Structures and Algo...
*Report*
177

ACapDS: An Energy-Efficient and Fault-Tolerant Distributed Capacitated Dominating Set Algorithm for Industrial IoT
Ozkan Arapoglu ; Umut Can Cabuk ; Orhan Dagdeviren ; et al.
IEEE Access, Vol 12, Pp 38816-38829 (2024)
IEEE access

Computer. Automation distributed algorithms 9. Industry and infrastr... Minimum Capacitated Domi... Fault Tolerance Industrial Internet of T...
*Academic Journal*
178

A Robust Distributed Nash Equilibrium Seeking Algorithm for Aggregative Games Under Byzantine Attacks
Zhao, Jishu ; Yi, Peng
2024 American Control Conference (ACC) American Control Conference (ACC), 2024. :863-868 Jul, 2024

*Conference*
179

*This result is not displayed to guests*

180

*This result is not displayed to guests*


*Filter*