Timing analysis of interrupt-driven programs under context bounds.

Jonathan Kotker Dorsa Sadigh Sanjit A. Seshia

Published in: FMCAD (2011)

Keyphrases

contextual information
context sensitive
data driven
lower bound
information retrieval
artificial intelligence
worst case
computer vision
information systems
user interface
upper bound
context aware
operating system
context dependent
context awareness
computer programs