Precise Analysis of Memory Consumption using Program Logics.

Gilles Barthe Mariela Pavlova Gerardo Schneider

Published in: SEFM (2005)

Keyphrases

data analysis
real time
knowledge base
hidden markov models
database
data sets
neural network
genetic algorithm
image processing
multiscale
statistical analysis
propositional logic