Showing 181 - 200 of 47,126

181

Local first order logic with data : toward specification of distributed algorithms
Logiques locale du premier ordre avec données : vers la specification d'algorithmes distribués

Stietel, Olivier ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité) ; et al.
Computer Science [cs]. Université Paris Cité, 2023. English. ⟨NNT : 2023UNIP7358⟩

Multiset Distributed Satisfiability Data-multiset First-order Data values
Dissertation/ Thesis
Save to List
182

Discrete-time distributed algorithms for solving linear equations via layered coordination.
Wang, Bo ; Li, Jinghao
International Journal of Systems Science. Feb2025, Vol. 56 Issue 3, p638-657. 20p.

PROBLEM solving LINEAR equations ELECTRICAL load DATA integration FLOW simulations
Academic journal
Save to List
183

Distributed Algorithms: A Challenging Playground for Model Checking (Invited Talk)
Bertrand, Nathalie ; Nathalie Bertrand

Verification Distributed algorithms ddc:004
Conference
Save to List
184

Distributed algorithms with linear convergence for aggregative games over time-varying networks
Rui Zhu ; Fuyong Wang ; Zhongxin Liu ; et al.
Expert Systems with Applications. 273:126768

Academic journal
Save to List
185

Accommodating Strategic Players in Distributed Algorithms for Power Dispatch Problems
Sijie Chen ; Chengke Xu ; Zheng Yan ; et al.
IEEE Transactions on Cybernetics. 52:12594-12603

Dopamine 0211 other engineering a... 0202 electrical engineer... Computer Simulation 02 engineering and techn... Algorithms
Academic journal
Save to List
186

OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms (extended version)
Mahamdi, Celia ; Lejeune, Jonathan ; Sopena, Julien ; et al.
Formal Aspects of Computing. 36:1-23

Phase-based distributed... Phase-based distributed... message aggregation experimental evaluation Paxos [INFO.INFO-NI]Computer S...
Journal
Save to List
187

Fisher markets with linear constraints: Equilibrium properties and efficient distributed algorithms.
Jalota, Devansh ; Pavone, Marco ; Qi, Qi ; et al.
Games & Economic Behavior. Sep2023, Vol. 141, p223-260. 38p.

DISTRIBUTED algorithms MARKET equilibrium EQUILIBRIUM PRICES RESOURCE allocation BUDGET
Academic journal
Save to List
188

Transience Bounds for Distributed Algorithms
Charron-Bost, Bernadette ; Függer, Matthias ; Nowak, Thomas ; et al.
FORMATS 2013 - 11th International Conference Formal Modeling and Analysis of Timed Systems. :77-90

Buenos Aires, Argentina [INFO.INFO-DM]Computer S... Discrete Mathematics [cs...
Conference
Save to List
189

Learning Equilibria in Games by Stochastic Distributed Algorithms
Bournez, Olivier ; Cohen, Johanne ; Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; et al.
Gelenbe. :31-38

[SCCO.COMP]Cognitive sci... Computer science
Book
Save to List
190

An automata-theoretic approach to the verification of distributed algorithms
Aiswarya, Cyriac ; Bollig, Benedikt ; Gastin, Paul ; et al.
Information and Computation. 259:305-327

distributed algorithms FOS: Computer and inform... Computer Science - Logic... Formal Languages and Aut... leader election Computer Science - Forma...
Academic journal
Save to List
191

Peer-to-Peer Distributed Algorithms for Wide-Area Monitoring and Control in Power Systems.
Musca, Rossano ; Riva Sanseverino, Eleonora
Energies (19961073); Aug2025, Vol. 18 Issue 15, p3972, 17p

DISTRIBUTED algorithms ELECTRIC power systems FEEDBACK control systems PEER-to-peer architectur... INERTIA (Mechanics)
Academic journal
Save to List
192

Secured Distributed Algorithms Without Hardness Assumptions
Barenboim, Leonid ; Levin, Harel

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

Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
Liu, Yanhong A. ; Stoller, Scott D.
RV 2020: Proceedings of the 20th International Conference on Runtime Verification. LNCS 12399. Pages 47-66. Springer

Computer Science - Softw... Computer Science - Distr...
Report
Save to List
194

Distributed Algorithms for Verifying and Ensuring Strong Connectivity of Directed Networks
Gusrialdi Azwirman ; Atman Made Widhi Surya ; Tampere University ; et al.
2021 60th IEEE Conference on Decision and Control (CDC). :4798-4803

213 Electronic, automati... 0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Academic journal
Save to List
195

Refinement-based Construction of Correct Distributed Algorithms
Méry, Dominique ; Méry, Dominique
2021 Second International Conference on Information Systems and Software Technologies (ICI2ST). :46-53

[INFO.INFO-LO] Computer... Distributed algorithm Mutual exclusion [INFO.INFO-SE] Computer... 0202 electrical engineer... [INFO.INFO-DS] Computer...
Academic journal
Save to List
196

Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms
Bertrand, Nathalie ; Thomas, Bastien ; Widder, Josef ; et al.

Theory of computation →... Theory of computation →... Domain theory Verification Distributed algorithms ddc:004
Conference
Save to List
197

Model Checking of Distributed Algorithms using Synchronous Programs
Jahier, Erwan ; Altisen, Karine ; Devismes, Stéphane ; et al.
Theoretical Computer Science. :115292-115292

Self-stabilization Synchronous programming Model-checking [INFO.INFO-DC]Computer S... Distributed, Parallel, a...
Journal
Save to List
198

Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review
Fakhfakh, Faten ; Tounsi, Mohamed ; Mosbah, Mohamed ; et al.
In Procedia Computer Science 2018 126:1551-1560

Academic journal
Save to List
199

Guest Editorial: Special Issue on Security and Privacy of Distributed Algorithms and Network Systems: Special Issue on Security and Privacy of Distributed Algorithms and Network Systems
Francesco Bullo ; Jianping He ; Fabio Pasqualetti ; et al.
IEEE Transactions on Automatic Control. 65:3725-3727

Optimization Control systems 0209 industrial biotechn... Privacy Security Special issues and secti...
Academic journal
Save to List
200

Efficient Distributed Algorithms for Minimum Spanning Tree in Dense Graphs
MohammadHossein Bateni ; Morteza Monemzadeh ; Kees Voorintholt
2022 IEEE International Conference on Data Mining Workshops (ICDMW). :777-786

0202 electrical engineer... 0102 computer and inform... 02 engineering and techn... 01 natural sciences
Academic journal
Save to List

Filter