Modelling and Proof Analysis of Interrupt Driven Scheduling.

Bill Stoddart Dominique Cansell Frank Zeyda

Published in: B (2007)

Keyphrases

data analysis
image analysis
real time
image processing
image sequences
real world
social networks
information systems
bayesian networks
multi agent systems
multiresolution