Formal Analysis of Memory Requirements.

Walter Hussak John A. Keane

Published in: Requir. Eng. (1999)

Keyphrases

memory requirements
formal analysis
memory space
computational complexity
memory usage
formal methods
database
machine learning
low memory
agent model
computational speed
ban logic
knowledge base
high dimensional
knowledge representation
scalability issues