Protocol scheduling

DOI10.1007/978-3-030-89247-0_1MaRDI QIDQ2145259zbMATH OpenOpenAlexFDO

Authors Kasper Dokter, Farhad Arbab

Publication date 17 June 2022

Full work available at URL https://doi.org/10.1007/978-3-030-89247-0_1

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 220136
• Optimal randomized scheduling by replacement
• Optimal scheduling of interactive and noninteractive traffic in telecommunication systems
• Nonclairvoyant scheduling
• Thread scheduling for multiprogrammed multiprocessors

Cites work

• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• Abstract behavior types: a foundation model for components and their composition
• Borel determinacy
• Exposing latent mutual exclusion by work automata
• Faster algorithms for mean-payoff games
• Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
• On the expressiveness of higher dimensional automata
• Positional strategies for mean payoff games
• Proper protocol
• Reo: a channel-based coordination model for component composition
• Synthesizing robust systems

Cited in

(3)

• scientific article; zbMATH DE number 220136 (Why is no real title available?)
• scientific article; zbMATH DE number 2223042 (Why is no real title available?)
• RCPCP: A Ceiling-based Protocol for Multiple-disk Environments

Describes a project that uses

Uses Software

• Reo

This page was built for publication: Protocol scheduling

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