Priority Scheduling of Distributed Systems Based on Model Checking

DOI10.1007/978-3-642-02658-4_10MaRDI QIDQ3636855zbMATH OpenOpenAlexFDO

Authors Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis

Publication date 30 June 2009

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://infoscience.epfl.ch/record/185002/files/CAV-09-PriorityScheduling.pdf

Mathematics Subject Classification ID

Distributed systems (68M14) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Priority scheduling of distributed systems based on model checking
• Knowledge based scheduling of distributed systems
• Probabilistic load scheduling with priorities in distributed computing systems.
• Achieving distributed control through model checking
• Systems with priorities: conformance, testing, and composition

Cited in

(7)

• Systems with priorities: conformance, testing, and composition
• Distributed implementation of systems with multiparty interactions and priorities
• Knowledge based scheduling of distributed systems
• scientific article; zbMATH DE number 1293734 (Why is no real title available?)
• Priority scheduling of distributed systems based on model checking
• Achieving distributed control through model checking
• Building distributed controllers for systems with priorities

This page was built for publication: Priority Scheduling of Distributed Systems Based on Model Checking

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