Characterization of Termination for Linear Loop Programs.

Rachid Rebiha Arnaldo Vieira Moura Nadir Matringe

Published in: CoRR (2014)

Keyphrases

linear complexity
databases
real world
computer programs
real time
data mining
information retrieval
computer vision
image processing
optimal solution
hidden markov models
linear systems
simple linear
provably correct