A Formalization of Priority Inversion.

Özalp Babaoglu Keith Marzullo Fred B. Schneider

Published in: Real Time Syst. (1993)

Keyphrases

formal model
operational semantics
knowledge representation
image reconstruction
preemptive scheduling
multiscale
priority queue
artificial intelligence
logical language
data sets
three dimensional
similarity measure
higher priority
priority scheduling