Stack Size Analysis for Interrupt-Driven Programs.

Krishnendu Chatterjee Di Ma Rupak Majumdar Tian Zhao Thomas A. Henzinger Jens Palsberg

Published in: SAS (2003)

Keyphrases

statistical analysis
image analysis
real time
static analysis
database
data mining
artificial intelligence
computer vision
image processing
bayesian networks
computational complexity
user interface