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

DOI10.1007/978-3-319-21741-3_11MaRDI QIDQ5207910zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 2036573 (Why is no real title available?)
• Probabilistic self-stabilization
• Self-stabilizing systems in spite of distributed control
• 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)