Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.
Yaniv EytaniTimo LatvalaPublished in: Haifa Verification Conference (2006)
Keyphrases
- noise level
- scheduling problem
- missing data
- scheduling algorithm
- noise model
- random noise
- noisy data
- signal to noise ratio
- noise reduction
- image processing
- resource allocation
- arbitrary shape
- dynamic scheduling
- neural network
- round robin
- precedence constraints
- parallel machines
- gaussian noise
- resource constraints
- noisy images
- software systems
- information systems