Verifying Time Partitioning in the DEOS Scheduling Kernel.
John PenixWillem VisserSeungjoon ParkCorina S. PasareanuEric EngstromAaron LarsonNicholas WeiningerPublished in: Formal Methods Syst. Des. (2005)
Keyphrases
- scheduling problem
- scheduling algorithm
- kernel function
- kernel methods
- round robin
- feature space
- resource allocation
- parallel machines
- sparse kernel
- support vector
- batch processing
- kernel space
- parallel processors
- reproducing kernel hilbert space
- scheduling strategy
- resource constraints
- convolution kernel
- wafer fabrication
- positive definite
- kernel machines
- normalized cut
- component analysis
- single machine
- model checking