Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.

Leo Freitas James Baxter Ana Cavalcanti Andy J. Wellings

Published in: IFM (2016)

Keyphrases

runtime environment
parallel computation
management system
efficient implementation
database server
scheduling policies
database
expert systems
user interface
end users
virtual machine
advanced features