Verification of time partitioning in the DEOS scheduler kernel.
John PenixWillem VisserEric EngstromAaron LarsonNicholas WeiningerPublished in: ICSE (2000)
Keyphrases
- kernel function
- kernel methods
- face verification
- model checking
- partitioning algorithm
- kernel regression
- scheduling algorithm
- support vector
- feature space
- response time
- formal verification
- sparse kernel
- normalized cut
- asynchronous circuits
- kernel learning
- kernel machines
- positive definite
- feature vectors
- genetic algorithm
- perceptron learning
- kernel space
- neural network
- reproducing kernel hilbert space
- component analysis
- gaussian processes
- input space