On the analysis of interacting pushdown systems.

Vineet Kahlon Aarti Gupta

Published in: POPL (2007)

Keyphrases

distributed systems
data analysis
databases
quantitative analysis
complex systems
learning systems
intelligent systems
image sequences
search algorithm
website
multiresolution
software engineering
image processing
artificial intelligence
data mining
real world
data sets
systems require