Showing 41 - 60 of 19,931

41

Holistic Verification of Blockchain Consensus
Bertrand, Nathalie ; Gramoli, Vincent ; Konnov, Igor ; et al.
DISC 2022 - 36th International Symposium on Distributed Computing. :1-24

Augusta, United States 2012 ACM Subject Classif... Theory of computation →... automata logic byzantine failure
Conference
Save to List
42

Distributed alternating direction method of multipliers approach for the power distribution network reconfiguration
Mokhtari, Yacine ; Moulay, Emmanuel ; Coirault, Patrick ; et al.
Sustainable Energy. 43:101890-101890

Consensus Distributed algorithms Graphs Optimal transport [MATH.MATH-OC]Mathematic... Optimization and Control...
Journal
Save to List
43

An adaptive EKF‐SLAM algorithm for cooperative navigation of multi‐aircrafts.
Chen, Wei ; Jiang, Shan ; Cao, Jiarong ; et al.
IET Control Theory & Applications (Wiley-Blackwell). Dec2024, Vol. 18 Issue 18, p2823-2829. 7p.

ADAPTIVE filters DISTRIBUTED algorithms KALMAN filtering POSITION sensors MODEL airplanes
Academic journal
Save to List
44

Distributed fault detection for large‐scale interconnected systems.
Zhang, Jiarui ; Ding, Steven X. ; Zhang, Deyu ; et al.
IET Control Theory & Applications (Wiley-Blackwell). Nov2024, Vol. 18 Issue 17, p2347-2357. 11p.

FORECASTING DISTRIBUTED algorithms FAULT diagnosis SENSOR networks SIGNALS & signaling
Academic journal
Save to List
45

Communication-Efficient Nonparametric Quantile Regression via Random Features.
Wang, Caixing ; Li, Tao ; Zhang, Xinyi ; et al.
Journal of Computational & Graphical Statistics. Oct-Dec2024, Vol. 33 Issue 4, p1175-1184. 10p.

DISTRIBUTED computing REGRESSION analysis HILBERT space DISTRIBUTED algorithms DATA mapping QUANTILE regression
Academic journal
Save to List
46

Byzantine Auditable Atomic Register with Optimal Resilience
del Pozzo, Antonella ; Milani, Alessia ; Rapetti, Alexandre ; et al.
41st International Symposium on Reliable Distributed Systems (SRDS). :121-132

Vienna, Austria Byzantine Fault Tolerance Auditability distributed algorithms optimal resilience
Conference
Save to List
47

Parameterized safety verification of round-based shared-memory systems
Bertrand, Nathalie ; Markey, Nicolas ; Sankur, Ocan ; et al.
ICALP 2022 - International Colloquium on Automata. :1-32

Paris, France Model checking Distributed algorithms Parameterized models Verification [INFO.INFO-GT]Computer S...
Conference
Save to List
48

Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms
Bertrand, Nathalie ; Thomas, Bastien ; Widder, Josef ; et al.
Concur 2021 - International Conference on Concurrency Theory. :1-17

