Showing 101 - 120 of 47,121

101

An Extension of PlusCal for Modeling Distributed Algorithms
Alkayed, Heba ; Cirstea, Horatiu ; Merz, Stephan ; et al.
TLA+ Community Event 2020, Oct 2020, Freiburg (online), Germany

Freiburg (online), Germa... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Conference
Save to List
103

From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
Cohen, Johanne ; Manoussakis, George ; Pilard, Laurence ; et al.
25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. :114-120

Nancy, France [INFO]Computer Science [... [INFO.INFO-CC]Computer S... Computational Complexity... [INFO.INFO-DM]Computer S... Discrete Mathematics [cs...
Conference
Save to List
104

Memory-Optimization for Self-Stabilizing Distributed Algorithms
Optimisation de la mémoire pour les algorithmes distribués auto-stabilisants

Le Bouder, Gabriel ; DistributEd aLgorithms and sYStems (DELYS) ; LIP6 ; et al.
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS002⟩

Distributed algorithms Self-Stabilization Memory-Optimization Algorithmes distribués Tolérance aux pannes Auto-stabilisation
Dissertation/ Thesis
Save to List
105

Energy-Efficient Distributed Algorithms for Synchronous Networks
Fraigniaud, Pierre ; Montealegre, Pedro ; Rapaport, Ivan ; et al.

Computer Science - Distr...
Report
Save to List
106

On the h-majority dynamics with many opinions
d'Amore, Francesco ; d'Archivio, Niccolò ; Giakkoupis, George ; et al.
39th International Symposium on Distributed Computing (DISC 2025), European Association for Theoretical Computer Science (EATCS), Oct 2025, Berlin, Germany. ⟨10.4230/LIPIcs.DISC.2025.27⟩

Berlin, Germany Consensus Problem Networks → Network proto... Applied computing → Syst... Mathematics of computing... Mathematics of computing...
Conference
Save to List
107

Descriptive combinatorics and distributed algorithms
Bernshteyn, Anton

Mathematics - History an... Computer Science - Distr... Computer Science - Discr... Mathematics - Combinator... Mathematics - Logic
Report
Save to List
108

Asynchronous Activity Detection for Cell-Free Massive MIMO: From Centralized to Distributed Algorithms
Li, Yang ; Lin, Qingfeng ; Liu, Ya-Feng ; et al.

Computer Science - Infor... Electrical Engineering a...
Report
Save to List
109

Distributed algorithms for modern communication networks
Götte, Thorsten ; Götte, Thorsten

Electronic Resource
Save to List
110

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

Academic journal
Save to List
111

A structured methodology for designing distributed algorithms for mobile entities
Cicerone, Serafino ; Di Stefano, Gabriele ; Navarra, Alfredo
Information Sciences. 574:111-132

Mobile entities Asynchrony Pattern formation 0202 electrical engineer... Distributed algorithms Asynchrony, Distributed...
Academic journal
Save to List
112

Distributed Algorithms for Average Consensus of Input Data With Fast Convergence
Xie, Kan ; Cai, Qianqian ; Zhang, Zhaorong ; et al.
IEEE Transactions on Systems, Man, and Cybernetics: Systems. 51:2653-2664

distributed algorithms 0209 industrial biotechn... networked control 0203 mechanical engineer... average consensus 02 engineering and techn...
Academic journal
Save to List
113

Distributed Algorithms for Spectral and Energy-Efficiency Maximization of K-User Interference Channels
Mohammad Soleymani ; Ignacio Santamaria ; Peter J. Schreier ; et al.
IEEE Access, 2021, 9, 96948-96963
UCrea Repositorio Abierto de la Universidad de Cantabria
Universidad de Cantabria (UC)
IEEE Access, Vol 9, Pp 96948-96963 (2021)

Sum-rate maximization Global energy efficiency majorization minimizatio... energy-efficiency region 02 engineering and techn... SIMO systems
Academic journal
Save to List
114

Development of fertilizer-distributed algorithms based on crop growth models
Doyun Kim ; Yejin Lee ; Tae-Young Heo
Korean Journal of Applied Statistics. 36:619-629

Academic journal
Save to List
115

Distributed Algorithms for Edge-Agreements: More than Consensus
Ayush Rai ; Shaoshuai Mou
2023 62nd IEEE Conference on Decision and Control (CDC). :4417-4422

Academic journal
Save to List
116

Distributed Algorithms for Boolean Equations Over Networks
Hongsheng Qi ; Bo Li ; Rui-Juan Jing ; et al.
IEEE Transactions on Automatic Control. 68:6589-6604

0209 industrial biotechn... 0203 mechanical engineer... 02 engineering and techn...
Academic journal
Save to List
117

Comparison of scalable distributed algorithms for assessing the kNNG in multi-GPU
Gabriel Orlando ; Hermes Senger ; Murilo Naldi
Anais do XXIV Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD 2023). :97-108

Academic journal
Save to List
118

Analysis of Distributed Algorithms for Big-Data
null Rajendra Purohit, K R Chowdhary, S D Purohit
Tuijin Jishu/Journal of Propulsion Technology. 44:671-679

0203 mechanical engineer... 02 engineering and techn...
Academic journal
Save to List
119

Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis
Arian Baloochestani ; Leander Jehl
2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS). :1-7

Academic journal
Save to List
120

Automatic Generation of Distributed Algorithms with Generative AI
Vaz, Diogo ; Matos, David R. ; Pardal, Miguel L. ; et al.
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S)

Academic journal
Save to List

Filter