Analyzing performance traces using temporal formulas.

Frederick Ryckbosch Amer Diwan

Published in: Softw. Pract. Exp. (2014)

Keyphrases

spatio temporal
temporal analysis
spatial and temporal
temporal reasoning
temporal constraints
temporal patterns
temporal consistency
temporal data
horn clauses
temporal ordering
neural network
temporal characteristics
temporal dimension
temporal evolution
case study
information systems
data mining