Paris, France Theory of computation →... Theory of computation →... Distributed algorithms Domain theory [INFO]Computer Science [...
Conference
Save to List
49

An energy saving approach
An energy saving approach: understanding microservices as multidimensional entities in p2p networks

Álvarez Valera, Hernán, H ; Dalmau, Marc ; Roose, Philippe ; et al.
The 36th ACM/SIGAPP Symposium On Applied Computing. :69-78

Virtual conference, Sout... Computing methodologies... Computer systems organiz... Computer systems organiz... power consumption energy consumption
Conference
Save to List
50

Uniform atomic broadcast and consensus in fully anonymous synchronous systems with crash failures.
Jiménez, Ernesto ; López-Presa, José Luis ; Patiño-Martínez, Marta
Computing. Jun2023, Vol. 105 Issue 6, p1165-1187. 23p.

BROADCASTING industry SECURITY systems SYSTEM failures DISTRIBUTED algorithms NUMBER systems
Academic journal
Save to List
51

Signal-Comparison-Based Distributed Estimation under Decaying Average Data Rate Communications: Signal-comparison-based distributed estimation under decaying average data rate communications
Jieming Ke ; Xiaodong Lu ; Yanlong Zhao ; et al.
SIAM Journal on Control and Optimization. 63:1129-1155

Estimation and detection... Stochastic approximation stochastic approximation FOS: Electrical engineer... Distributed algorithms Systems and Control (ees...
Academic journal
Save to List
52

ManufactSim: Manufacturing Line Simulation Using Heterogeneous Distributed Robots
Piranda, Benoit ; Gautam, Ishan ; Meyer, Jerome ; et al.
36th International Conference on Advanced Information Networking and Applications (AINA 2022). :130-140

Sydney, Australia Manufacturing Industry 4.0 Digital Twin Behavioral Simulator Distributed Algorithms
Conference
Save to List
53

Privacy Preserving Distributed Algorithm for Constrained Resource Allocation Problems with Communication Delays.
Duan, Yuzhu ; Wu, Wenwen ; Yang, Ziwen ; et al.
International Journal of Robust & Nonlinear Control. Mar2025, p1. 16p. 8 Illustrations.

COST functions DISTRIBUTED algorithms SMOOTHNESS of functions RESOURCE allocation COMMUNICATION barriers
Academic journal
Save to List
54

An effective multi-stage evolutionary algorithm for distributed scheduling with splitting jobs in heterogeneous factories.
Guo, Xin ; Deng, Qianwang ; Luo, Qiang ; et al.
Engineering Optimization. Mar2025, Vol. 57 Issue 3, p688-716. 29p.

EVOLUTIONARY algorithms DISTRIBUTED algorithms DISTRIBUTED computing INDUSTRIAL costs MATHEMATICAL models
Academic journal
Save to List
55

Adaptive Fuzzy Bipartite Time‐Varying Formation Tracking Control for Multiple Lagrangian Systems With Lumped Uncertainties via Finite‐Time Hierarchical Mechanism.
Wang, Shuang ; Han, Tao ; Xiao, Bo ; et al.
International Journal of Adaptive Control & Signal Processing. Feb2025, Vol. 39 Issue 2, p383-397. 15p.

ADAPTIVE fuzzy control DISTRIBUTED algorithms LYAPUNOV functions PRIOR learning TOPOLOGY TRACKING algorithms
Academic journal
Save to List
56

High-Performance Mobility Simulation: Implementation of a Parallel Distributed Message-Passing Algorithm for MATSim †.
Laudan, Janek ; Heinrich, Paul ; Nagel, Kai
Information. Feb2025, Vol. 16 Issue 2, p116. 26p.

PARALLEL programming DISTRIBUTED algorithms TRAFFIC flow ALGORITHMS PROTOTYPES
Academic journal
Save to List
57

Borel Vizing's theorem for graphs of subexponential growth.
Bernshteyn, Anton ; Dhawan, Abhishek
Proceedings of the American Mathematical Society. Jan2025, Vol. 153 Issue 1, p7-14. 8p.

DISTRIBUTED algorithms GRAPH coloring
Academic journal
Save to List
58

Efficient bounded timestamping from standard synchronization primitives
Bashari, Benyamin ; Jamadi, Ali ; Woelfel, Philipp
Distributed Computing. 38(3):297-335

Academic journal
Save to List
59

Distributed predefined-time dynamic weighted average tracking control for nonlinear multi-agent systems
Dai, Hao ; Su, Chuxiong ; Yan, Li ; et al.
Nonlinear Dynamics: An International Journal of Nonlinear Dynamics and Chaos in Engineering Systems. 113(15):19811-19828

Academic journal
Save to List
60

Topological Characterization of Consensus in Distributed Systems.
Nowak, Thomas ; Schmid, Ulrich ; Winkler, Kyrill
Journal of the ACM; Dec2024, Vol. 71 Issue 6, p1-48, 48p

ADMISSIBLE sets TOPOLOGY EXECUTIONS & executioner... ALGORITHMS DISTRIBUTED algorithms
Academic journal
Save to List

Filter