burmyakov/exact-sched-test-gfp

An exact schedulability test for Global Fixed Priority multiprocessor scheduling by using state space pruning. A detailed description of the methods is available in the following paper: https://www.computer.org/csdl/journal/tc/5555/01/09681210/1A8cppC7d28

Language: C++ - Size: 2.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1