Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling.

Mikael Asberg Paul Pettersson Thomas Nolte

Published in: ECRTS (2011)

Keyphrases

preemptive scheduling
single machine to minimize
model checking
hierarchical model
neural network
special case
approximation algorithms
face verification
formal verification
program synthesis
hierarchical structure
signature verification