Stack size analysis for interrupt-driven programs.

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

Published in: Inf. Comput. (2004)

Keyphrases

statistical analysis
database
decision making
image analysis
pattern recognition
database systems
automatic analysis
quantitative analysis
standard deviation
open source
data structure
wide range
high level
clustering algorithm
multimedia
social networks
information retrieval
neural network
real time