Showing 1 - 20 of 49

4

Self-Stabilizing Systems
Ghosh, Sukumar ; Herman, Ted ; Ghosh, Sukumar ; et al.

eBook
5

Simplifying Hands-On Teaching of Distributed Algorithms with SPLAY.
Riviere, Etienne
2012 IEEE 26th International Parallel & Distributed Processing Symposium Workshops & PhD Forum; 1/ 1/2012, p1311-1316, 6p

Conference
6

FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures.
Cortecchia, Angela ; Ciatto, Giovanni ; Casadei, Roberto ; et al.
Complex & Intelligent Systems; Feb2026, Vol. 12 Issue 2, p1-30, 30p

MORPHOGENESIS DISTRIBUTED computing SELF-organizing systems MODULAR design EMPIRICAL research ROBOTICS
Academic journal
7

SPACE-FLUID ADAPTIVE SAMPLING BY SELF-ORGANISATION.
CASADEI, ROBERTO ; MARIANI, STEFANO ; PIANINI, DANILO ; et al.
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 4, p1-33, 33p

COMPUTER systems SENSOR networks
Academic journal
8

High-Entropy Materials for Photocatalysis: A Mini Review.
Bai, Wenhao ; Chang, Fei ; Li, Kaiwen ; et al.
Catalysts (2073-4344); Dec2025, Vol. 15 Issue 12, p1152, 30p

PHOTOCATALYSIS ENVIRONMENTAL remediatio... DURABILITY MICROSTRUCTURE HIGH-entropy alloys COMPOSITE materials
Academic journal
9

AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS.
FAGHIH, FATHIYEH ; BONAKDARPOUR, BORZOO ; TIXEUIL, SEBASTIÉN ; et al.
Logical Methods in Computer Science (LMCS); Jan2018, Vol. 14 Issue 1, p1-25, 25p, 2 Charts, 1 Graph

Academic journal
10

Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.
Aflaki, Saba ; Bonakdarpour, Borzoo ; Tixeuil, Sébastien
Stabilization, Safety & Security of Distributed Systems: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings; 2015, p156-170, 15p

Book
11

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.
Faghih, Fathiyeh ; Bonakdarpour, Borzoo ; Tixeuil, Sébastien ; et al.
Formal Techniques for Distributed Objects, Components & Systems (9783319395692); 2016, p124-141, 18p

Book
12

A field-based computing approach to sensing-driven clustering in robot swarms.
Aguzzi, Gianluca ; Audrito, Giorgio ; Casadei, Roberto ; et al.
Swarm Intelligence; Jun2023, Vol. 17 Issue 1/2, p27-62, 36p

Academic journal
13

Advancing the next generation of high-performance metal matrix composites through metal particle reinforcement.
Alem, Sayed Ali Ahmad ; Sabzvand, Mohammad Hossein ; Govahi, Parnian ; et al.
Advanced Composites & Hybrid Materials; Feb2025, Vol. 8 Issue 1, p1-68, 68p

Academic journal
14

A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery.
Hafaiedh, Imene Ben ; Slimane, Maroua Ben
Journal of Supercomputing; Nov2022, Vol. 78 Issue 17, p18725-18753, 29p

SYSTEM failures AUTONOMIC computing COMPUTER systems FAULT tolerance (Enginee... SELF-adaptive software BEHAVIORAL assessment
Academic journal
15

Model checking with fairness assumptions using PAT.
Si, Yuanjie ; Sun, Jun ; Liu, Yang ; et al.
Frontiers of Computer Science; Feb2014, Vol. 8 Issue 1, p1-16, 16p

Academic journal
16

Self-stabilizing load distribution for replicated servers on a per-access basis.
Gartner, F.C. ; Pagnia, H.
Proceedings 19th IEEE International Conference on Distributed Computing Systems; 1999, p102-109, 8p

Conference
17

Perspectives on adaptive dynamical systems.
Sawicki, Jakub ; Berner, Rico ; Loos, Sarah A. M. ; et al.
Chaos; Jul2023, Vol. 33 Issue 7, p1-42, 42p

DYNAMICAL systems MACHINE learning ELECTRIC power distribut... ATHLETIC fields LEARNING strategies DYNAMICS
Academic journal
18

On Verifying Fault Tolerance of Distributed Protocols.
Fisman, Dana ; Kupferman, Orna ; Lustig, Yoad
Tools & Algorithms for the Construction & Analysis of Systems (9783540787990); 2008, p315-331, 17p

Book
19

Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets.
Hussain, Syed Asad ; Khan, Naeem Akhtar ; Sadiq, Ayesha ; et al.
Neural Computing & Applications; Jun2018, Vol. 29 Issue 11, p1243-1259, 17p

VEHICULAR ad hoc network... ELECTIONS SIGNAL processing PETRI nets PROBLEM solving
Academic journal
20

A Review: Machine Learning for Combinatorial Optimization Problems in Energy Areas.
Yang, Xinyi ; Wang, Ziyi ; Zhang, Hengxi ; et al.
Algorithms; Jun2022, Vol. 15 Issue 6, p205, 43p

COMBINATORIAL optimizati... REINFORCEMENT learning SUPERVISED learning ELECTRIC power systems PETROLEUM reserves MACHINE learning
Academic journal

Filter