• Suche: "Distributed algorithms"

Treffer 181 - 200 von 47.121

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⟩

Logic Verification Specification Data Data values First-order …
Dissertation
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten
183

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

Verification Distributed algorithms ddc:004
Konferenz
Zu den Favoriten
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

Fachzeitschrift
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten
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... …
Zeitschrift
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten
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...
Konferenz
Zu den Favoriten
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
Buch
Zu den Favoriten
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... …
Fachzeitschrift
Zu den Favoriten
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)
Fachzeitschrift
Zu den Favoriten
192

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

Computer Science - Distr...
Report
Zu den Favoriten
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
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten
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... …
Fachzeitschrift
Zu den Favoriten
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 …
Konferenz
Zu den Favoriten
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...
Zeitschrift
Zu den Favoriten
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

Fachzeitschrift
Zu den Favoriten
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... …
Fachzeitschrift
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter