Showing 1 - 20
of 49
- 1
- 2
Pagination
A compositional framework for Designing self-stabilizing distributed algorithms
Dhama, Abhishek ; Dhama, Abhishek
A Compositional Framework for Designing Self-Stabilizing Distributed Algorithms
Abhishek Dhama ; The Pennsylvania State University CiteSeerX Archives
http://www.informatik.uni-oldenburg.de/download/Promotionen/Dissertation_Dhama_Preprint.pdf.
A compositional framework for Designing self-stabilizing distributed algorithms
Dhama, Abhishek ; Theel, Oliver ; Olderog, Ernst-Rüdiger
Self-Stabilizing Systems
Ghosh, Sukumar ; Herman, Ted ; Ghosh, Sukumar ; et al.
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
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
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
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
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
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
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
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
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
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
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
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
Perspectives on adaptive dynamical systems.
Sawicki, Jakub ; Berner, Rico ; Loos, Sarah A. M. ; et al.
Chaos; Jul2023, Vol. 33 Issue 7, p1-42, 42p
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
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
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
- 1
- 2