Showing 121 - 140 of 47,121

121

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
Tom Baumeister ; Paul Eichler ; Swen Jacobs ; et al.
Lecture Notes in Computer Science ISBN: 9783031711619

FOS: Computer and inform... Computer Science - Distr... Distributed, Parallel, a...
Book
Save to List
122

A Strategy for Automatic Verification of Stabilization of Distributed Algorithms
Ghosh, Ritwika ; Mitra, Sayan ; University of Illinois at Urbana-Champaign [Urbana] (UIUC) ; et al.
35th International Conference on Formal Techniques for Distributed Objects. :35-49

Grenoble, France Measure Function Model Check Transition System Interaction Graph Small Model
Conference
Save to List
123

Undirected $(1+\varepsilon)$-Shortest Paths via Minor-Aggregates: Near-Optimal Deterministic Parallel & Distributed Algorithms
Rozhoň, Václav ; Grunau, Christoph ; Haeupler, Bernhard ; et al.

Computer Science - Data... Computer Science - Distr...
Report
Save to List
124

A Design Method of Distributed Algorithms via Discrete-time Blended Dynamics Theorem
Kim, Jeong Woo ; Lee, Jin Gyu ; Lee, Donggil ; et al.
Automatica, vol. 159, pp. 111371, Jan 2024

Electrical Engineering a...
Report
Save to List
125

One-shot distributed algorithms for addressing heterogeneity in competing risks data across clinical sites
Zhang, Dazheng ; Tong, Jiayi ; Stein, Ronen ; et al.
In Journal of Biomedical Informatics February 2024 150

Academic journal
Save to List
126

Quantum Distributed Algorithms for Detection of Cliques
Censor-Hillel, Keren ; Fischer, Orr ; Gall, François Le ; et al.

Computer Science - Data... Computer Science - Distr... Quantum Physics
Report
Save to List
127

Modeling and Proving Distributed Algorithms for Dynamic Graphs
Fakhfakh, Faten ; Tounsi, Mohamed ; Mosbah, Mohamed
In Future Generation Computer Systems July 2020 108:751-761

Academic journal
Save to List
128

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
Brandt, Sebastian ; Chang, Yi-Jun ; Grebík, Jan ; et al.

Logic Distributed, Parallel, a...
Report
Save to List
129

Differentially-private Distributed Algorithms for Aggregative Games with Guaranteed Convergence
Wang, Yongqiang ; Nedich, Angelia

Computer Science - Compu... Electrical Engineering a... Mathematics - Optimizati...
Report
Save to List
130

Improved Distributed Algorithms for the Lov\'asz Local Lemma and Edge Coloring
Davies, Peter

Computer Science - Distr... Computer Science - Data...
Report
Save to List
131

Verification by Construction of Distributed Algorithms
Méry, Dominique ; Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) ; Max-Planck-Institut für Informatik (MPII) ; et al.
Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium. :22-38

Mammamet, Tunisia Proof Assistant Verification · Distributed Algorithms... Refinement Correct-by-Construction...
Conference
Save to List
133

Quantum Distributed Algorithms for Approximate Steiner Trees and Directed Minimum Spanning Trees
Phillip A. Kerger ; David E. Bernal Neira ; Zoe Gonzalez Izquierdo ; et al.
2023 IEEE International Conference on Quantum Computing and Engineering (QCE). :1249-1259

Academic journal
Save to List
134

Resilient Distributed Algorithms for Exponential Nash Equilibrium Seeking
Zhi Feng ; Guoqiang Hu
2023 5th International Conference on Industrial Artificial Intelligence (IAI). :1-4

Academic journal
Save to List
135

Connectivity-preserving distributed algorithms for removing links in directed networks
Gusrialdi Azwirman ; Tampere University ; Automation Technology and Mechanical Engineering ; et al.
Network Science. 10:215-233

0209 industrial biotechn... 213 Electronic, automati... 0103 physical sciences 02 engineering and techn... 01 natural sciences
Academic journal
Save to List
136

This result is not available to guest users.

137

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

Machine Learning
Save to List
138

Asynchronous Activity Detection for Cell-Free Massive MIMO: From Centralized to Distributed Algorithms
Yang Li ; Qingfeng Lin ; Ya-Feng Liu ; et al.
IEEE Transactions on Wireless Communications. 22:2477-2492

Signal Processing (eess.... FOS: Computer and inform... 0508 media and communica... Computer Science - Infor... Information Theory (cs.I... 05 social sciences
Academic journal
Save to List
139

Peer-to-Peer Distributed Algorithms for Wide-Area Monitoring and Control in Power Systems
Rossano Musca ; Eleonora Riva Sanseverino
Energies, Vol 18, Iss 15, p 3972 (2025)

peer-to-peer distributed wide-area monitoring and... WAMC inertia estimation frequency control
Academic journal
Save to List
140

Efficient distributed algorithms for distance join queries in spark-based spatial analytics systems
Francisco García-García ; Antonio Corral ; Luis Iribarne ; et al.
riUAL. Repositorio Institucional de la Universidad de Almería
Universidad de Almería

0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List

Filter