Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols

DOI10.1007/978-3-319-21741-3_11zbMATH Open1428.68052OpenAlexW2282814746MaRDI QIDQ5207910FDOQ5207910

Authors: Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil 

Publication date: 14 January 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21741-3_11

Recommendations

• Automated synthesis of distributed self-stabilizing protocols
• Self-timed scheduling analysis for real-time applications
• scientific article; zbMATH DE number 786512
• Enhancing self-scheduling algorithms via synchronization and weighting
• A dynamic scheduling communication protocol and its analysis for hypercube networks
• scientific article; zbMATH DE number 1069491

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed systems (68M14) Network protocols (68M12)

Cites Work

• Self-stabilizing systems in spite of distributed control
• Probabilistic self-stabilization
• Title not available (Why is that?)
• Weak vs. self vs. probabilistic stabilization

Cited In (2)

• Fault-containing self-stabilization using priority scheduling
• Synthesizing optimal bias in randomized self-stabilization

This page was built for publication: Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5207910)