Segment Abstraction for Worst-Case Execution Time Analysis.

Pavol Cerný Thomas A. Henzinger Laura Kovács Arjun Radhakrishna Jakob Zwirchmayr

Published in: ESOP (2015)

Keyphrases

genetic algorithm
clustering algorithm
pattern recognition
real time
databases
neural network
information retrieval
data analysis
trade off
quantitative analysis
feature selection
database systems
data structure
relational databases